(no subject)

[climb]

Dear caml-list
 
 Could you explain this senence for me in the Ocaml mannul in Using coerecions?
" When the domain of a coercion is left implicit and its co-domain is an abbreviation of a known class type, then the class type rather than the object type, is used to derive the coercion functions".

i am not quite clear the defintion of  codomain ,  class type and object type  respectively?


Best regards
            
              Yours
                         climb
                         onlyclimb@163.com
                         2002-10-18

 




-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] Re: how to start

[Florian Hars]

climb wrote:
>  Could you explain this senence for me in the Ocaml mannul in Using coerecions?

Well, the correct answer to your last questions is probably:

  Don't try to learn Ocaml from the reference manual.

It will tell you everything about the language, but not necessaryly in the
order you need to know it, and it doesn't tell you which parts of the language
are fundamental (core language, modules), optional (labels, objects) or arcane
(universal quantification, when to omit the first type in a coercion). Try the
tutorial by Jason Hickey first.

Note to INRIA: Describing the manual with "The Objective Caml manual begins
with short tutorials on the core language, objects and classes, and modules."
on the tutorials page is slightly misleading, those tutorials don't really add
up to an introduction to ocaml.

Yours, Florian.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners