mietek/charity-lang

来源：https://github.com/mietek/charity-lang

charity-lang

Charity 语言的两个解释器的源代码：

1. 最初的 C 实现，由 Charity 开发小组开发 (http://pll.cpsc.ucalgary.ca/charity1/www/home.html)，日期为 2000 年 9 月 28 日

2. 一个 SML 实现，由 Min Zeng 开发，日期为 2003 年 3 月

包含 Charity 网站的存档版本、所有可获得的 文献、示例程序，以及原始实现的 二进制发布版。

附加工作

• Gillian Posey 的 Circuits 包，日期为 1997 年 3 月 13 日

• Robin Cockett 在 模型检查 方面的工作，包括：

  • HML 检查器，日期为 2000 年 10 月 26 日
  • Modal Mu 检查器，日期为 2000 年 11 月 22 日
  • 电路检查器，日期为 2001 年 9 月 2 日

文献

• R. Cockett (1991) “Introduction to distributive categories”
• T. Fukushima (1991) “Charity user manual”
• R. Cockett, T. Fukushima (1992) “About Charity”
• R. Cockett (1992) “Distributive logic”
• R. Cockett, D. Spencer (1992) “Strong categorical datatypes I”
• R. Cockett, D. Spencer (1992) “Strong categorical datatypes II: A term logic for categorical programming”
• M. Hermann (1992) “A lazy graph reduction machine for Charity: Charity abstract reduction machine (CHARM)”
• T. Simpson, R. Cockett (1992) “Sequentializing programs defined by pattern matching”
• R. Cockett (1993) “Examples of Charity term logic proofs”
• M. Schroeder (1993) “Charity grammar”
• M. Schroeder (1993) “CHIRP: A front end for Charity”
• D. Spencer (1993) “Categorical programming with functorial strength”
• B. Yee (1993) “The CHARM project: A back end to the Charity interpreter”
• C. Tuckey (1994) “The implementation of pattern matching in Charity”
• B. Yee (1995) “Implementing the Charity abstract machine”
• R. Cockett (1996) “Charitable thoughts”
• T. Fukushima, C. Tuckey (1996) “Charity user manual” (最终版本)
• P. Vesely (1996) “Categorical combinators for Charity”
• M. Schroeder (1997) “Higher-order Charity”
• C. Tuckey (1997) “Pattern matching in Charity”
• P. Vesely (1997) “Typechecking the Charity term logic”
• M. Zeng (2003) “An implementation of Charity”

附加文献

• R. Blute, R. Cockett, R. Seely, T. Trimble (1991) “Natural deduction and coherence for weakly distributive categories”
• R. Cockett, D. Spooner (1994) “SProc categorically”
• R. Cockett, D. Spooner (1995) “Categories for synchrony and asynchrony”
• R. Blute, R. Cockett, R. Seely, T. Trimble (1996) “Natural deduction and coherence for weakly distributive categories” (最终版本)
• R. Cockett, D. Spooner (1996) “Constructing process categories”
• R. Cockett, D. Spooner (1997) “Constructing process categories” (最终版本)
• R. Cockett, R. Seely (1997) “Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories”
• D. Spooner (1997) “Building process categories”

相关工作

• Total functional programming (https://github.com/mietek/total-fp)
• Totally functional programming (https://github.com/mietek/totally-fp)
• ET language (https://github.com/mietek/et-lang)

关于

由 Miëtek Bak 打包 (https://mietek.io/)。