Lambda the Ultimate

inactiveTopic Using, Understanding, and Unraveling The OCaml Language
started 6/30/2003; 3:00:37 AM - last post 6/30/2003; 4:08:55 AM

Manuel Simoni - Using, Understanding, and Unraveling The OCaml Language blueArrow
6/30/2003; 3:00:37 AM (reads: 1413, responses: 2)

Using, Understanding, and Unraveling The OCaml Language

These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers ---little prerequiresite is actually assumed.

They provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core language to end up with the OCaml language ---one of the most popular incarnation of ML--- including its object-oriented layer.

A very approachable description of the OCaml language by one of its creators.

Posted to object-functional by Manuel Simoni on 6/30/03; 3:02:13 AM

Ehud Lamm - Re: Using, Understanding, and Unraveling The OCaml Language blueArrow
6/30/2003; 3:46:44 AM (reads: 609, responses: 1)

I am not sure on the answer exptected to this question:

Check the equality (X + Y) (X -Y) = (X2 - Y2) by treating polynomials with two variables as polynomials with one variable X and where the coefficients are the ring of the polynomials with one variable Y.

Do they want circular references?

Ehud Lamm - Re: Using, Understanding, and Unraveling The OCaml Language blueArrow
6/30/2003; 4:08:55 AM (reads: 645, responses: 0)

Stupid question. Sorry...