4 ms·
Haskell and Ocaml, e.g. http://okmij.org/ftp/Computation/typeclass.html http://okmij.org/ftp/Computation/typeclass.html .
by dbaupp 9y ago
Haskell and Ocaml, e.g. http://okmij.org/ftp/Computation/typeclass.html http://okmij.org/ftp/Computation/typeclass.html .
- slavapestov 9y agoI thought Ocaml still boxed values, so there's no equivalent of value witness tables?
- dbaupp 9y agoSure, but it still does basically the same thing of passing around witness tables. Values happen to have a uniform representation, but this seems seems like variation within a cluster of languages that do similar thing rather than something fundamentally new.