|
|
|
|
|
|
by com2kid
688 days ago
|
|
|
> I'm pretty sure that it is Turing-complete. Because JS code can arbitrarily modify a type, any language trying to specify what the outputs of a function can be also has to be Turing complete. There are of course still plenty of types that TS doesn't bother trying to model, but it does try to cover even funny cases like field names going from kebab-case to camelCase. |
|
|