Pourquoi Haskell?…
… voila une bonne question!
Mark C.Chu-Caroll s’efforce d’y répondre de manière pragmatique.
J’aime particulièrement le passage où il explique que, oui, on peut faire des preuves formelles sur des programmes en Haskell, mais en pratique, on ne peut pas dire que ce soit un plus, puisqu’aujourd’hui on ne fait des preuves sur les programmes que dans le milieu universitaire. Ce n’est donc pas cela qui pourrait faire d’Haskell une solution pour l’industrie à présent.
Bien sûr, cela ne veut pas dire que ça ne servira pas un jour 