3 ms·
Interesting point. I never inferred a strong connection between dependent types and the unification of records and modules. Maybe a real PL theorist around here
by unstruktured 2y ago
Interesting point. I never inferred a strong connection between dependent types and the unification of records and modules. Maybe a real PL theorist around here can provide insights on that subject.