When FP? And When OOP? (2013)

Re:When FP? And When OOP? (2013) by unhammer on Monday January 28, 2019 @09:07AM (#19017479)

OCaml has ADT's, but also polymorphic variants[0] which are open, and let you say "these alternatives or more", or "these alternatives or less": https://v1.realworldocaml.org/v1/en/html/variants.html#polym...

It's the main thing I've missed from OCaml when programming in Haskell (you can sort of do something like this with typeclasses, but I much prefer the OCaml solution).

[ Parent | on HN ]

Re:When FP? And When OOP? (2013) by dan-robertson on Monday January 28, 2019 @10:40AM (#19018254)

Ocaml also has open variants where one can add cases to an existing sum type (essentially this is like exceptions but less special) and it’s objects are like a dual of polymorphic variants where you get a record which you may add fields to. Neither of these features is as commonly used as polymorphic variants however.

[ Parent | on HN ]