首页 文章
  • 7 votes
     answers
     views

    如何解决箭头的一阶约束？

    What I mean by first-order constraint 首先，我将通过箭头的一阶约束来解释我的意思：由于箭头desugar的方式，你不能使用箭头命令中预期箭头命令的本地绑定名称 . 这是一个例子来说明： proc x -> f -< x + 1 desugars到 arr (\x -> x + 1) >>> f ，同样 proc x -&g...
    haskell arrows yampa

热门问题