rho:Haskell 中的 Rho 微积分

【文件属性】：
文件名称：rho:Haskell 中的 Rho 微积分
文件大小：4KB
文件格式：ZIP
更新时间：2021-07-08 10:25:23
Haskell Rho微积分 我刚刚意识到问题比我想象的要多得多，我不打算很快修复它们，但它仍然可用于小型实验，为此我写了这篇文章。 尝试为 Rho 微积分创建评估器。 它可能不完全符合（我没有详细阅读论文）。 目前处于比较稳定的状态。 它可以评估像(Pair ab -> a , Pair ab -> b) (Pair xy)这样的(Pair ab -> a , Pair ab -> b) (Pair xy) ，它会变成(x , y) 。 在 Haskell 中，这将是这样的（不同之处在于匹配失败将是一个错误）： -- data Pair a = Pair a a -- appChoice = flip (fmap . flip ($)) [ \ ( Pair a b) -> a, \ ( Pair a b) -> b] `appChoice` Pair " x " " y " 可以从命令行使用M

【文件预览】：
rho-master
----.gitignore(18B)
----Parse.hs(839B)
----Main.hs(173B)
----LICENSE(761B)
----README.md(2KB)
----Expr.hs(792B)
----Eval.hs(2KB)