@cwebber Goddamnit, why I am only now hearing about "Pre-Scheme" for the first time in my life!?
https://groups.scheme.org/prescheme/1.3/
- no garbage collector
- no closures
- Tail call optimization is not universal
- Types are strictly verified with Hindley-Milner type inference.
If anyone wanted to write an OS kernel in a Lisp, Pre-Scheme sounds like it would be a very good choice.