3 ms·
So basically you want the compiler to solve the halting problem for every function it compiles.
by Tloewald 13y ago
So basically you want the compiler to solve the halting problem for every function it compiles.
- lmm 13y agoIdeally yes. But keeping track of nullability is not impossible, it's not even hard, as any number of existing languages with such checking prove (some of which have very performant compilers).