Conversation

🍋 Ende Jin✨🤩✨
@EndeXl
Is there any paper comparing DOT with higher order module? Especially those concepts from modules sides, like Applicative/Generative Functor, phase distinction, avoidance problem... Why these problems don't make a sound in DOT?
1
3
Paolo G. Giarrusso
@Blaisorblade
Replying to
@brendanzab
and
@EndeXl
Related work in the MixML papers should say a bit, but otherwise answers might only be known/conjectured to experts Avoidance is a concern in Scala type inference (out of scope in DOT papers); DOT "functors" are generative; 1/
1
1
🍋 Ende Jin✨🤩✨
@EndeXl
I am wondering if generativity is related to precise type tag? If only allow precise self type (singleton type interval), is it still generative "functor"?
1
1
Show replies