Show HN: Crafting Interpreters – A handbook for making programming languages

Re:Show HN: Crafting Interpreters – A handbook for making pr... by mafribe on Monday January 16, 2017 @10:17AM (#13410394)

   dearth of learning materials for things 
   like Hindley-Milner

What's wrong with the original paper [1]? It's really basic and boiled down to the essence (in true Milner style). I give it to all my students interested in typing systems as first paper. (There is a typo on Page 211.)

[1] L. Damas, R. Milner, Principal type-schemes for functional programs.

[ Parent | on HN ]

Re:Show HN: Crafting Interpreters – A handbook for making pr... by dsp1234 on Monday January 16, 2017 @03:07PM (#13412580)

Eric Lippert[0] is doing an "excessive explanation" of this paper[1], where he breaks the entire paper down, line by line, with examples that C#/Java people would recognize. It's nice for people like myself who are strong on concepts, but weak on notation.

ex:

  map  : ∀α ∀β ((α → β) → (α list → β list))

Which I previously couldn't read, but I could easily explain the concept.

[0] - Former C# language designer, Roslyn compiler team, etc.

https://www.reddit.com/r/programmerchat/comments/37qwmm/i_am...

https://ericlippert.com/about-eric-lippert/

[1] - https://ericlippert.com/?s=excessive&submit=Search

[ Parent | on HN ]

Re:Show HN: Crafting Interpreters – A handbook for making pr... by mafribe on Wednesday January 18, 2017 @06:28AM (#13425612)

Thank you, that's an interesting point.

The thought that somebody would not be able to understand the type of map had not occurred to me, because I'm surrounded by people with a strong maths/FP background. Shows just how narrow-minded I am.

[ Parent | on HN ]