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
"OCaml gives you only monomorphic methods in classes."
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] "OCaml gives you only monomorphic methods in classes."
On Saturday 29 December 2007 06:30:48 brogoff wrote:
> What's the date that quote was made?

Yesterday, by the professor heading the group at Lausanne who are developing 
one of the most widely touted modern statically-typed functional programming 
languages (Scala).

> It was probably made before polymorphic methods were added to OCaml from
> OLabl. 

Looks like polymorphic methods have been in OCaml for 5 years now:

This is really ossifying my impression that the Scala developers (let alone 
the community) are not aware of the current state-of-the-art in statically 
typed functional programming languages despite the fact that their sole 
purpose is to improve upon them.

Unfortunately, this is rubbing off on the Scala community who keep publishing 
articles making silly claims like "Scala is the first impure functional 
programming language".

I wouldn't mind this so much whilst learning the language if it weren't for 
the fact that it is sorely lacking in so many respects.

I'm currently torn between devoting time to learning Scala or to a new system 
based upon LLVM and targetted at technical users (e.g. high performance 
numerics), commerce (e.g. DLLs) and visualization (e.g. Smoke and OpenGL 2). 
Things like this keep pushing me towards LLVM. Well, this and the fact that 
Gordon's bindings make LLVM so much damn fun. ;-)

Happy New Year,
Dr Jon D Harrop, Flying Frog Consultancy Ltd.