English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2007-05-23 (15:11)
From: Brian Hurt <bhurt@j...>
Subject: Re: [Caml-list] Teaching bottomline, part 3: what should improve.
Florian Hars wrote:

>Brian Hurt schrieb:
>>Hundreds of lines?  I've seen ten's of lines, but never hundreds.
>Not only hundreds of lines, but usually in a completely different file, too.
>This expression has type exactly_what_it_should be, but is here used with
>type compeletly_off_the_mark.
>How I hate it.

.mli files.  Use them.  Trust me.

Simply because code compiles doesn't necessarily mean it's right.  Often 
times I write the .mli file first, as it's a convient level to think 
about what the interface to a module should be.  But at the very least 
you should use ocamlc -i to generate the .mli file when you are more or 
less done with the module, and then hand verify it as correct.  And then 
keep it around, to make sure the module remains correct in the face of 
future changes.  Doing this will keep type errors in the same file, at