|
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.
|
|