搜索 4 件展品，按名称、摘要、开发者查找
共 4 件展品
类型系统的巅峰之作，函数式编程的学术灯塔。
首个纯函数式商业编程语言，启发了Haskell的设计。
首个支持代数数据类型和模式匹配的函数式语言。
纯函数式语言，以唯一类型系统实现高效副作用管理。
