[marshray]

(Apologies in advance, I'm just thinking out loud here, not meaning to troll.)

So you like strong typing. I do too, but I like it even more at compile time. If you're doing without the compile time error checking, why not go all the way and do without type errors at runtime as well? Sounds like a choice between:

1. type errors at compile time,

2. data-dependent type errors at runtime, or

3. data-dependent corruption and/or non-type errors at runtime.