Dedalus, a declarative language for programming distributed systems

databeta.wordpress.com