Hindley-Milner type signatures

[jasonbellamy]

Should there be a small section describing Hindley-Milner type signatures? I am just recently getting into the world of functional programming and know that at first I was confused about all these "strange comments" in the code.

[hemanth]

Yes there must be, I am guessing you are reading Dr.Boolean's book ;) ?

[jasonbellamy]

Yeah, I just finished it a couple weeks ago. It was an interesting read, and definitely piqued my interest in functional programming.

[hemanth]

👍

[jethrolarson]

Problem is that there's not really a standard for the signatures in JS. The examples I've seen have been an adaptation from Haskell or F# or just off-the-cuff.

[CrossEye]

It's far, far too large for here, and still not finished, but I just created a document explaining how Ramda uses these.

[hemanth]

@CrossEye wow!

[jethrolarson]

There's a small section in the document on type signatures now. Can we resolve?

https://github.com/hemanth/functional-programming-jargon#type-signatures

[jasonbellamy]

Thanks @jethrolarson