News for hackers. Stuff that matters.
Re:OCaml at Bloomberg by carnitine on Tuesday August 24, 2021 @03:43AM (#28286051)
Where does that definition of expressivity come from? As far as I can tell the cardinality of the ‘type set’ is omega_0 in both C++ and OCaml.

There are no comments on this comment yet.