5 ms·
> The Smalltalk undefined value was involved in some paradoxes Could you elaborate on this? Or provide some references? This sounds interesteing but when I tri
by Promarged 9y ago
> The Smalltalk undefined value was involved in some paradoxes
Could you elaborate on this? Or provide some references? This sounds interesteing but when I tried DDG and Google for "smalltalk undefined paradoxes" the results were not exactly satisfactory.
- stcredzero 9y agonil was the sole instance of the class UndefinedObject, which was a subclass of Object, whose superclass evaluated to nil. Another paradox: Every instance has a Class. A Class is also an instance of a Class. That object also has a Class, and that instance of a Class also has a Class, and so on. It was turtles all the way down.
- carterschonwald 9y agohrmmm... sounds like a coinductive description https://en.wikipedia.org/wiki/Coinduction https://en.wikipedia.org/wiki/Coinduction (i've done a bit of modelling using coinduction, and it has a very funky but precise relationship with immutable object oriented program descriptions)