Cardano is a full blockchain, engineered from scratch within the practical programing language Haskell. IOHK employed philip Wadler, a principal designer of the Haskell language to figure on the Cardano project.
According to Hoskinson, as a result of Haskell is comparable to mathematics in its approach, code will be written additional precisely, leading to a safer and reliable protocol.