DAML

An open-source smart contract language for building future-proof distributed applications on a safe, privacy-aware runtime. DAML is a functional programming language designed specifically for use in multi-party business processes, often referred to as smart contracts. DAML abstracts away the underlying complexities of blockchains and database technologies, allowing developers to focus on the logic of the applications they are building. This greatly reduces the time to market for new applications and allows for increased agility.