Survey of Integrated Language and OS Projects

• Unison Computing
  • Haskell-like language
  • Unison Cloud Platform - Access scalable storage like in-memory data structures. Call services as easily as local functions.

Lisp-y

• Urbit - a clean-slate OS and network for the 21st century

  • Lisp + Unix kind of architecture
  • bytecode VM and langauge on top
  • networking
  • crypto stuff / ethereum for identity
  • not secure yet ?

• Spritely - I think built on Guile Scheme

  • Spritely is building the next generation of decentralized networking technology.
  • Spritely builds on our experience co-authoring ActivityPub, the largest decentralized social network on the web to date, while applying powerful ideas from object capability security research.

• ScrapScript - this is mostly a design

Older / Classic

• Unix + C from Bell Labs
• Oberon from Wirth - Pascal/Modula family of languages, and personal operating systems
• Did Xerox Alto have a language, etc.?

PC Era

• Amiga ?