Cardano ADA... A blockchain programmed in Haskell blacked up by real research and formal methods plus in the near future smart contracts in Plutus (DSL derived

Cardano ADA... A blockchain programmed in Haskell blacked up by real research and formal methods plus in the near future smart contracts in Plutus (DSL derived from Haskell for smart contracts).. Is the strong foundation that the future financial system requires. Disclaimer: I work in the company that develops Cardano.