Modular implicits Leo White Fr´ed´eric Bour A common criticism of OCaml is its lack of support for ad-hoc polymorphism. The classic example of this is OCaml’s separate addition operators for integers ( ) and floatin - Ad hoc polymorphism - Document - PDFSEARCH.IO

First Page	Meta Content
	Modular implicits Leo White Fr´ed´eric Bour A common criticism of OCaml is its lack of support for ad-hoc polymorphism. The classic example of this is OCaml’s separate addition operators for integers (+) and floatin Add to Reading List Document Date: 2015-02-22 16:28:22 Open Document File Size: 151,34 KB Share Result on Facebook Company Creative Commons / / IndustryTerm type-specific printing functions / printing / search procedure / / Person Leo White Fr´ed / Leo White / / ProgrammingLanguage Haskell / ML / Scala / / SocialTag Functional languages Procedural programming languages Type theory Functional programming Data types Type class OCaml ALGOL 68 Type signature Software engineering

Modular implicits Leo White Fr´ed´eric Bour A common criticism of OCaml is its lack of support for ad-hoc polymorphism. The classic example of this is OCaml’s separate addition operators for integers (+) and floatinAdd to Reading List