PureScript类型系统名称

时间:2015-04-03 14:30:46

标签: purescript

PureScript中使用的类型系统的正确学术名称是什么?我正在寻找有关这方面的论文并证明这是合理的。

特别是,当一个人想要抛出一个私有异常类型的实例并通过有效的计算将它传递给catch处理程序而不需要将类型暴露给它时,类型系统允许将异常解决为隐藏的通信通道问题计算和捕获它的可能性,很高兴确认这是合理的。

1 个答案:

答案 0 :(得分:16)

PureScript类型检查器并非基于任何一种类型系统。在我实施它时,我从几篇论文中汲取灵感,包括:

  • "完整且简单的双向Typechecking 高阶多态性"作者:Joshua Dunfield和Neelakantan R. Krishnaswami
  • " HMF:First-Class Polymorphism的简单类型推断"通过 Daan Leijen
  • " Koka:使用行多态效应类型编程"作者:Daan Leijen

没有健全的证据。在某些时候,我会有兴趣返回并重新实现类型检查器基于一些具有健全性保证的系统,但最初的目标是生成一个具有我想要的功能的实用类型系统:行多态,类型类和等级N类型。