L'existence de fonction non calculable est un "problème" très fondamental, on ne peut pas y faire grand chose. Les fonctions partielles en revanche montrent juste une déficience du système de type. Pour head nous avons head :: forall a. [a] -> a alors que son vrai type est head :: forall a. {[a]} \ {[]} -> a en pseudo code.
[^] # Re: C++ std::future
Posté par Zylabon . En réponse à la dépêche Sortie du livre « Parallel and Concurrent Programming in Haskell ». Évalué à 4.
L'existence de fonction non calculable est un "problème" très fondamental, on ne peut pas y faire grand chose. Les fonctions partielles en revanche montrent juste une déficience du système de type. Pour
headnous avonshead :: forall a. [a] -> aalors que son vrai type esthead :: forall a. {[a]} \ {[]} -> aen pseudo code.Please do not feed the trolls