> There are type system features that ensure a higher degree of correctness, but it's not fun debugging compiler errors when you're trying to get something working.

> For example, being forced to handle errors immediately via return codes or option types is not "fun".

> It is preferable to handle type errors at runtime or through testing instead of at compile time.

Is that right.