9 ms·
1. I don't know much about HM systems mathematically, but how do the effect handlers interact with type inference? I thought there was some issues with automati
by pmcgoron 7mo ago
1. I don't know much about HM systems mathematically, but how do the effect handlers interact with type inference? I thought there was some issues with automatic inference there.
2. The macros examples on the website don't show binding situations. Are the macro hygienic like in Scheme?
3. Why the choice of [] over ()?
- ecto 7mo agogood 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 7mo 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.