search

robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
83 stars 2 forks source link

Algebraic side effects #27

Open robrix opened 5 years ago

robrix commented 5 years ago

We should have a way to specify algebraic effects. I’m kind of thinking of this as a built-in language feature like in koka or Frank.

robrix commented 5 years ago

IIRC koka annotates effects on function types, whereas IMO we’d want to allow them on any parameter so that we could model scoped effects like catch.