首页 文章
  • 2 votes
     answers
     views

    教会编码F＃免费monad

    我试图在F＃中表达Free monad的教会编码 . Free 专门用于特定的仿函数 Effect . 我能够写出 return_ : 'T -> Free<'T> 和 bind: ('T -> Free<'U>) -> Free<'T> -> Free<'U> 没有任何问题 . 我的实现草图如下 . type Effe...
    f# existential-type free-monad rank-n-types

热门问题