Tycoon-2 - A higher-order object-oriented programming language for distributed and persistent systems - View it on GitHub