There are languages built on join semi-lattices such as Bloom^L for writing eventually consistent programs[0]. The idea being that logical monotonicity removes

There are languages built on join semi-lattices such as Bloom^L for writing eventually consistent programs[0]. The idea being that logical monotonicity removes the need for co-ordination and eventual consistency in the language can be guaranteed by co-ordination around non-monotonic points. If you like logic-based programming it's a rather interesting language to research. [0]https://webcache.googleusercontent.com/search?q=cache:gu5lBoQE2kkJ:www.bloom-lang.net/calm/+&cd=1&hl=en&ct=clnk&gl=ca https://webcache.googleusercontent.com/search?q=cache:gu5lBo...