Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: ergonomie du compilateur
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Emmanuel Engel <Emmanuel.Engel@l...>
Subject: Re: ergonomie du compilateur
Quercia wrote:

> Bonne idee ! En attendant, dans ce genre de situation, je place en
> commentaire (ou je rajoute un failwith "") tous les cas sauf un pour
> examiner le type de chaque cas.
> Primaire mais efficace ...
> 


Cela me semble bien complique. Je suppose que vous avez une idee
du type attendu. Il suffit alors d'indiquer au compilateur le type
attendu et, il va vous montrer ou il infere le mauvais type. Le seul
repproche que l'on puisse faire a cette technique est que la syntaxe
du langage oblige parfois a faire quelques amenagements.

Exemple:

sun12:~/tmp> ocaml
        Objective Caml version 1.03

# let rec f x =       
    if x = 0 then f true else f (x-1);;  
                                 ^^^^        
This expression has type int but is here used with type bool
# let rec (f:int->int) x =
    if x =0 then f true else f (x-1);;
Syntax error
#  let rec (f:int->int) = fun x->
      if x =0 then f true else f (x-1);;
                     ^^^^
This expression has type bool but is here used with type int
# 



-- 

- Emmanuel Engel