House (操作系统)

✍ dations ◷ 2025-04-12 03:36:16 #操作系统,自由软件

House(全称 Haskell User's Operating System and Environment,翻译:Haskell 用户操作系统及环境)是一个以 Haskell 语言编写的实验性的开源系统。其目的是使用函数式编程编写操作系统。 

其包含一GUI界面、数个测试程序,并包含网络协议栈以提供以太网、IPv4、ARP、DHCP、ICMP(Ping)、TFTP和TCP的支持。

相关

  • 引力重力(英语:gravitation/gravity),是指具有质量的物体之间相互吸引的作用,也是物体重量的来源。引力与电磁力、弱相互作用力及强相互作用力一起构成自然界的四大基本相互作用。在
  • 687号《联合国安理会687号决议》是1991年4月3日在联合国安理会的第2981次会议上通过的。导致第687号决议的事件是此前伊拉克对科威特的侵略,此后的海湾战争和科威特的解放。安理会
  • 针叶树松柏目(学名:Pinales)在生物分类学上是松柏纲中的一个目,传统分类上的裸子植物门包括五个纲(松柏纲、苏铁纲、银杏纲、买麻藤纲、红豆杉纲)。现因此五支裸子植物并非单系群,而将其
  • 排名世界第八位的大都会区
  • 早白垩世白.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-setting
  • 甲酸酯甲酸酯,又名蚁酸酯,属于有机化合物中的简单羧酸酯,多为有机溶剂。其中带有 H C O O
  • 印度古典式舞蹈印度古典式舞蹈其实是很多种类舞蹈方式的总称。这些舞蹈在某些时代在以印度为中心的南亚地区流行。其中,最有名的是印度泰米尔纳德邦的婆罗多舞和印度北部的卡塔克。然而在现
  • 磷酸二氢镁()2 磷酸二氢镁(Magnesium dihydrogen phosphate),化学式Mg(H2PO4)2·2H2O。通常带有两个水分子(二水合磷酸二氢镁)。磷酸二氢镁为白色结晶粉末。溶于水、酸,不溶于醇。加热时分解
  • 放射性落尘避难所放射性落尘避难所(英语:Fallout shelter)是使居民免于核爆产生的放射性残骸或落尘影响的封闭空间。在冷战时期,建造了许多放射尘避难所作为民防措施。由于在核爆的过程中会产生
  • 2014年冬季残疾人奥林匹克运动会2014年冬季残疾人奥林匹克运动会是第十一届冬季残疾人奥林匹克运动会,于2014年3月7日至16日在俄罗斯索契举办,是首次在俄罗斯举行的残疾人奥林匹克运动会。是届残疾人奥林匹克