Ekdohibs/joujou

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

语言：OCaml · GitHub 星标：93 · Fork：5

话题：algebraic-effects · compiler · continuations · functional-programming · handlers · type-inference

在 GitHub 上查看原仓库