繁体 English 中英

PureScript类型系统名称

[英]PureScript type system name

原文 2015-04-03 14:30:45 4 1 purescript

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

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

PureScript类型检查器不是特别基于任何一种类型的系统。 我实施它时从几篇论文中汲取灵感，包括：

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

[英]Purescript plugin system

[英]Purescript - Cannot unify type

[英]Type info in AST in Purescript

[英]Purescript: Could not match type

[英]Purescript: Convert Maybe Type to Type

[英]How do I get the name of the constructor for a product type in purescript?? Similar to haskell conNameOf

[英]PureScript Type Error is hard to understand

[英]Is there a BNF type grammar available for Purescript?

[英]Purescript Eq type class for function

[英]Purescript Import infix type constrctor

暂无

声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

相关问题 Purescript插件系统 Purescript - 无法统一类型在Purescript中输入AST中的信息 Purescript：无法匹配类型 Purescript：将可能类型转换为类型如何在 purescript 中获取产品类型的构造函数名称？类似于 haskell conNameOf PureScript Type Error很难理解 Purescript 是否有可用的 BNF 类型语法？ Purescript Eq 类型 class 用于 function Purescript 导入中缀类型构造函数

相关标签