3 ms·
Scheme was invented as a consequence of Sussman & Steele’s discovery that lexical closures in the lambda calculus had essentially an identical implementation to
by twoodfin 5mo ago
Scheme was invented as a consequence of Sussman & Steele’s discovery that lexical closures in the lambda calculus had essentially an identical implementation to a fully elaborated version of Hewitt’s actor model.
I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the actor model would look like. Erlang?
Even better if someone could figure out how to harmonize them in the same language: “There are exactly two ways to do it, and they’re interchangeable.”
- mepian 5mo ago> I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the actor model would look like. There is Spritely Goblins: https://spritely.institute/goblins/ https://spritely.institute/goblins/
- twoodfin 5mo agoA 98-page PDF on language design for distributed objects in a capability security model? Made my day, thanks!
- bitwize 5mo agoIn terms of modern concurrent actors, in addition to Spritely Goblins there is also Termite, a restricted Scheme with Erlang-like concurrency semantics that now comes with the Gambit distribution.
- cmoski 5mo agoLFE: lisp flavoured Erlang? https://lfe.io/ https://lfe.io/
- jolux 5mo agoWhat do you find insufficiently minimalistic about Erlang? It’s not exactly a shaggy dog of a language.