News for hackers. Stuff that matters.

A comment on Lisp and Haskell (2017). Parent comment

Re:Lisp and Haskell (2017) by Peaker on Sunday July 15, 2018 @04:15PM (#17536823)
Then what you have is not "anything". You have an expression problem:

Either each element has some "handler" that does the right thing for that data type.

Or you have a set of cases that each data can be, and you handle them all.

Neither is just "any type". And static types are very suitable to describe either.

[ Parent | on HN ]
Re:Lisp and Haskell (2017) by hderms on Sunday July 15, 2018 @07:45PM (#17537760)
The handler being a typeclass in Haskell vs the enumerated cases being pattern matching?
[ Parent | on HN ]
Re:Lisp and Haskell (2017) by Peaker on Wednesday July 18, 2018 @04:01PM (#17561618)
A type-class or just a callback type, vs pattern-matching, yeah.
[ Parent | on HN ]