Browse thread
"OCaml gives you only monomorphic methods in classes."
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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: http://caml.inria.fr/pub/ml-archives/caml-list/2002/07/0efd71474f4d41a39e4250aeddcf08e5.en.html 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. http://www.ffconsultancy.com/products/?e