The universal type
CL-USER> (setf universe (find-class 't)) #<BUILT-IN-CLASS T> CL-USER> (typep universe universe) T View On WordPress…
6 posts
CL-USER> (setf universe (find-class 't)) #<BUILT-IN-CLASS T> CL-USER> (typep universe universe) T View On WordPress…
CL-USER> (setf universe (find-class 't)) #<BUILT-IN-CLASS T> CL-USER> (typep universe universe) T…
I’m not arguing against type theories, not arguing against the usefulness of various forms of type inference, not arguing against reasonable requests, not arguing against the desire to reason about co…
Is a sortable array an array that sorts or a sorter represented by an array? If you believe that types address all design issues you must make that decision. http://commandcenter.blogspot.ca/2012/06/…
Every language has a type system; a particular way of organizing nouns into types, figuring out which verbs make sense on which types, and relating types to one another. Some languages are strict, and…
Making that happen in a language design should involve some subtle shifts in the way data is conceptualized. That isn’t a digression in a discussion of types, because the way we conceptualize data ha…