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
