FWIW, > "Any sufficiently large test suite will contain an ad-hoc, informall... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

masklinn on Jan 3, 2011 | parent | context | favorite | on: Why Lisp is a Big Hack (And Haskell is Doomed to S...

FWIW,

> "Any sufficiently large test suite will contain an ad-hoc, informally-specified, bug-ridden, slow implementation of half of the Haskell type system" -- Smith's Law

mahmud on Jan 3, 2011 [–]

This point has been argued far more eloquently and accurately by Cardelli and Wagner, "On Understanding Types, Data Abstraction, and Polymorphism".

http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf

See Section 1.3 "Kinds of Polymorphism" (there is a typo in the paper and section 1.4 is mislabeled as "1.3" as well.)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact