News for hackers. Stuff that matters.

A comment on Toward Go 2. Parent comment

Re:Toward Go 2 by dbaupp on Thursday July 13, 2017 @05:48PM (#14765579)
Haskell and Ocaml, e.g. http://okmij.org/ftp/Computation/typeclass.html .
[ Parent | on HN ]
Re:Toward Go 2 by slavapestov on Friday July 14, 2017 @04:34PM (#14772951)
I thought Ocaml still boxed values, so there's no equivalent of value witness tables?
[ Parent | on HN ]
Re:Toward Go 2 by dbaupp on Sunday July 16, 2017 @09:48PM (#14785127)
Sure, 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.
[ Parent | on HN ]