[<<][meta][>>][..]
Sat Jan 30 10:03:38 CET 2010

OCaml monads: perform (do) notation

Reason: typed metaprogramming currently needs either a pure setting
(i.e. monads) or some delimited control tricks to prevent scope
extrusion.


Using OCaml / MetaOCaml based on 3.09.1 :
  
        make OCAMLC=ocamlc \
             CAMLP4=camlp4o \
             PP-EXT="-pp '\$(CAMLP4) -I . pa_extend.cmo q_MLast.cmo'" \
             SYNTAX-EXTENSION=pa_monad-camlp4-3.09.cmo

This produces pa_monad.cmo (bytecode. native code .cmx is not
necssary)

Using it (3.09):

        ocamlc -pp 'camlp4o -I . pa_monad.cmo' -c ...


Now, to refresh that OCaml lore.  




[Reply][About]
[<<][meta][>>][..]