News for hackers. Stuff that matters.

A comment on OCaml at Bloomberg. Parent comment

Re:OCaml at Bloomberg by jcelerier on Tuesday August 24, 2021 @12:48AM (#28285204)
But GADTs are expressible in the C++ type system (thanks to templates which are just the C++ implementation of the parametrizable types typesystem-level property)
[ Parent | on HN ]

There are no comments on this comment yet.