[MadcapJake]

What I've never understood about this argument is this:

How often are you passing around data that you don't fully understand?

Also, people use types and then end up reaching for reflection to perform pattern matching on types at which point you've just moved the typing from the user level to a type system. Not much gained imo.

[coldtea]

>How often are you passing around data that you don't fully understand?

Like all the time. As a program grows, the full extend of what is passed where, explodes.

>Also, people use types and then end up reaching for reflection to perform pattern matching

As a tool in their disposal, with the default being the opposite.

[nottorp]

> How often are you passing around data that you don't fully understand?

When you're using the new code your colleague just committed after a week of intense work, for example.

[duped]

Most people don't reach for reflection to pattern match on types, because when a type _changes_ you get very nice errors at all places where you've just introduced a bug.