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-17 (14:47)
From: Dario Teixeira <darioteixeira@y...>
Subject: Re: [Caml-list] Smells like duck-typing
> I think your solution is to fully use the "Objective" part of OCaml, 
> that is, using subtyping (technically it's polymorphic rows typing) :


Yes, you're right.  Doing away with the inheritance -- while having the
disadvantage of forcing the redeclaration of all common fields -- does
allow me to throw away the ugliness of the option types.  It is in the
end the lesser of two evils...


Want ideas for reducing your carbon footprint? Visit Yahoo! For Good