On 4 avr, 00:09, Jon Harrop <[EMAIL PROTECTED]> wrote:
> Sure. F# simply cures a practically important class of bugs that OCaml leaves > wide open. Well not in that case it seems. Frankly both approaches seem to have problems. Best I think would be compile time warnings for caml when abstract types are being compared with structural equality (a wish you could have put in the bt by the way). > That is an awful policy. Not it is not, there's just a balancing act to make, but most go in a single direction which is to have the least explicitness to get conciseness, a curse since it makes the coginitive load heavier to understand the code. > Look at the current thread on the caml-list about how > unusable the Int64 type is. Non issue. Very rarely is this type needed and when you need it you usually don't use regular ints in the same module, thus redefine standard operators (4 lines). Daniel --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "ocaml-developer" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/ocaml-developer?hl=en For other OCaml forums, see http://caml.inria.fr/resources/forums.en.html -~----------~----~----~----~------~----~------~--~---
