Je commence tout juste à apprendre Haskell, après être venu des mondes JavaScript / Ruby. J'ai rencontré https://github.com/HoTT et le livre The Homotopy Type Theory , que j'ai très hâte de lire. Cependant, j'apprendrai les concepts mathématiques et la théorie des types au fur et à mesure, il...