Survey of Integrated Language and OS Projects

Distributed OS and Language

• Unison Computing
  • Haskell-like language
  • Unison Cloud Platform
    • Deploy to the cloud with a function call
    • Access scalable storage like in-memory data structures. Call services as easily as local functions.
  • Public-benefit corporation?

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 ?
  • was VC-backed startup, and private company

• 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.
  • private funding? non-profit?

• ScrapScript - this is mostly a design

Single Machine

• Temple OS
  • Holy C was the language

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 ?

Links

Survey of Hosting Platforms aka Distributed OS

Back to Surveys and Comparisons