http://devmusings.legiasoft.com/ 2012-05-21T05:54:01+02:00 http://devmusings.legiasoft.com/ http://devmusings.legiasoft.com/lib/tpl/custom/images/favicon.ico text/html 2012-02-01T13:43:18+02:00 csoldani http://devmusings.legiasoft.com/blog/2012/02/01-polymorphism Compiler, LLVM, OCaml, Photon This is the 17th article of a series (table of contents) about compiler development with LLVM using OCaml. We intend to develop a compiler for a subset of OCaml large enough to allow our compiler to compile itself. In this article, we implement polymorphism, both for the type inference process and for the compilation itself.