News for hackers. Stuff that matters.
Re:What I Wish I Knew When Learning Haskell by tel on Monday September 14, 2015 @06:16AM (#10214388)
Hey, I didn't say one was worse or better but merely suggested some arguments as to why one might dislike that signature.

Clearly, as you demonstrate, the syntax described can be shortened—but it wasn't.

And by the definition being tied to the implementation I mean that it's not possible to write, e.g.

    foo :: Type1
    bar :: Type2

    foo = ...
    bar = ...
Re:What I Wish I Knew When Learning Haskell by masklinn on Monday September 14, 2015 @07:51AM (#10214639)
> Hey, I didn't say one was worse or better but merely suggested some arguments as to why one might dislike that signature.

pekk asked what was wrong with the syntax.

> Clearly, as you demonstrate, the syntax described can be shortened—but it wasn't.

I didn't change the syntax in any way.

> And by the definition being tied to the implementation I mean that it's not possible to write, e.g.

'k.

Is that actually used? Global type inference I could see, but that seems odder.

Re:What I Wish I Knew When Learning Haskell by tel on Tuesday September 15, 2015 @02:26PM (#10222327)
Fair enough. I conflated syntax with convention.

It is used quite frequently, actually, e.g. in describing type classes.