« Type récursif » : historique des versions

9 mars 2024

• actudiff 15:529 mars 2024 à 15:52‎ Florck discuter contributions‎ 23 497 octets +51‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

4 octobre 2021

• actudiff 18:334 octobre 2021 à 18:33‎ STyx discuter contributions‎ 23 446 octets +29‎ →‎Voir aussi : encore de l'autisme ! annuler

7 décembre 2020

• actudiff 14:527 décembre 2020 à 14:52‎ Maëlan discuter contributions‎ m 23 417 octets 0‎ →‎Données & co‐données : co-quille annuler

1 décembre 2020

• actudiff 23:081 décembre 2020 à 23:08‎ Lulumethyl discuter contributions‎ m 23 417 octets −47‎ →‎Données & co‐données : maj lien annuler Balise : Éditeur visuel

24 juillet 2020

• actudiff 12:5024 juillet 2020 à 12:50‎ Vers75 discuter contributions‎ m 23 464 octets +4‎ + Lien "Journal of Universal Computer Science" annuler

17 juillet 2020

• actudiff 11:3817 juillet 2020 à 11:38‎ WikiCleanerBot discuter contributions‎ m 23 460 octets +1‎ v2.03 - Correction syntaxique (Balise <source> mal fermée - Flèche en caractères de texte - Orthographe et typographie) / Homonymies : Il reste 1 lien à corriger - Récurrence annuler Balise : WPCleaner

20 avril 2020

• actudiff 17:0220 avril 2020 à 17:02‎ Xqbot discuter contributions‎ m 23 459 octets +274‎ Bot: remplacer la balise <source> obsolète et le paramètre "enclose" [https://lists.wikimedia.org/pipermail/wikitech-ambassadors/2020-April/002284.html]; changements cosmétiques annuler

30 mars 2017

• actudiff 20:1130 mars 2017 à 20:11‎ Dhatier discuter contributions‎ m 23 185 octets −10‎ →‎Théorie : orthographe annuler

28 novembre 2016

• actudiff 14:2928 novembre 2016 à 14:29‎ The Titou discuter contributions‎ 23 195 octets −1‎ →‎Données & co‐données : nnn --> nn annuler

6 août 2016

• actudiff 19:366 août 2016 à 19:36‎ Maëlan discuter contributions‎ m 23 196 octets 0‎ →‎Types de fonctions récursifs : clarification annuler

24 juillet 2016

• actudiff 15:4924 juillet 2016 à 15:49‎ Maëlan discuter contributions‎ 23 196 octets +24‎ →‎Références : portail informatique théorique annuler
• actudiff 15:4824 juillet 2016 à 15:48‎ Maëlan discuter contributions‎ m 23 172 octets +3‎ →‎Voir aussi : anglicisme annuler
• actudiff 15:4724 juillet 2016 à 15:47‎ Maëlan discuter contributions‎ 23 169 octets +7 414‎ co‐choses, description plus exacte du type récursif en termes de point fixe (non‐unicité) annuler

22 juillet 2016

• actudiff 23:3422 juillet 2016 à 23:34‎ Maëlan discuter contributions‎ 15 755 octets +754‎ forme canonique (traduction depuis l’article anglophone) annuler
• actudiff 21:5022 juillet 2016 à 21:50‎ Maëlan discuter contributions‎ 15 001 octets +155‎ meilleure définition introductive annuler
• actudiff 21:1722 juillet 2016 à 21:17‎ Maëlan discuter contributions‎ m 14 846 octets −23‎ anglicisme annuler
• actudiff 20:0722 juillet 2016 à 20:07‎ Maëlan discuter contributions‎ 14 869 octets +966‎ note sur la récursivité contravariante annuler
• actudiff 17:5522 juillet 2016 à 17:55‎ Maëlan discuter contributions‎ m 13 903 octets +116‎ →‎Références : {{langue|en|…}} annuler

21 juillet 2016

• actudiff 11:0921 juillet 2016 à 11:09‎ Maëlan discuter contributions‎ 13 787 octets +1 632‎ combinateur de point fixe annuler

20 juillet 2016

• actudiff 21:3120 juillet 2016 à 21:31‎ Maëlan discuter contributions‎ 12 155 octets +609‎ référence pour OCaml annuler
• actudiff 17:3420 juillet 2016 à 17:34‎ Maëlan discuter contributions‎ m 11 546 octets +65‎ mise en note de pied‐de‐page annuler
• actudiff 17:2920 juillet 2016 à 17:29‎ Maëlan discuter contributions‎ 11 481 octets +908‎ références pour le langage C annuler

19 juillet 2016

• actudiff 16:3719 juillet 2016 à 16:37‎ Maëlan discuter contributions‎ m 10 573 octets −99‎ →‎Types isorécursifs : reformulation, suppression de liens (pas assez pertinent ou déjà donnés) et de la mention de Miranda (qui n’a pas d’article dédié et n’apporte rien à la discussion puisqu’ancêtre de Haskell déjà mentionné) annuler
• actudiff 16:2019 juillet 2016 à 16:20‎ Maëlan discuter contributions‎ 10 672 octets +202‎ →‎Exemples : sections annuler
• actudiff 16:1219 juillet 2016 à 16:12‎ Maëlan discuter contributions‎ 10 470 octets +598‎ →‎Types isorécursifs : exemple en C annuler
• actudiff 15:4819 juillet 2016 à 15:48‎ Maëlan discuter contributions‎ m 9 872 octets +126‎ →‎Théorie : \mathbf pour le type unité annuler
• actudiff 15:4519 juillet 2016 à 15:45‎ Maëlan discuter contributions‎ 9 746 octets +294‎ →‎Théorie : adaptation d’un exemple théorique pour correspondre à l’exemple pratique en langage C annuler
• actudiff 15:2919 juillet 2016 à 15:29‎ Maëlan discuter contributions‎ 9 452 octets +1 378‎ →‎Exemples : exemple de fonction qui se renvoie elle‐même annuler
• actudiff 13:4819 juillet 2016 à 13:48‎ Maëlan discuter contributions‎ 8 074 octets +1 557‎ →‎Théorie : exemple des listes annuler
• actudiff 11:3719 juillet 2016 à 11:37‎ Maëlan discuter contributions‎ 6 517 octets +328‎ →‎Théorie : équation informelle annuler
• actudiff 11:2219 juillet 2016 à 11:22‎ Maëlan discuter contributions‎ 6 189 octets +62‎ →‎Théorie : explication de la notation M[N/x] annuler

18 juillet 2016

• actudiff 19:2118 juillet 2016 à 19:21‎ Maëlan discuter contributions‎ 6 127 octets +941‎ →‎Théorie : explication sur la notation μα.T (demandée en discussion) annuler
• actudiff 17:5118 juillet 2016 à 17:51‎ Maëlan discuter contributions‎ m 5 186 octets −16‎ →‎Théorie annuler
• actudiff 17:4618 juillet 2016 à 17:46‎ Maëlan discuter contributions‎ 5 202 octets +118‎ déplacement de l’exemple Nat dans →‎Exemples annuler
• actudiff 17:3818 juillet 2016 à 17:38‎ Maëlan discuter contributions‎ 5 084 octets +578‎ réorganisation plus logique (suivant en partie l’article anglophone), reformulations, explications sur les alias de types annuler
• actudiff 16:5618 juillet 2016 à 16:56‎ Maëlan discuter contributions‎ m 4 506 octets +149‎ →‎Théorie : français (traduction approximative de l’anglais… et parfois fausse), forme annuler
• actudiff 16:1318 juillet 2016 à 16:13‎ Maëlan discuter contributions‎ m 4 357 octets +285‎ →‎Exemple : français, liens annuler

20 mars 2015

• actudiff 20:1120 mars 2015 à 20:11‎ Ltrlg discuter contributions‎ m 4 072 octets −7‎ →‎Types équirécursifs : typographie & mef code annuler Balise : Éditeur visuel
• actudiff 13:4120 mars 2015 à 13:41‎ Chat des neiges discuter contributions‎ 4 079 octets 0‎ seuls les contrats stipulent annuler Balise : Éditeur visuel

15 juin 2014

• actudiff 17:2115 juin 2014 à 17:21‎ JackPotte discuter contributions‎ 4 079 octets +18‎ Aucun résumé des modifications annuler

14 mars 2013

• actudiff 18:0614 mars 2013 à 18:06‎ Addbot discuter contributions‎ m 4 061 octets −96‎ Retrait de 4 liens interlangues, désormais fournis par Wikidata sur la page d:q3098441 annuler

23 octobre 2012

• actudiff 11:1423 octobre 2012 à 11:14‎ HerculeBot discuter contributions‎ m 4 157 octets +4‎ Résolution de redirection vers palette; changement de type cosmétique annuler

19 mai 2012

• actudiff 13:3719 mai 2012 à 13:37‎ GLec discuter contributions‎ 4 153 octets −1‎ →‎Voir aussi : Wikif. annuler

7 mars 2011

• actudiff 19:247 mars 2011 à 19:24‎ Cynddl discuter contributions‎ m 4 154 octets +136‎ Aucun résumé des modifications annuler

21 mai 2009

• actudiff 18:0921 mai 2009 à 18:09‎ Romainhk discuter contributions‎ m 4 018 octets −84‎ l'extension haskell ne fonctionne pas ! annuler
• actudiff 18:0621 mai 2009 à 18:06‎ Romainhk discuter contributions‎ 4 102 octets +138‎ {{Palette programmation informatique}} annuler

13 mai 2009

• actudiff 08:5913 mai 2009 à 08:59‎ DumZiBoT discuter contributions‎ m 3 964 octets +5‎ robot Modifie: en:Recursive data type annuler

18 novembre 2008

• actudiff 11:4718 novembre 2008 à 11:47‎ 193.54.225.139 discuter‎ 3 959 octets −38‎ →‎Types isorécursifs annuler

2 septembre 2008

• actudiff 12:372 septembre 2008 à 12:37‎ Phe-bot discuter contributions‎ m 3 997 octets 0‎ Liens Externes --> Liens externes etc. annuler

8 mars 2008

• actudiff 05:528 mars 2008 à 05:52‎ 88.198.45.143 discuter‎ 3 997 octets +20‎ Miranda annuler