The plan was simple: borrow Sarah's parent's campervan, drive down on Friday evening to the village where our friends were being married the next day, sleep over, get up in the morning, have a nice breakfast, explore the area a bit, do the wedding, sleep over, then have Sunday to do touristy things with a few of the others who were staying over after the wedding, sleep over, and come back Monday morning.
However, it did not go to plan.
Read more »
Ever since I was a kid, I've been interested in exploring Uniqueness typing as a paradigm for mutation in a programming language.
The principle is simple: mutating operations - assignment, I/O, etc - are a pain. Both for the implementers of the language, who are limited in what optimisations can be performed when the values of things can shift around beneath them and when any given part of the program may have side effects so order of execution must be preserved, and for the programmers in the language, who have to deal with bugs and complex behaviour that just don't happen when everything is referentially transparent.
Read more »