3 ms·
You can code the whole program with only types and no code? Albeit that is possible in typescript these days too tho.
by olivermuty 2y ago
You can code the whole program with only types and no code?
Albeit that is possible in typescript these days too tho.
- tossandthrow 2y agoType 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?