Version française
Home     About     Download     Resources     Contact us    
Browse thread
Teaching bottomline, part 3: what should improve.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: tab@s...
Subject: Re: [Caml-list] Teaching bottomline, part 3: what should improve.
On Thu, May 24, 2007 at 07:51:02PM +1000, skaller wrote:
> Can't you can fix that by:
> 
> module xx : sig .. end = struct
> ..
> end include xx
> 
> That way all the symbols you want are in the .ml
> file.

Yes that would kind of work, however that generate an ugly signature
with ocamlc -i (I know i'm beeing difficult here ;))

> However this isn't really the same as
> 
> private val f: int -> int
> let f x = ..
> 
> which can be done by:
> 
> let f (x:int):int = ..
> 
> the problem being it is invasive (you have to
> edit the function decl instead of writing a 
> separate type decl).

I like the separation personally. Haskell has it, and I found it quite neat.

Cheers,
-- 
Vincent Hanquez