Comme length est une fonction pure, elle n’échouera jamais
Si une fonction n'échoue jamais c'est pas parce qu'elle est pure, c'est parce qu'elle est complète. Et ce n'est pas le cas de length. Par exemple length [0..] plante, parce que length n'est définie que pour les listes finies. Comme exemple plus parlant il y a la fonction head qui est pure et foire si son argument est une liste vide.
[^] # Re: C++ std::future
Posté par Zylabon . En réponse à la dépêche Sortie du livre « Parallel and Concurrent Programming in Haskell ». Évalué à 7.
juste une bricole :
Si une fonction n'échoue jamais c'est pas parce qu'elle est pure, c'est parce qu'elle est complète. Et ce n'est pas le cas de length. Par exemple
length [0..]plante, parce quelengthn'est définie que pour les listes finies. Comme exemple plus parlant il y a la fonctionheadqui est pure et foire si son argument est une liste vide.Please do not feed the trolls