Discussion:Curryfication
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par les projets Informatique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Moyenne |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
| À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Notation
modifierJe ne comprends pas la notation curry (add (x,y)) → add x → lambda (y → x + y). --Pierre de Lyon (d) 30 mars 2010 à 09:53 (CEST)
- Je pense que la notation n'est pas claire: les flèches qui ont plusieurs sens. Le premier est une égalité, ou plutôt un "avec la curryfication on obtient", le second une égalité aussi, mais plutôt un "ou encore noté en lambda calcul", le dernier un sens de fonction mathématique (comme f : x |-> 2 * x). Ici, "add(x,y)" désigne une fonction à deux paramètres, et non pas le résultat de la fonction. Bref, notation à revoir totalement :) Que penses-tu de
- somme x y |-> x + y
- curry(somme) x |-> add_x, avec add_x y |-> x + y ? Léna (d) 30 mars 2010 à 10:21 (CEST)
Lien avec les fonctions pures
modifierIl est écrit que "La curryfication permet de créer des fonctions pures". Je ne vois pas cette implication (ou je ne la comprends pas) car, selon la définition des fonctions pures, elles doivent être référentiellement transparentes. Or rien ne dit dans la définition des fonctions pures que la fonction doit posséder uniquement un et un seul argument, ce qui est l'un des buts de la curryfication.
--Pierre-André M. (discuter) 23 février 2014 à 22:05 (CET)
L'implication est effectivement fausse d'après la définition de fonction pure (en lien sur le texte)
C++, pourquoi parler de auto, ca perturbe
modifierLe sujet est sur la currification. Les 2 paragraphes sur le type auto viennent juste perturber le vrai sujet.
Je propose
- leur suppression
- la réécriture de l'exemple avec int au lieu de auto, comme ça, plus de auto, et oust le probleme d'incompréhension.
C'est comme si je parlais de Python 2 dans l'exemple python... on s'en fiche. — Le message qui précède, non signé, a été déposé par l'IP 85.168.113.56 (discuter), le 24 décembre 2020 à 17:42 (CET)