News for hackers. Stuff that matters.

A comment on Where Do Type Systems Come From?.

Re:Where Do Type Systems Come From? by incan1275 on Friday July 07, 2017 @08:15PM (#14723302)
I share the author's frustration with wikipedia sometimes - people usually go to wikipedia for a distilled, comprehensible description of the subject matter. What he quoted was certainly not comprehensible, even to someone well-educated in CS foundations.
[ Parent | on HN ]
Re:Where Do Type Systems Come From? by owebmaster on Saturday July 08, 2017 @03:31PM (#14726832)
I like it because of it. If what I found in wikipedia was the "easiest" description, I'd find it lacking. It is better to not understand everything on the first read than understanding almost nothing because of lack of profoundity.
[ Parent | on HN ]