Open and closed universes

from blog sunshowers, | ↗ original
Type systems are tools for modeling some aspect of reality. Some types need to represent one of several different choices. Sometimes, all the choices may be known in advance and will likely never change—this is often called a closed universe of values. Other times, the set of options will change over time, and the type needs to represent an open...