4 ms·
Type systems expressive enough to write actual programs is widespread these days. Typescript's typesystem is even Turing complete. Regardless, it is not very
by tossandthrow 2y ago
Type systems expressive enough to write actual programs is widespread these days.
Typescript's typesystem is even Turing complete.
Regardless, it is not very practical to use a type checker as your runtime.
- linotype 2y agoDidn’t someone implement Doom in the Typescript type system?