Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Defunctorizer for OCaml

Tags:

functor

ocaml

In the past, Julien Signoles programmed ocamldefun, a program that took OCaml source code with functors and obtained an equivalent program without functors. This is useful for optimization, analysis and other purposes.

It seems that ocamldefun is no longer maintained. Does there exist some equivalent tool?

like image 760
David Monniaux Avatar asked Nov 16 '25 17:11

David Monniaux


1 Answers

Markus Mottl showed a camlp4 trick to do compile time functor instantiation (with some limitation). Take a look here

like image 162
rgrinberg Avatar answered Nov 19 '25 07:11

rgrinberg



Donate For Us

If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!