News for hackers. Stuff that matters.

A comment on OCaml at Bloomberg. Parent comment

Re:OCaml at Bloomberg by rowanG077 on Monday August 23, 2021 @04:15PM (#28281331)
I haven't used ocaml but I think something is possible with GADTs. Beside the example you have given shows C++ templating prowess and not its type system. In general I wouldn't call a type system that doesn't support ADTs expressive.
[ Parent | on HN ]
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 ]