Re:TypeScripts Type System Is Turing Complete
by chombier on Wednesday August 02, 2017 @03:18AM
(#14908562)
To me, the issue is not the type system being TC, which may or may not be desirable depending on applications.
What is a bit unsettling is that somebody noticed that it was in fact TC: this property should be clear from the type system design and not something to be discovered afterwards.
What is a bit unsettling is that somebody noticed that it was in fact TC: this property should be clear from the type system design and not something to be discovered afterwards.