簡體 English 中英

PureScript類型系統名稱

[英]PureScript type system name

原文 2015-04-03 14:30:45 1 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 導入中綴類型構造函數

相關標簽