News for hackers. Stuff that matters.
Re:TypeScripts Type System Is Turing Complete by munificent on Wednesday August 02, 2017 @01:06AM (#14908077)
> How many practical type systems do you know that are not Turing-complete, yet powerful enough as development aids?

Dart has a pretty sophisticated type system — generics, generic methods, function types, subtyping, etc. — but isn't Turing-complete as far as I know.

There are no comments on this comment yet.