10,403 followers
RT @odersky: @debasishg Modules can be given an alternative semantics of existential types, e.g. https://t.co/2svVSoq5RY. But the original…
RT @odersky: @debasishg Modules can be given an alternative semantics of existential types, e.g. https://t.co/2svVSoq5RY. But the original…
@debasishg Modules can be given an alternative semantics of existential types, e.g. https://t.co/2svVSoq5RY. But the original design and the surface syntax uses dependent types, e.g. `m.T`. And the embedding into existentials is fairly low-level, not suit
wanna read: http://t.co/xRBqyXQ "Declarative Program Transformation: A Deforestation Case-Study"