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
Smells like duck-typing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-10-18 (15:07)
From: Robert Fischer <robert@f...>
Subject: Re: [Caml-list] Smells like duck-typing

> You don't invent them, they exist. I can't agree to dismiss this 
> suggestion without further thought. It might end up being 
> non-sensical, maybe not. It merely suggests a way, to derive new 
> values, whose type happen to be a supertype of the original one. Why 
> not ? It may be considered to the Haskell-like "derive" feature, and 
> such. It is just a way to build new values out of known one.
Formally, can you explain what you're looking for here, and how it's not 
congruent with inheritance?

~~ Robert.