News for hackers. Stuff that matters.

A comment on TypeScripts Type System Is Turing Complete.

Re:TypeScripts Type System Is Turing Complete by lopatin on Tuesday August 01, 2017 @10:07PM (#14907327)
Gotta mention Shen here, the language with an intentionally Turing complete type system. You can write your types as Horn clauses.

http://shenlanguage.org/

[ Parent | on HN ]

There are no comments on this comment yet.