House (operating system)
From EverybodyWiki Bios & Wiki
| Written in | Haskell |
|---|---|
| Working state | Dormant |
| Latest release | 0.8.93 / January 22, 2009 |
| Default user interface | Graphical user interface |
| License | 3-clause BSD[1] |
| Official website | http://programatica.cs.pdx.edu/House/ |
House (acronym for Haskell User's Operating System and Environment) is an experimental open source operating system written in Haskell. It was written to explore system programming in a functional programming language.
It includes a graphical user interface, several demos, and its network protocol stack provides basic support for Ethernet, IPv4, ARP, DHCP, ICMP (ping), UDP, TFTP, and TCP.
References
- Diatchki, Iavor S.; Hallgren, Thomas; Jones, Mark P.; Leslie, Rebekah; Tolmach, Andrew (18 October 2007). "Writing systems software in a functional language: an experience report". PLOS '07: Proceedings of the 4th workshop on Programming languages and operating systems: 1–5. doi:10.1145/1376789.1376791. Retrieved 13 May 2025.
- Hallgren, Thomas; Jones, Mark P.; Leslie, Rebekah; Tolmach, Andrew (12 September 2005). "A principled approach to operating system construction in Haskell". Proceedings of the tenth ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery: 116–128. doi:10.1145/1086365.1086380. Retrieved 13 May 2025.
- Leslie, Rebekah; Jones, Mark P. (23 October 2005). "Operating system construction in Haskell". Proceedings of the twentieth ACM symposium on Operating systems principles. Association for Computing Machinery: 1–2. doi:10.1145/1095810.1118589.
- Derrin, Philip; Elphinstone, Kevin; Klein, Gerwin; Cock, David; Chakravarty, Manuel M. T. (17 September 2006). "Running the manual: an approach to high-assurance microkernel development". Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell. Association for Computing Machinery: 60–71. doi:10.1145/1159842.1159850. Retrieved 13 May 2025.
- Tolmach, Andrew. "Operating Systems in Haskell: Implementations, Models, Proofs" (PDF). JFLA 2007 (journées francophones des langages applicatifs). French Institute for Research in Computer Science and Automation Rocquencourt. Retrieved 13 May 2025. - detailed 55-slide symposium presentation discussing House and Osker
External links
Haskell programming | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Software |
|  | ||||||||||||||||||||
| Book | ||||||||||||||||||||||
| Community |
| |||||||||||||||||||||
 | This operating-system-related article is a stub. You can help EverybodyWiki by expanding it. |
This article "House (operating system)" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:House (operating system). Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
