Show HN: Write Haskell-inspired smart contracts with open source DAML

Hey HN! This is Paul from Digital Asset’s developer community team. We have recently added a web-based IDE for DAML so people can now try it out without having to download the SDK. We’d love your feedback on the experience and the language! https://webide.daml.com/

Thanks to Bolek Wisniewski from the DAML language team for making this happen.

In case you’re not familiar with DAML, I have previously posted a few stories - it is basically an open source functional programming language designed specifically for use in coding multi-party business processes (‘smart contracts’ in the DLT space). In addition to using the new IDE you can download the DAML SDK, inspect and contribute to the source code, find fully-executed reference applications (also open source), and access the documentation from https://daml.com/.

DAML is very much a Haskell-inspired language, adding key language features (such as parties, signatories, and observers) that abstract away the underlying complexities of blockchains and database technologies. Because specifics of the underlying persistence mechanism are not exposed to the developer, applications built with DAML can run on a number of platforms, currently including VMware Blockchain, Hyperledger Sawtooth, and the Distributed Asset Canton ledger (https://www.canton.io/. More are in the works.