]> On Tue, Oct 21, 2003 at 04:55:31PM +0200, Michal Moskal wrote: > This is however religious issue. It wasn't meant to be (honest!). I just want to write code in whatever paradigm is best for the moment, be that OO, functional or imperative. My point is actually just that if you're writing user interface code, then what you're doing is essentially going to be imperative most of the time. > > 2. abstract data type syntactic sugar: > > obj#call [ or: obj->call ] > > > > is exactly equivalent to: > > > > M.call obj > > let f a b c = a->add b c > > What type does f have? Several correspondents asked the same question, and I understand that you can't infer the type in this case. So the answer would be that it's an error. This makes sense because the -> syntax isn't meant to be a substitute for object oriented programming / late binding :-) Rich. -- Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj Merjis Ltd. http://www.merjis.com/ - all your business data are belong to you. NET::FTPSERVER is a full-featured, secure, configurable, database-backed FTP server written in Perl: http://www.annexia.org/freeware/netftpserver/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners