4 ms·
good questions 1. effects are tracked in the type system as row types, so they compose with HM inference pretty naturally. the tricky part is effect polymorphi
by ecto 8mo ago
good questions
1. effects are tracked in the type system as row types, so they compose with HM inference pretty naturally. the tricky part is effect polymorphism. Loon handles that similarly to how koka does it, with row polymorphism. no ambiguity issues so far but idk
2. yes, macros are hygienic! documenting some binding situations would make a great first PR :)
3. easier to type!
- pmcgoron 8mo agoI guess I'll have to read more about effect handling systems, I'm very much out of my element there. > yes, macros are hygienic! I'm glad. Too many lisps chicken out and don't add them. > easier to type! Fair enough. This seems very interesting, I will check it out.