user6445533 · 技术社区 · continuation-passing tail-recursion monads functional-programming javascript · 7 年前 |
user6445533 · 技术社区 · scott-encoding higher-rank-types continuation-passing haskell · 7 年前 |
user6445533 · 技术社区 · function-composition reduce functional-programming php · 7 年前 |
user6445533 · 技术社区 · type-constructor higher-kinded-types polymorphism haskell · 7 年前 |