Even if you had static types for POO (a challenge in itself), distinguishing prototype and instance would mean writing all these instantiator functions... better to generate them with a macro... which must play well with the typesystem.
-
-
Show this thread
-
A static type system capable of inferring types for POO doesn't seem to exist yet. Surely, some encoding in dependent types is possible, but nobody seems to have done so yet, and then the question remains of how inferrable those types are. Challenge to static typists!
Show this thread
End of conversation
New conversation -
-
-
POO is OOP?
-
You tell me! "OOP" has mostly been a festering pile of ignorant propaganda for the last 30 years, so I don't care what authorities say. That said, Prototype are the foundation that OOP would wish it had, if only OOP cared for foundations.
End of conversation
New conversation -
-
-
Did I say recursively instantiate all prototypes? Oh, yeah, it's a circular graph, since children point back to their parents and through there access their cousins, etc. Good luck doing that... Unless you buy the entire pure lazy functional prototype paradigm—which you should.
Show this threadThanks. 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!