保罗·胡达客

✍ dations ◷ 2025-07-20 16:37:57 #1952年出生,2015年逝世,美国计算机科学家,美国男作家,美国计算机学会会士,函数式编程,麻省理工学院校友,犹他大学校友,范德堡大学校友,耶鲁大学教师

保罗·雷蒙德·胡达客（Paul Raymond Hudak）（1952年7月15日－2015年4月29日）是美国耶鲁大学计算机科学教授，以参与设计Haskell程序语言、创作若干Haskell和计算机音乐的教科书而闻名。他曾是耶鲁大学计算机系的系主任，以及耶鲁大学塞布鲁克学院的院长。他于2015年4月29日因白血病去世。

相关

蒸发蒸发是液体表面汽化的过程，与另一汽化过程“沸腾”不同的是，蒸发只会发生于液体的表面，而且可在任何温度发生。在工业生产中，一般需要加热，可以在低于沸点时蒸发，也可以在沸点时进
医生 (消歧义)医生指掌握医药知识、以治病为业的人。医生还可以指：
一次性一次性使用运载系统也称不可重复使用之运载系统，使用一次性的运载火箭把载荷发射入太空。顾名思义，一次性的运载火箭火箭只使用一次，火箭的各部件发射后不会被回收并用于其他的
单键在有机化学中，单键（英语：Single Bond），是一种两原子间共用2个价电子所形成的，共享一对电子的键结形态的，共价键的分类称呼。单键是最常见的共价键类型。单键一般会比同种原子形成的
智慧财产局经济部智慧财产局（简称智慧局或智财局）是中华民国经济部所属机关，前身为成立于1927年的“全国注册局”，负责商标、著作、专利等知识产权和营业秘密事项，也是《商标法》、《著作权
塞族塞族可以指：
金山金山（1911年－1982年7月7日），原名赵默，字缄可，祖籍湖南沅陵，生于江苏苏州，中国话剧与电影演员、导演，被称为“话剧皇帝”。他还曾任中国文联委员、中国戏剧家协会副主席、第五届全国政
夏季奥林匹克运动会网球比赛男子网球运动在1896年举办的首届夏季奥林匹克运动会上成为了正式比赛项目。而女子网球运动则在1900年的巴黎运动会上成为正式的比赛项目。在1928年的阿姆斯特丹奥运会到1984
鹬虻鹬虻（Rhagionidae）是双翅目下一个细小的科，其下有21个属。鹬虻科是中等或大型的双翅目，有幼长的身体及像高跷的节肢。它们的口器可以刺穿皮肤，很多种鹬虻都是血食性的，其他的则会
狐仙 (消歧义)狐仙，可以指：