Discussion :

[SpiceGuid]

Je poste ici parce que les personnes intéressées n'ont pas toutes accès au forum privé du dictionnaire dvp.

Pour la rubrique théorie du dico dvp j'ai quelques idées de sous-rubriques, en vrac:

1. Théorie de la calculabilité
2. Théorie du lambda-calcul
3. Théorie des types
4. Théorie des catégories
5. Théorie de la démonstration

Sans oublier les algos/TADs, qui devraient faire l'objet de deux autres sous-rubriques:

1. Algorithmique qui couvrirait les algos/TADs inductifs
2. Théorie des graphes qui couvrirait les définitions et algos pour les structures non-inductives

Exemple d'usage des sous-rubriques:

• la complexité est une notion de calculabilité
• la forme normale est une notion du lambda-calcul
• la curryfication est une notion de théorie des types (elle suppose l'existence d'un type α × β)
• le foncteur est une notion de la théorie des catégories
• l'induction est une notion de théorie de la démonstration

Il s'agirait d'introduire (rapidement) un minimum de sous-rubriques pressantes, notamment autour de la programmation fonctionnelle, ceci afin de soutenir les rédacteurs sur l'actualité grandissante des langages multi-paradigmes.

À priori on a la relation :
calculabilité ⊂ lambda-calcul ⊂ théorie des types

Cependant je ne souhaite pas que cette relation se traduise par une mise en page en escalier qui nuirait trop à la lisibilité.
Le dico dvp offre des outils pour indiquer la relation d'inclusion dans la définition elle même.

Dans un premier temps j'aimerais créer ces 3 sous-rubriques, sur le même niveau:

1. Théorie de la calculabilité
2. Théorie du lambda-calcul
3. Théorie des types

Dans un second temps j'aimerais y insérer quelques définitions:

• lambda-terme
• variable (lambda-variable)
• lambda-abstraction (synonymes: fonction anonyme, lambda-fonction, fonctionnelle)
• fermeture
• environnement (d'évaluation)
• application
• curryfication
• pleine fonctionnalité
• type fonctionnel (synonyme: type flêche)
• polymorphisme paramétrique (voir aussi: généricité)

Si la démarche vous paraît bonne alors je vous soumettrai une définition pour chacune des 3 sous-rubriques.

[Alp]

Tout cela me semble très bien