Timeline for Does it make sense to have both the concept of 'null' and 'Maybe'?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8, 2017 at 11:53 | comment | added | Andrej Bauer | We don't complain, we're aloft. | |
| Jan 5, 2017 at 20:27 | comment | added | Yttrill | @AndrejBauer: what? but then theoreticians wouldn't have anything to complain about! | |
| Jan 4, 2017 at 9:05 | comment | added | Andrej Bauer | If only people stopped using languages from 1960's (or their reincarnations from 1980's). | |
| Jan 4, 2017 at 8:59 | comment | added | Raphael | If only the barrier to creating such types were lower in many languages. :/ | |
| Dec 30, 2016 at 22:42 | history | edited | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |
added 54 characters in body
|
| Dec 30, 2016 at 19:07 | vote | accept | Stijn | ||
| Dec 30, 2016 at 14:35 | comment | added | Stijn | Makes perfect sense when you see it spelled out like that. I'm mostly interested in ideas, existing library support is just a bonus :) | |
| Dec 30, 2016 at 14:23 | history | answered | Andrej Bauer | CC BY-SA 3.0 |