Nice callout. I definitely think that ‘typeful thinking’ (units and dimensions) is a massive boost in mathematics, computer science and philosophy.
One hypothetical reason is that knowing ‘types’ means knowing ‘what you can do with it’ (in particular, the manipulations you’ve done or witnessed on like-typed things before become generators of new insight). I think this is at least one piece of a description of how we humans do concept abstraction and recomposition in mundane and intellectual situations alike.
Nice callout. I definitely think that ‘typeful thinking’ (units and dimensions) is a massive boost in mathematics, computer science and philosophy.
One hypothetical reason is that knowing ‘types’ means knowing ‘what you can do with it’ (in particular, the manipulations you’ve done or witnessed on like-typed things before become generators of new insight). I think this is at least one piece of a description of how we humans do concept abstraction and recomposition in mundane and intellectual situations alike.