Comment by esafak

> Types can't represent truth. Real world data doesn't have types. It changes incrementally however it wants, and all the time.

What do you mean? If a variable is a date/time or an integer etc. in the real world it should stay that way and be represented as such in software.