Pourquoi IOG a choisi Haskell pour construire Cardano ?
🕝 8 minL’équipe d’IOG a soigneusement choisi le langage de programmation et les outils à utiliser pour le développement de Cardano. Au final, elle a choisi Haskell. L’équipe doit être en mesure de vérifier formellement que tout ce qui est écrit dans les livres blancs correspondra correctement au code source. Venez lire comment l’équipe transforme les preuves … Lire la suite