PureScript类型系统名称

Question

PureScript中使用的类型系统的恰当学术名称是什么？我正在寻找关于这一点的论文，并证明它是可靠的。

特别是，由于类型系统允许在抛出私有异常类型的实例并通过有效的计算将其传递给catch处理程序时，将异常作为隐藏的通信通道问题来解决，而无需将该类型暴露给计算和在那里捕获它的可能性，因此最好确认这是合理的。

Answer 1

PureScript类型检查器并不是特别基于任何一种类型系统。在我实现它的时候，我从几篇论文中获得了灵感，包括：

Joshua Dunfield和Neelakantan R. Krishnaswami

• "HMF:所著的
• "Complete and Easy Bidirectional for Higher-Rank Polymorphism“，Daan Leijen
• 所著”Koka: Programming with Row-Joshua Types“，Daan Leijen

所著

没有可靠的证据。在某种程度上，我会有兴趣回到并重新实现基于某种系统的类型检查器，但最初的目标是生成一个具有我想要的功能的实用类型系统:行多态性、类型类和排名N类型。