Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement de réponses. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un seul problème en modifiant ce post . Fermé il y a 2 ans . Améliorez cette question Un combinateur Y est un...
Le code de la fonction myAny dans cette question utilise foldr. Il arrête de traiter une liste infinie lorsque le prédicat est satisfait. Je l'ai réécrit en utilisant foldl: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item || acc (Notez...
Qu'est-ce qu'un combinateur ?? Est-ce "une fonction ou une définition sans variables libres" (comme défini sur SO)? Ou que diriez-vous de ceci: selon John Hughes dans son article bien connu sur les flèches, "un combinateur est une fonction qui construit des fragments de programme à partir de...
J'étais un peu confus par la documentation de fix(même si je pense comprendre ce qu'il est censé faire maintenant), alors j'ai regardé le code source. Cela m'a laissé plus confus: fix :: (a -> a) -> a fix f = let x = f x in x Comment cela renvoie-t-il exactement un point fixe? J'ai décidé de...