This is Duncan Coutts. One of the smartest persons on IOHK. He explains the IOHK driven approach on why they use haskell in order to implement the formal specs of the POS algorithm (From the Math to the Code). So if you ask yourself why they use haskell and how the cardano framework will make it possible for developers to build secure applications on top of cardano, you will find your answers here. 50 minutes.
Duncan must be the smartest saucer in crypto land
I like Duncan very much!
Exactly why I got into cardano, just dont trust to run fin apps on a tech created by 22 years old
yes, I am talking about you ETH