News for hackers. Stuff that matters.

A comment on OCaml at Bloomberg. Parent comment

Re:OCaml at Bloomberg by rixed on Tuesday August 24, 2021 @02:29AM (#28285718)
Never heard of static vs dynamic type checks ?
[ Parent | on HN ]
Re:OCaml at Bloomberg by jcelerier on Tuesday August 24, 2021 @02:42AM (#28285786)
Expressiveness of type systems is about which types (and thus type checks) you can express, not when the type checking occurs
[ Parent | on HN ]