[Haskell-cafe] Haskell's type inference considered harmful [Re: [Haskell] A riddle...]

[Christopher Done]

On 17 July 2012 09:27, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
>   1. Haskell's type inference is NON-COMPOSITIONAL!
>
> In the riddle below, I am defining two things f ("rgbliste") and g ("farbliste").  Even though they are not strongly connected, but g comes after f in the definition order, the code of g influences the type of f.  THAT'S WRONG! :-(


Bindings at the same level in Haskell are mutually recursive. Order of
declaration does not matter. These two terms are unified by the type
system. So I'm not sure what you expect to happen here.