I don't know if this is the best place to ask about this 😅 but I figured I'd give it a shot. I'm considering doing monomorphization for my language.
How will you handle polymorphic effects?
you mentioned that platforms will provide functions for "performing the actions" associated with an effect; but what if the effects is polymorphic? Will they provide multiple handlers, one for each potential type?
I don't know if this is the best place to ask about this 😅 but I figured I'd give it a shot. I'm considering doing monomorphization for my language.
you mentioned that platforms will provide functions for "performing the actions" associated with an effect; but what if the effects is polymorphic? Will they provide multiple handlers, one for each potential type?
Is
identity
passed around as a record with a function pointer per realized type? or is it expanded into multiple arguments?