Discussion:ML (langage)
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.
| 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.
La programmation est un travail intelligent et un art que l'Homme du XXIe siècle doit assimiler.
Foncteur/Template/Generic : type vérifié à la compilation et Ada[modifier le code]
Le document dit :
- Le paramétrage évoque les « templates » de C++ ou les « generic » d'Ada ou de Modula-3, à la différence près que le typage est complètement vérifié à la compilation
Je ne suis pas sûr pour Modula, mais pour les Generic d'Ada, sachez que les types sont complètement vérifiés à la compilation également (ça n’est pas le cas pour les templates C++, ça c’est vrai). --Hibou57 (d) 21 août 2010 à 18:51 (CEST)