]> 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