search

gregoryyoung / nothing

Replacement of the System.Void type
The Unlicense
57 stars 11 forks source link

Rename "Nothing" to "Something" #14

Open dsyme opened 9 years ago

dsyme commented 9 years ago

With the proposal to add Zero, I suggest we rename "Nothing" to "One", or perhaps "Something".

vossccp commented 9 years ago

"Nothing" has an instance. Therefore, it is something. We should either make the instance private (them its really nothing at least from outside) or we should rename it to be something

dsyme commented 9 years ago

Yes, @gregyoung tries to make nothing, and he still ends up with something.

gregoryyoung commented 9 years ago

Nothing is impossible, the word itself says 'I'm possible'! Audrey Hepburn

dsyme commented 3 years ago

This issue goes to the heart of differences in traditions in computing.

In the algebraic tradition, adding data to a type is multiplicative, and nothing is "one" or "unit". So tuple types are written "int int" with the idea that "unit int int" is still "int int"

In the object oriented tradition, emptiness is nothingness is zero. Hence the name of this repo. In this tradition, it's unclear what "one" is.

So additive of multiplicative? Where do you stand?