> 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 computati

> 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 ?