[Haskell-cafe] Top Level etc.
benjamin.franksen at bessy.de
Wed Jan 19 16:30:51 EST 2005
On Wednesday 19 January 2005 21:48, Keean Schupke wrote:
> Benjamin Franksen wrote:
> >Neither I nor the authors claim that their proposal is the ultimate "grand
> >scheme", yet. Still I think there are very interesting ideas in there that
> >should be considered for experimental implementation or further research.
> But thats interesting isn't it. If one extension can be defined in terms
> of the other, then only one of the extensions is necessary. There is
> obviously some connection between functional dependancies and
> named instances. Maybe there is a better mechanism that both
> can be defined in terms of?
Any idea? I'll propose you for the next Nobelprize in Programming Language
More information about the Haskell-Cafe