[gull] Types

[Daniel Pfenniger]

JM Nunes wrote:
>>...
> 
>> 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?
> 

Pour la dernière assertion Google -> "linux cobol" mène à

http://www.opencobol.org/

Ha!