Daml is a nice functional smart contract platform, with the ambition of smart contracts being really contracts. This is a few years old video about the original

Daml is a nice functional smart contract platform, with the ambition of smart contracts being really contracts. This is a few years old video about the original idea: https://vimeo.com/219723741 https://vimeo.com/219723741, and this is their web site: https://daml.com https://daml.com. Today Daml is integrated with the Canton synch platform, and can connect several kinds of blockchains and databases: https://www.canton.io https://www.canton.io.