Education of a Programmer

Re:Education of a Programmer by joatmon-snoo on Monday April 03, 2017 @12:39AM (#14020626)

There was a PhD thesis that appeared on HN a few weeks ago - Algebraic Subtyping (which I still have open in another tab because I've been making my way through it at a dreadfully slow pace) and its core claim is that traditional type systems start from a simple interface, which results in a needlessly complex model, whereas starting from a simple model enables the development of a slightly more complicated, yet still elegant and simple interface.

The similarities between that claim and this one are striking.

[ Parent | on HN ]

[dead]

Re:Education of a Programmer by adrianN on Monday April 03, 2017 @03:38AM (#14021177)

Don't link to jwz from HN unless you want other people to see a NSFW picture of a hairy nutsack.

[ Parent | on HN ]

Re:Education of a Programmer by reitanqild on Monday April 03, 2017 @07:13AM (#14021926)

Adding to this: jwz filter based on referer so if one copy the link and open it in a new tab one should be safe although I have only tested once in my preferred browser.

[ Parent | on HN ]