【发布时间】：2015-04-03 14:30:45
【问题描述】：
PureScript 中使用的类型系统的正确学术名称是什么？我正在寻找关于它的论文和证明它是正确的。
特别是，当人们想要抛出一个私有异常类型的实例并通过有效的计算将其传递给 catch 处理程序而不需要将类型暴露给计算和在那里捕获它的可能性，很高兴确认这是正确的。
【问题讨论】：
标签： purescript
【发布时间】：2015-04-03 14:30:45
【问题描述】：
PureScript 类型检查器并不特别基于任何一种类型系统。在实现它时，我从几篇论文中获得了灵感，包括：
- “完整且简单的双向类型检查 Joshua Dunfield 和 Neelakantan R. Krishnaswami 的高阶多态性
- “HMF：一流多态性的简单类型推断”作者 大安雷人
- Daan Leijen 的“Koka：使用行多态效果类型编程”
没有可靠的证据。在某些时候，我有兴趣返回并基于具有健全性保证的某些系统重新实现类型检查器，但最初的目标是生成一个具有我想要的功能的实用类型系统：行多态性、类型类和等级 N类型。
【讨论】：