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.
