> a compiler mode where type errors compile down to runtime traps without preventing you from running the program Absolutely, something like this would be perf

> a compiler mode where type errors compile down to runtime traps without preventing you from running the program Absolutely, something like this would be perfect. I like being able to leverage the compiler in preventing runtime errors...just not necessarily all at once, right up front. Allowing some strictness to be dialed back in debug builds would be a very nice feature.