search

broom-lang / broom

A programming language with first-class modules and algebraic effects.
https://broom.readthedocs.io
BSD 3-Clause "New" or "Revised" License
10 stars 1 forks source link

Complect lambdas #7

Closed nilern closed 4 years ago

nilern commented 5 years ago

Fn and TFn should be fused as in 1ML so that type lambdas have no runtime component that the compiler needs to reason about (closures, passing continuation to calls etc.).