PureScript中使用的类型系统的正确学术名称是什么？我正在寻找有关这方面的论文,并证明这是合理的.
特别是,当一个人想要抛出私有异常类型的实例并通过有效的计算将它传递给catch处理程序而不需要将类型公开给计算和可能性时,类型系统允许将异常解决为隐藏的通信通道问题为了抓住它,我们很高兴确认这是合理的.
Phi*_*man 16
PureScript类型检查器不是特别基于任何一种类型的系统.我实施它时从几篇论文中汲取灵感,包括:
没有健全的证据.在某些时候,我会有兴趣返回并重新实现类型检查器基于一些具有健全性保证的系统,但最初的目标是生成一个具有我想要的功能的实用类型系统:行多态,类型类和等级N类型.
| 归档时间： |
|
| 查看次数： |
348 次 |
| 最近记录： |