Dependent types for smart contracts

Some weeks ago I had made an interview on a startups which use the (dependently typed) functional programming language F* to do smart contracts:

Indeed, the ADA cryptocurrency which recently popped up on Bittrex is also tied to the Cardano blockchain protocol, written in the (parametrically polymorphic) functional language Haskell. This is a neat developement who like mathematics, as well as people who like to invest time and make fintech secure.

I’d love to chat with people here too - also on video. And especially about which languages are suitable for what, in the crazy world of internet money :slight_smile: