[Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

[Ivan Perez]

> In Haskell, most of these assumptions are invalid:
>
>      * something may be curried or member of a strange typeclass (like
>        printf). No assumptions about the number of arguments can be
>        made
>      * It may be possible that we do not yet know the type of a because
>        we can't infer it's type without knowing the type of x
>      * show obj is definitely a String
>      * 2 is of type Num a => a. What if there are two something, one
>        with a parameter of type Int and one with a Float?
>
> You see, It's not so easy.
I see. Thanks for such a clear explanation.