What are type fix-points? I’m thinking a:Type -> b:Type when a ~ b, but I don’t see how that fits with the rest of it.
-
-
-
To define the semantics of a class, consider that it defines a monotonic function from type to type. Inheritance is composing these functions for all classes in a class's precedence list. The type of direct instances of the class is the fix point of this composed function.
End of conversation
New conversation -
-
-
And how do we describe those people who consider the composition of functions to be harmful?
-
C programmers. [I'm told the language is typically called C, but it's actually only the initial letter, and a way for its programmers to write CVEs faster.]
- 1 more reply
New conversation -
-
-
What do any of these words even mean, y'all?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!