Thinking about the notion of “type” vs untyped. and I realized : File types. An application is a function and it accepts only particular file types. Many file types can be used for multiple applications just as you can use integers for a lot of things. MP4 and TXT are examples of file types. What I find fascinating is moving from one type to another, particularly if it affords me the ability to make changes that would be impossible in the previous format due to limitations of its file type. Audio to visual, text to animation, sampled sound to musical notes (midi).==
hold up: notion=concept. A concept is a theory of a category. SO what category is “type” fall into?
“A type is a type of…”
oh no. Seems like a type of a type of infinite regress, which is a type of self-supporting structure that is functional but is ungrounded unless grounded.
So how does one ground a type of a type?