场景模型>> lambdaeff>> 返回
项目作者： Nymphium

项目描述 ：
λeff, λ calculus + algebraic effects
高级语言： Haskell
项目地址: git://github.com/Nymphium/lambdaeff.git
创建时间： 2019-01-04T14:14:18Z
项目社区：https://github.com/Nymphium/lambdaeff
开源协议：BSD 3-Clause "New" or "Revised" License
下载


λeff

Toy language of λ calculus + Algebraic effects

  1. $ stack exec lambdaeff-exe
  2. λeff=> let double = inst () in let h = handler double (val x -> x) ((x, k) -> k (k x)) in with h handle (perform double 3) + 10
  3. Int 23
  4. λeff=>

detailed: https://github.com/Nymphium/lambdaeff/blob/master/text/main.pdf

main_1647684858996.pdf