News for hackers. Stuff that matters.

A comment on Show HN: Crafting Interpreters – A handbook for making programming languages. Parent comment

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 ]