Lasp: A Programming Language for Large-Scale Available Systems
Lasp provides a principled approach for dealing with eventually consistent data, data that is replicated and periodically synchronised with convergence rules, for providing an efficient programming environment for building large-scale applications, alleviating the need for users to reason about the uncertainties in distributed programming: an unreliable network where messages between clients may be dropped or re-ordered.
LASP website
