News for hackers. Stuff that matters.

A comment on TypeScripts Type System Is Turing Complete.

Re:TypeScripts Type System Is Turing Complete by hellofunk on Wednesday August 02, 2017 @09:09AM (#14910218)
Okay, but you know what else is Turing complete? BASIC. Bash script. Assembly. In 2017 I'm not sure that something being Turing complete should be considered a shocker, or even that meaningful.

Heck, I've seen people write whole programs just using clojure.spec which is supposed to be only for type annotations.

[ Parent | on HN ]
Re:TypeScripts Type System Is Turing Complete by mvitorino on Wednesday August 02, 2017 @10:14AM (#14910707)
The -Type System- is turing complete, not talking about the language itself. So your first few comparisons are not quite fair.
[ Parent | on HN ]
Re:TypeScripts Type System Is Turing Complete by neoeldex on Wednesday August 02, 2017 @09:58AM (#14910574)
Brainfuck is also turing complete ;)
[ Parent | on HN ]
Re:TypeScripts Type System Is Turing Complete by hellofunk on Wednesday August 02, 2017 @04:23PM (#14914245)
I suspect whoever is downvoting you is not aware that Brainfuck is a real programming language :)
[ Parent | on HN ]
Re:TypeScripts Type System Is Turing Complete by djgs on Thursday August 03, 2017 @02:44AM (#14917453)
I think the joke is that the instructions in Brainfuck are the same as a Turing Machine. Tape left, tape right, increment, decrement etc.
[ Parent | on HN ]