News for hackers. Stuff that matters.

A comment on TypeScripts Type System Is Turing Complete. Parent comment

Re:TypeScripts Type System Is Turing Complete by naasking on Wednesday August 02, 2017 @04:31AM (#14908886)
> In particular, OCaml and GHC Haskell do not have decidable type checking.

Pretty sure OCaml type checking is decidable, as is C# and F#, at the very least.

[ Parent | on HN ]

There are no comments on this comment yet.