Technologie6 mois ago
Polymorphisme borné de type supérieur en OCaml : une exploration fascinante (2021)
Higher-kinded polymorphism -- the abstraction over a type constructor to be later supplied with arguments -- is often needed, for expressing generic operations over collections or embedding typed...