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
[Caml-list] [Q]: Co(ntra)variance and subtyping?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-11-19 (20:49)
From: james woodyatt <jhwoodyatt@m...>
Subject: Re: [Caml-list] Re: variance, subtyping and monads... oh, my!
On Monday, November 19, 2001, at 01:58 , Markus Mottl wrote:
> On Mon, 19 Nov 2001, james woodyatt wrote:
>> If by using monads, on the other hand, I can do something easily that
>> would otherwise be very awkward, then I'm sold.  So far, I have only
>> found examples of how to do things I can already do better with the
>> imperative and object-oriented styles in OCaml.
> Objects are useful abstractions for states, whereas monads are
> abstractions of computations (i.e. state transformations, like e.g.
> rewriting steps as above). These two things solve different problems so
> it wouldn't make much sense saying that one is "better" than the other.

That's probably what I needed to hear.  Thanks very much for the advice.

I'll take a look at that FFTW library for more clues about using the 
monadic style.  I hope to discover that I can use monads to address a 
particularly thorny class of problems that seems to arise again and 
again in my work, and which seems not to be well addressed by objects 
alone: cross-cutting concerns in the implementation of network 
application protocols.

j h woodyatt <>
"...the antidote to misinformation is more information, not less."
                                                      --vinton cerf

Bug reports:  FAQ:
To unsubscribe, mail  Archives: