【文件属性】:
文件名称: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)