Systems

See also:

• Computers: Programming: Compilers: Functional  (0)
• Computers: Programming: Languages: Functional  (54)
• Computers: Programming: Languages: Language-OS Hybrids  (8)
• Computers: Software: Operating Systems: Extensible  (5)
• Computers: Software: Operating Systems: Functional  (2)
• Computers: Software: Operating Systems: Object-Oriented  (87)
• Computers: Software: Operating Systems: Submicrokernel  (12)

• FunOS - Mostly functional (programming) OS in design, and fun to do system programming in; all policy code in kernel to be in Scheme. To support multiple APIs, and be runtime extensible: replace parts of system on the fly and, within security constraints, by ordinary users.
• Thoughts-on-a-LispOS - Brief description, with careful wish list outline; wiki.