Discussion:Récursivité structurelle/Admissibilité
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
L'admissibilité de la page « Récursivité structurelle » est débattue.
Consignes quant à cette procédure :
- Qui peut participer ?
Le créateur de la page et les contributeurs ayant un compte ayant fait au moins cinquante contributions aux articles (espace principal) de fr.wikipedia.org au lancement de cette procédure peuvent exprimer leur avis.
Les avis des personnes n’ayant pas de compte ou un compte ayant moins de 50 contributions sont déplacés dans « Avis non décomptés » et ne sont en principe pas pris en considération. Lors de la clôture, les avis sans argumentaire sont également déplacés et ne sont pas pris en compte.
- Durée de la consultation
- Si un consensus clair s'est dégagé le 30 juillet 2016 à 22:22 (CEST), après l'expiration de sept jours pleins de débat (168 heures), un contributeur ayant réalisé au moins 500 modifications et ayant 3 mois d'ancienneté (utilisateur autopatrolled) qui n'aura pas pris part au débat peut clore la proposition et indiquer si la page est conservée ou supprimée (la suppression devant être demandée à un administrateur). Dans le cas contraire, la discussion se poursuit et peut être close à partir du 6 août 2016 à 22:22 (CEST).
Important
- Copiez le lien *{{L|Récursivité structurelle}} et collez-le dans la section du jour de la page principale « Débat d'admissibilité » . Attention, un décalage d'un jour est possible en fonction de la mise en page.
- Avertissez le créateur, les principaux contributeurs de l’article et, si possible, les projets associés en apposant le message {{subst:Avertissement débat d'admissibilité|Récursivité structurelle}} sur leur page de discussion.
Proposé par : Maëlan (discuter) 23 juillet 2016 à 22:22 (CEST)
D’après le titre « récursivité structurelle », je m’attendais à trouver une description de la récurrence structurelle ((en) structural induction) sur les données présentant une structure récursive (types algébriques récursifs), c’est‐à‐dire la récurrence (récursivité bien fondée) associée à l’ordre bien fondé de sous‐structure.
Or, cet aspect est réduit aux généralités introductives, qui devraient déjà se trouver au moins dans « type algébrique » (je prévois de recycler cette page). Pas même une remarque sur la terminaison. Le corps de l’article est tout entier consacré à une fastidieuse revue en long, en large et en travers des différentes combinaisons possibles de cas de base et de cas récursifs pour programmer un algorithme sur une liste. Ça ne présente aucun intérêt.
Je propose la suppression de l’article car il est selon moi inutile en l’état, et que je ne suis pas certain qu’il y ait matière à faire une page car le sujet — y compris la récurrence structurelle — devrait déjà être couvert par « type algébrique » (du moins quand je me serai occupé de celle‐là), « algorithme récursif » et « raisonnement par récurrence#Récurrence bien fondée ». Le fait qu’il n’ait d’équivalent dans aucune autre langue est un indice (un indice seulement) supplémentaire.
Il n’y a de toute façon rien à garder de la page actuelle, et même si l’on rédige finalement un article, le titre en serait sans doute « récurrence structurelle » et non « récursivité structurelle ».
Conclusion
Transformation en redirection traitée par — Kvardek du (laisser un message) le 7 août 2016 à 00:06 (CEST)Raison : Consensus pour une redirection
Discussions
modifier- Répercussions
- L'article se trouve appelé en article détaillé dans Récursivité avec Algorithme récursif et Fonction récursive et dans la section Liste (informatique)#Liste chaînée sous le texte définition récursive, mais pas dans l'article détaillé Liste chaînée, plus technique. Il est aussi appelé, et je doute de la pertinence, dans le RI de Arbre enraciné et de type abstrait sous le texte structures récursives ; dans Univers de Grothendieck sous le texte récursivement. Et c'est tout. Tous ces articles concernent l'informatique, et le terme « récursivité ». Je crois que l'article Fonction récursive donne plus d'éclaircissements dans ce domaine. PolBr (discuter) 24 juillet 2016 à 09:50 (CEST)
- @PolBr Non, il ne s'agit pas vraiment de fonction récursives ici, mais de type récursifs. Certes les fonctions récursives manipulent naturellement les types récursifs, mais à mon avis c'est utile de bien faire la distinction. D'ailleurs tout tes exemples de citations dans d'autres articles évoquent bien la structure, et pas les fonctions qui les manipulent. À mon avis c'est plus source de confusion de rediriger sans explications vers une fonction (le genre de fusion que j'appelle "fusion malheureuses" perso en général, quand on veut à tout prix minimiser le nombre d'article). — TomT0m [bla] 24 juillet 2016 à 10:28 (CEST)
- Je me rends bien compte du problème ; je me suis laissé aller à une proposition mal informée. Mon propos au départ, auquel j'aurais dû me tenir, était d'indiquer que les liens vers l'article contiennent une information sur le sujet qu'il devrait traiter, de l'avis des contributeurs qui les ont posés. PolBr (discuter) 24 juillet 2016 à 13:06 (CEST)
- @PolBr, [[fonction récursive]] traite davantage de l’aspect calculabilité, [[algorithme récursif]] de l’aspect pratique. Je pense que ces deux articles se complètent bien pour couvrir le thème de la récursivité en informatique. La récurrence structurelle est un cas particulier de récursivité associé aux types algébriques récursifs (et non aux types récursifs tout court, ping @TomT0m). Si elle fait l’objet d’un traitement plus spécifique, ce peut très bien être dans ce dernier article (on peut voir ça comme une fusion si on veut, mais de toute façon il y a peu d’information à conserver). — Maëlan (discuter) 24 juillet 2016 à 16:19 (CEST)
- @Maëlan L'article dans son état actuel ne fait pas référence aux types algébriques spécifiquement, ou j'ai raté un truc ? — TomT0m [bla] 24 juillet 2016 à 16:29 (CEST)
- @TomT0m, (je suppose que tu parles bien de [[récursivité structurelle]]) il ne mentionne pas le mot « algébrique » explicitement, mais c’est ce qu’il décrit : « Les structures récursives sont des objets mathématiques ou informatiques (on dit aussi des structures de données) qui ont la particularité d'être définis à partir de leurs constituants qui sont eux-mêmes des structures de même type. » Tous les exemples donnés sont des types algébriques. Et pour cause, ce sont les types algébriques (par définition) qui décrivent une « structure », sur laquelle faire une récurrence structurelle. Ça n’a pas de sens pour le type récursif
t = t → intpar exemple. — Maëlan (discuter) 24 juillet 2016 à 20:44 (CEST)- @Maëlan Euh, c'est à dire que ton exemple est repris dans type récursif à la section type algébrique. Ça semble donc bien être un type algébrique. — TomT0m [bla] 24 juillet 2016 à 20:59 (CEST)
- @TomT0m ?? Au contraire, il est dans la section en dessous, sous‐entendu ce n’en est pas un (c’est moua qui l’a fait) — Maëlan (discuter) 24 juillet 2016 à 21:21 (CEST)
- @Maëlan Euh, c'est à dire que ton exemple est repris dans type récursif à la section type algébrique. Ça semble donc bien être un type algébrique. — TomT0m [bla] 24 juillet 2016 à 20:59 (CEST)
- @TomT0m, (je suppose que tu parles bien de [[récursivité structurelle]]) il ne mentionne pas le mot « algébrique » explicitement, mais c’est ce qu’il décrit : « Les structures récursives sont des objets mathématiques ou informatiques (on dit aussi des structures de données) qui ont la particularité d'être définis à partir de leurs constituants qui sont eux-mêmes des structures de même type. » Tous les exemples donnés sont des types algébriques. Et pour cause, ce sont les types algébriques (par définition) qui décrivent une « structure », sur laquelle faire une récurrence structurelle. Ça n’a pas de sens pour le type récursif
- @Maëlan L'article dans son état actuel ne fait pas référence aux types algébriques spécifiquement, ou j'ai raté un truc ? — TomT0m [bla] 24 juillet 2016 à 16:29 (CEST)
- @PolBr, [[fonction récursive]] traite davantage de l’aspect calculabilité, [[algorithme récursif]] de l’aspect pratique. Je pense que ces deux articles se complètent bien pour couvrir le thème de la récursivité en informatique. La récurrence structurelle est un cas particulier de récursivité associé aux types algébriques récursifs (et non aux types récursifs tout court, ping @TomT0m). Si elle fait l’objet d’un traitement plus spécifique, ce peut très bien être dans ce dernier article (on peut voir ça comme une fusion si on veut, mais de toute façon il y a peu d’information à conserver). — Maëlan (discuter) 24 juillet 2016 à 16:19 (CEST)
- Je me rends bien compte du problème ; je me suis laissé aller à une proposition mal informée. Mon propos au départ, auquel j'aurais dû me tenir, était d'indiquer que les liens vers l'article contiennent une information sur le sujet qu'il devrait traiter, de l'avis des contributeurs qui les ont posés. PolBr (discuter) 24 juillet 2016 à 13:06 (CEST)
- @PolBr Non, il ne s'agit pas vraiment de fonction récursives ici, mais de type récursifs. Certes les fonctions récursives manipulent naturellement les types récursifs, mais à mon avis c'est utile de bien faire la distinction. D'ailleurs tout tes exemples de citations dans d'autres articles évoquent bien la structure, et pas les fonctions qui les manipulent. À mon avis c'est plus source de confusion de rediriger sans explications vers une fonction (le genre de fusion que j'appelle "fusion malheureuses" perso en général, quand on veut à tout prix minimiser le nombre d'article). — TomT0m [bla] 24 juillet 2016 à 10:28 (CEST)
- Titre
- D'après les conventions WP, le titre est repris dans le résumé introductif. Récursivité structurelle n'apparaît que dans l'introduction, tandis que le RI porte structures récursives en grasse depuis l'intervention de PIerre.Lescanne (d · c · b) en décembre 2012. PolBr (discuter) 24 juillet 2016 à 13:23 (CEST)
- C'était effectivement bizarre. @Pierre faut faire un peu attention quand même, c'est assez maladroit de changer de sujet de l'article comme ça en un clin d’œil. Ça a carrément tendance à rendre tout confus ... — TomT0m [bla] 24 juillet 2016 à 14:33 (CEST)
- Oui il faut faire attention! Errare humanum est. --Pierre de Lyon (discuter) 29 juillet 2016 à 22:23 (CEST)
- C'était effectivement bizarre. @Pierre faut faire un peu attention quand même, c'est assez maladroit de changer de sujet de l'article comme ça en un clin d’œil. Ça a carrément tendance à rendre tout confus ... — TomT0m [bla] 24 juillet 2016 à 14:33 (CEST)
Avis
modifierEntrez ci-dessous votre avis sur l’admissibilité du thème à l’aune de l’existence de sources extérieures et sérieuses ou des critères d'admissibilité des articles. Il est recommandé d'accentuer l'idée principale en gras (conserver, fusionner, déplacer, supprimer, etc.) pour la rendre plus visible. Vous pouvez éventuellement utiliser un modèle. N’oubliez pas qu’il est obligatoire d’argumenter vos avis et de les signer en entrant quatre tildes (~~~~).
Conserver
modifierSupprimer
modifier
Supprimer D'accord avec le proposant. PolBr (discuter) 24 juillet 2016 à 13:06 (CEST)- Supprimer L'article existe déjà en mieux sous le nom Type algébrique de données. --Pierre de Lyon (discuter) 29 juillet 2016 à 22:25 (CEST)
- Supprimer Effectivement un doublon de Type algébrique de données. — ℳcLush =^.^= 5 août 2016 à 18:20 (CEST)
Avis non décomptés
modifierException étant faite pour le créateur de l’article, les avis d’utilisateurs inscrits ayant moins de cinquante contributions ou non identifiables (IP) ne sont en principe pas pris en compte. Si vous êtes dans ce cas, vous pouvez toutefois participer aux discussions ou vous exprimer ci-dessous pour information :
Autre
modifier- Fusionner avec Type récursif. Doublon. — TomT0m [bla] 24 juillet 2016 à 10:19 (CEST)