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 wou

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_eric_lippert_a_software_developer/ https://www.reddit.com/r/programmerchat/comments/37qwmm/i_am... https://ericlippert.com/about-eric-lippert/ https://ericlippert.com/about-eric-lippert/ [1] - https://ericlippert.com/?s=excessive&submit=Search https://ericlippert.com/?s=excessive&submit=Search