>>14
I'm reimplementing Symta over and over, but still not reached satori: i.e. I still don't see how to implement complete OS using Symta and only Symta, because there would be numerous security and persistency issues, like for example modifying running kernel and unloading lambdas.
Programming language design is hard, much harder than OS design, because a good language defines OS design. But there are a few basic rules, like using lexical scoping for all variables and making sure that lexical scoping isn't broken, because broken lexical scoping makes language useless for OS design, while global variables break thread-safety and produce numerous security issues, like for example allowing every program access to file system, without chroot or sandboxing.
I'm sure, you can implement OS using Scheme, but Common Lisp is bad for OS design, due to it's clunky package system and global variables.