Op 12-10-11 13:44, Adam Chlipala schreef:
Haskell does not
have a solution to the problem, because its "module system" is so
inexpressive. It is not obvious to me how to follow your suggestion in Ur.
The Scheme48 module system (which is based on Standard ML) is likely also
applicable to Ur: http://community.schemewiki.org/?scheme48-module-system.
It provides higher-order modules and there is no needless repetition in sight.
--
Best regards,
Ron de Bruijn
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
