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 tome on Wednesday August 02, 2017 @05:19AM (#14909097)
Care to mention what about GHC Haskell's type system is not decidable? AFAIK only some extensions like UndecidableInstances can make it undecidable.
[ Parent | on HN ]

There are no comments on this comment yet.