Discussion:Récursivité structurelle/Admissibilité

message: Proposé par : Maëlan (discuter) 23 juillet 2016 à 22:22 (CEST)
replies: text:   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)
replies: text:  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)
replies: text:  , 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 ). 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)
replies: text:   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)
replies: text:  , (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 → int par exemple. — Maëlan (discuter) 24 juillet 2016 à 20:44 (CEST)
replies: text:   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)
replies: text:   ?? 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)

text:  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)
replies: text:  Oui il faut faire attention! Errare humanum est. --Pierre de Lyon (discuter) 29 juillet 2016 à 22:23 (CEST)
thread_title:  [[Récursivité structurelle]] 

message: ; 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)
replies: text:   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)
replies: text:  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)
replies: text:  , 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 ). 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)
replies: text:   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)
replies: text:  , (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 → int par exemple. — Maëlan (discuter) 24 juillet 2016 à 20:44 (CEST)
replies: text:   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)
replies: text:   ?? 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)

text:  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)
replies: text:  Oui il faut faire attention! Errare humanum est. --Pierre de Lyon (discuter) 29 juillet 2016 à 22:23 (CEST)
thread_title:  Discussions 

message: Entrez 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 ====
# 
==== Supprimer ====
#  D'accord avec le proposant. PolBr (discuter) 24 juillet 2016 à 13:06 (CEST)
thread_title:  Avis 

message: #  D'accord avec le proposant. PolBr (discuter) 24 juillet 2016 à 13:06 (CEST)
thread_title:  Supprimer 

message: * Fusionner avec Type récursif. Doublon. — TomT0m [bla] 24 juillet 2016 à 10:19 (CEST)
thread_title:  Autre