The Future of Haskell discussion at the Haskell Workshop

[Johannes Waldmann]

What about "ad-hoc overloading" (allowing visible entities to share names,
as long as they can be distinugished by their typing).

This is orthogonal to the "proper records" issue (?)
but it might improve the current situtation (?)
and it seems backward-compatible (?)

Of course this would need an extension of the type checker
(but not in the interface files, since this kind of overloading
should only happen when using an name, not when defining it).
-- 
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/209 --

.. ..  Viertes Leipziger Jongliertreffen, 17. - 19. Oktober 2003  .. ..
.. ..  http://www.informatik.uni-leipzig.de/~joe/juggling/vier/   .. ..