House (operating system)

House

Written in	Haskell
Working state	Dormant
Latest release	0.8.93 / January 22, 2009;16 years ago (2009-01-22)
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

1. "LICENSE" . Retrieved 2020-09-02.

• 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

• Official website