> 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.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
