• [^] # Re: Le cerveau n'est pas logique

    Posté par . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 2.

    Petit ajout que j'ai oublier de préciser avec le type contradictoire.

    type contradiction = { faux : 'a. 'a; }
let i = {faux = Obj.magic 1};;
val i : contradiction = {faux = <poly>}
(* là c'est bon *)
1 + i.faux;;
- : int = 2
(* là ça segfault !! *)
1.5 +. i.faux;;

    Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.