[choiway]

I do like me some static typing but it took me a while to realize that the guards and pattern matching provides runtime guarantees and not just compile time guarantees.

[pjerem]

In theory, compile time guarantees renders runtime guarantees useless as long as you don’t interact with untyped code.