On 2004-09-08T16:27:23+0100, Simon Peyton-Jones wrote:
> You might want to show it to Derek Dreyer and other ML module experts.
I'm trying; I'm trying. (:
> The ML orthodoxy says that it's essential to give sharing constraints by
> name, not by position. If every module must be parameterised b
On Wed, Sep 08, 2004 at 04:27:23PM +0100, Simon Peyton-Jones wrote:
> The ML orthodoxy says that it's essential to give sharing constraints by
> name, not by position. If every module must be parameterised by every
> type it may wish to share, modules might get a tremendous number of type
> param
| cumbersome. This message is an attempt to interpret some of Ken's
| results in idiomatic Haskell with the full use of type classes. We
| will also show that type sharing constraints can be expressed in a
| scalable manner, so that the whole translation is practically
| usable. Thus we can enjoy t
