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
[oliver: Re: [Caml-list] Strings as arrays or lists...]
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: james woodyatt <jhw@w...>
Subject: [Caml-list] extensional polymorphism
On Monday, Mar 3, 2003, at 12:10 US/Pacific, 
> That's why I said "Agitate for extensional polyorphism!". You really 
> want a
> way to overload similar notations.

If "extensional polymorphism" is what I want in order to be able to 
define an operator ( >>= ) that performs the monad bind operation on 
arbitrary monads, then yeah-- I'm all for it.

I recently discovered the power of monadic programming, but I am in no 
hurry to switch to Haskell in order to get a nice clean syntax for it.

If "extensional polymorphism" will get me a cleaner syntax for monadic 
programming without forcing me to give up all the things that make 
Ocaml the best language in the universe for imperative programming, 
then sign me up right here right now.

How would extensional polymorphism get me what I want?

j h woodyatt <>

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: