Re: [Caml-list] What is a future of ocaml?

[Dawid Toton <d0@wp.pl>]

Few days ago I spent some time googling for any info in the subject and 
found nothing (except assigned feature requests in the tracer).

Would be great to know what should be expected about OCaml in a long term.
I understand that there's no manpower to push the core compiler forward 
faster. But it would be a solace to know that there are at least some 
optimistic plans with a broader horizon.

(say, following is a collection of dreams :))

Is there any hope for a grand 'OCaml 4' release that would iron out the 
last ugly spots left in the language with some breaking changes?

E.g.:
Have immutable strings for everyday use and mutable byte arrays as buffers?

Full support for revised syntax? (Error messages, documentation...)

Make modules practically first-class by devising some standard way of 
automatic module to record conversion?

Make record fields acting as projection functions?

Could anybody explain why it's impossible to have type classes in OCaml?
We have few very special operators like (=), is there any chance to make 
them less magic and work out anything that would satisfy basic needs for 
overloading?

Dawid