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 @01:37AM (#28285459)
I have never seen a definition of type system which cares about things being done at compile-time or runtime, or that there even is a compile-time or run-time
[ Parent | on HN ]
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 ]