House (操作系统)

✍ dations ◷ 2025-05-09 18:57:00 #操作系统,自由软件

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

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

相关

  • 翁贝托·薄邱尼翁贝托·薄邱尼(意大利语:Umberto Boccioni,1882年10月19日-1916年8月17日)是意大利的画家、雕塑家以及未来主义提倡者。薄邱尼在1882年10月19日出生于雷焦卡拉布里亚市的一个警
  • 陈国良陈国良(1938年6月3日-),出生于安徽颍上,计算机专家,中国科学院院士,主要研究领域包括并行算法、高性能计算等。陈国良于1956年考入交通大学,1961年毕业于西安交通大学无线电系。此后
  • 辉蠊科辉蠊科(学名:Lamproblattidae)是蜚蠊目之下的一个小科,其物种分布于中、南美洲,其下包含三个属和所属的十个种。本科只有三个属,分别如下:
  • 这是一个2012年的各国煤产量列表,数据基于英国石油出版的《BP世界能源统计》2013,其中对煤产量大于100万吨的国家进行了排名。
  • 免疫记忆功能免疫(英语:immunity),指生物机体识别和排除抗原物质的一种保护性反应。其中包括特异性免疫(后天免疫系统)与非特异性免疫(先天免疫系统)。“免疫”一词,最早见于中国明代医书《免疫类
  • 全球客运吞吐量第二全球机场客运吞吐量列表列出了每年由国际机场协会和BAA提供的年度总旅客吞吐量来衡量所得出的世界上最繁忙机场列表。计算旅客的定义是指定日期内在机场抵达、离开或中转的
  • 缟獴(M. mungo)Viverra mungo Gmelin, 1788缟獴(学名:Mungos mungo),又称非洲獴、斑纹灰沼狸、横斑獴,是缟獴属下两个物种的其中之一,主要分布在非洲中部和东部。成年的缟獴可长至0.3—0.4米,尾长
  • 4f14 5d2 6s2 2, 8, 18, 32, 10, 2蒸气压 第一:658.5 kJ·mol−1 第二:1440 kJ·mol−1 主条目:铪的同位素 .mw-parser-output ruby.zy{text-align:justify;text-justify:none
  • 李继峣李继峣,后唐庄宗李存勖第五子,生母不详。同光三年二月十八辛巳(925年3月15日),唐庄宗李存勖下诏命令,皇子李继潼、李继嵩、李继蟾、李继峣为光禄大夫、检校司徒。因为他们都年幼,都
  • 尼古拉·尼古拉耶维奇·鲍培尼古拉·尼古拉耶维奇·鲍培(俄语: Никола́й Никола́евич Поппе;德语:Nikolaus Poppe 1897年7月27日-1991年8月8日),通称尼古拉斯·鲍培(Ни́колас