On: Typing Is Hard

[jcelerier]

> It absolutely will, and it's a massive pain when it does.

C++ compilers have solved that problem 20 years ago by putting (low) depth limits to type computations, why can't other environments do the same ?