Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] how to start
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-10-16 (18:46)
From: Chris Hecker <checker@d...>
Subject: Re: [Caml-list] how to start

>  i am a new commer of Caml language. and start with online mannul
>  i am confused at this sentence in Chapter 1
># type idref={ mutable id : 'a. 'a -> 'a};;
>what does "." mean?
>why i can not write
># type intidref= { mutable id : int. int->int};;

This is a new feature in the language, and you really don't need to learn 
it quite yet if you're just starting out.  Basically, before the 'a. syntax 
was introduced, there was no way to store some kinds of functions 
(polymorphic ones) in datastructures.  You don't need int. int->int because 
that's not a polymorphic function, so it's just int -> int.

I'd just ignore it for now.  :)  You should also check out the O'Reilly 
book referenced on


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: