Comment by vomitcuddle | Hacker News Reader

Top New Best Ask Show Jobs

Comment by vomitcuddle | Hacker News Reader

Parent Full thread

Similar, more mature projects based around other languages: Erlang: http://erlangonxen.org C#: http://en.wikipedia.org/wiki/Cosmos_(operating_system) C#: http://en.wikipedia.org/wiki/SharpOS_(operating_system)

Haskell's :

- House http://en.wikipedia.org/wiki/House_(operating_system)

- HOP (House parent) http://lambda-the-ultimate.org/node/299 (topic recurse on jnode and others)

OCaml: http://www.openmirage.org/

Haskell: https://github.com/GaloisInc/HaLVM

Oberon and derivatives:

http://www.inf.ethz.ch/personal/wirth/ProjectOberon/

Mesa/Cedar at Xerox Parc:

http://en.wikipedia.org/wiki/Mesa_%28programming_language%29

https://archive.org/details/bitsavers_xeroxparcteCedarProgra...

Smalltalk

http://www.computerhistory.org/revolution/input-output/14/34...

Modula-3: SPIN operating system from University of Washington: http://en.wikipedia.org/wiki/SPIN_(operating_system) . This one is another example of security-through-safe-languages-in-kernel-space.

Java: http://www.jnode.org/

Is there one in PHP? (HHVM based?)

Reply on news.ycombinator.com