[gull] Types

[JM Nunes]

 >...
> Il existe un langage encore plus fortement type qu'Ocaml.... Je vous laisse 
> deviner ou je vous le donne tout de suite ? Il s'agit d'un langage qui a 
> enormement fait parle de lui lors du passage a l'an 2000 et dont les racines 
> remontent a la premiere moitie des annees 60. Il est evident que l'on ne va 
> trouver aucun volontaire pour programmer dans ce langage hyper-type. 
> D'ailleurs, je n'ai jamais vu de compilateur (ni d'interpreteur !) pour ce 
> langage sous Linux  :-) 

La piste sur l'an 2000 me fait penser à cobol. Bingo?