Discussion:Fermeture (informatique)

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Cet article est indexé par le projet Informatique.

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.

**Évaluation** de l’article « **Fermeture (informatique)** »
Avancement	Importance	pour le projet
Bon début	Moyenne		Informatique (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.

Ocaml

Ce n'est peut être pas très pertinent, mais en Ocaml, je n'écrirais pas la fonction ajouteur comme fait dans l'article:

let ajouteur n =
  let ajoute v = n + v in
  ajoute

mais plutôt:

let ajouteur = (+)

Je sais que ça rend la notion de clôture moins visible, mais si on donne des exemples dans des langages, autant respecter l'esprit du langage.

Sedrikov (d)

Intérêt du procédé

Dernier commentaire : il y a 12 ans2 commentaires2 participants à la discussion

Je crois qu'il serait utile que la page mentionne un usage pratique et élégant de cette possibilité, en plus de la définition et démonstration en divers langage. À quel besoin la fermeture répond-elle?

--PolBr (d) 8 août 2011 à 13:46 (CEST)Répondre

JackPotte ($♠) 10 août 2011 à 09:08 (CEST)Répondre

Pour WIkilivres ?

Dernier commentaire : il y a 12 ans8 commentaires3 participants à la discussion

Tout comme pour Hello world, je me propose d'exporter les différentes implémentations par langage dans Wikilivres. JackPotte ($♠) 3 octobre 2011 à 13:41 (CEST)Répondre

Il faudrait déterminer dans quel livre on peut placer ces exemples de code.

--DavidL (d) 24 octobre 2011 à 12:09 (CEST)Répondre

J'avais mis Hello World dans b:Translinguisme, mais ce dernier contient des chapitres sur les langues humaines. JackPotte ($♠) 24 octobre 2011 à 20:34 (CEST)Répondre

Un nouveau chapitre dans b:Programmation ? --DavidL (d) 26 octobre 2011 à 19:41 (CEST)Répondre

Je créerais plutôt b:algorithmie. JackPotte ($♠) 27 octobre 2011 à 07:24 (CEST)Répondre

Selon moi cela relève plutôt des paradigmes de programmation plutôt que de l'algorithmie vu qu'il s'agit d'une fonctionnalité de certains langages. L'algorithmie utilise plutôt un pseudo-langage indépendant de tout langage de programmation.

Mais l'algorithmie reste une bonne idée de nouveau livre. Merci.

--DavidL (d) 27 octobre 2011 à 20:03 (CEST)Répondre

En premier lieu, je pense que cet article est bien sur Wikipédia. Si on voulait le déplacer, je vois mal où on pourrait l'insérer (rien à voir avec l'algorithmie). Sub (d) 1 novembre 2011 à 13:30 (CET)Répondre

Je maintiens pourtant que l'algorithmie est le seul dénominateur commun à tous ces paradigmes. JackPotte ($♠) 1 novembre 2011 à 14:52 (CET)Répondre

La Théorie !

Dernier commentaire : il y a 6 ans1 commentaire1 participant à la discussion

La partie théorique/logique est ignorée :

Clôture d'un lambda-term (Church / De Bruijn)
Clôture en théorie des types
Clôture d'un prédicat (logique)

A quoi ca sert ? :

cf. programmation fonctionnelle
La question de la complétude n'a de sens que pour les termes clos ; puisqu'en particulier on a $\neg \vdash x$ et $\neg \vdash \neg x$ . Il est important de dire que si $A$ et $\forall x,A$ sont sémantiquement équivalents (au sens où $\vdash A\Leftrightarrow \vdash \forall x,A$ ) ; il n'en est pas de même de $\neg A$ et $\neg \forall x,A$ .

etc. <STyx @ (en long break) 6 mars 2018 à 16:35 (CET)Répondre

Ajouter un sujet