House (operating system)
Appearance
An editor has nominated this article for deletion. You are welcome to participate in the deletion discussion, which will decide whether or not to retain it. |
This article relies largely or entirely on a single source. (March 2024) |
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
[edit]- 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
[edit]