Baker has a great collection of papers. Several on linear lisp and on GC. I’ve wanted to sketch out what a linear lisp machine kernel and a few apps, e.g. emacs, might look like. Just too far down my reality list.
Well worth reading, esp. if you’re interested in Rust, Haskell monads, arrows, Clean, etc. This is a simplified point in that spectrum of language mechanisms.
Baker has a great collection of papers. Several on linear lisp and on GC. I’ve wanted to sketch out what a linear lisp machine kernel and a few apps, e.g. emacs, might look like. Just too far down my reality list.
Well worth reading, esp. if you’re interested in Rust, Haskell monads, arrows, Clean, etc. This is a simplified point in that spectrum of language mechanisms.