Lisp and Haskell (2017)

Re:Lisp and Haskell (2017) by dumb22233 on Sunday July 15, 2018 @10:56AM (#17535483)

You could use XML data structures in which some of the elements are programs that you can execute (program is data), other are graphic, other are links to more XML data and so on. And your program is able to process that information.

[ Parent | on HN ]

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 ]