Re:Lisp and Haskell (2017)
by rs86 on Sunday July 15, 2018 @05:37PM
(#17537235)
Type checking is much more than that. It is not the same as throwing exceptions when types don't match; it is about proving that a type checked program will never produce type errors.
[ Parent
| on HN ]
Re:Lisp and Haskell (2017)
by crimsonalucard on Sunday July 15, 2018 @10:46PM
(#17538413)
You're right. I wanted to illustrate that type checking shouldn't be a factor in the the parents context as you can use code to explicitly type check or prove it.