Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Monads, monadic notation and OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-03-28 (18:42)
From: Jacques Carette <carette@m...>
Subject: RE: [MetaOCaml] Monads, monadic notation and OCaml
> This is pretty cool!


> Are you using the same monad we used in the FFT work?

Yes.  For those on caml-list, the paper Walid refers to is
	author = {Oleg Kiselyov and Kedar N.~Swadi and Walid Taha},
	title = {A methodology for generating verified combinatorial
	booktitle = {ACM International conference on Embedded Software
	year = {2004}

> Also, can you either get rid of the ";" after the "in" or the "in" before
the ";"?  :)

See the comments in  Unfortunately we cannot easily do that; in
fact the required amount of work to achieve this might be quite large!  It
would be by far easier to integrate this right into the grammar rather than
to post-facto extend the grammar via camlp4.  At least, as far as my current
understanding of camlp4 goes -- maybe if a lot more of the tricks of the
camlp4 Masters were documented, it would not look so hard anymore!