Re:TypeScripts Type System Is Turing Complete
by klodolph on Tuesday August 01, 2017 @09:57PM
(#14907276)
Type inference is not necessary in general nor does it look like the TypeScript example here uses type inference in any significant way.
[ Parent
| on HN ]
Re:TypeScripts Type System Is Turing Complete
by Gehinnn on Wednesday August 02, 2017 @05:05AM
(#14909034)
The properties that enable TS' type system to be turing complete are recursive types and indexer types.
Indexer types allow you to write `{ foo: string }["foo"]` which results in the type `string`.