Toward Go 2 - Hackdot

Re:Toward Go 2 by pcwalton on Thursday July 13, 2017 @04:54PM (#14765135)

Really by "boxing" I mean "dictionary passing" (I've also seen the term "intensional type analysis" for it). That encompasses approaches like Java as well as those of Swift.

Hybrid approaches in which the compiler (or JIT!) decides whether to monomorphize or use vtables are also possible.

[ Parent | on HN ]

Re:Toward Go 2 by slavapestov on Thursday July 13, 2017 @05:02PM (#14765202)

"Dictionary passing" is a good term for this implementation strategy, I haven't heard it named before. Do you know of any other languages that take a similar approach?

[ Parent | on HN ]

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 ]