Dossier spécial programmation fonctionnelle [Dossier]
Dans cet article, nous donnons un exemple très simple de programmation fonctionnelle et nous montrons comment ce style de programmation se prête à des raisonnements logiques pour éviter les erreurs de programmation. Les raisonnements logiques peuvent eux-mêmes être effectués avec le système Coq. Cet...
Salvato in:
| Pubblicato in: | Programmez ! No 256 |
|---|---|
| Autori principali: | , |
| Natura: | Article/contribution |
| Lingua: | francese |
| Pubblicazione: |
2023.
|
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 001 | 424333 | ||
| 008 | 241211c2024 xx ||| |||| 00| 0 fre d | ||
| 041 | 0 | |a fre | |
| 100 | 1 | |a Bertot, Yves. | |
| 245 | 1 | 0 | |a Dossier spécial programmation fonctionnelle [Dossier] |c par Yves Bertot et Hiram Madelaine. |
| 260 | |c 2023. | ||
| 300 | |a pp. 33-44. | ||
| 505 | 0 | |a p. 35 -- Prouvez que vos programmes fonctionnels n'ont pas de bug avec Coq -- p. 40 -- Pourquoi apprendre Clojure en 2023 ? | |
| 520 | |a Dans cet article, nous donnons un exemple très simple de programmation fonctionnelle et nous montrons comment ce style de programmation se prête à des raisonnements logiques pour éviter les erreurs de programmation. Les raisonnements logiques peuvent eux-mêmes être effectués avec le système Coq. Cet article est également une introduction à l'utilisation de Coq, en utilisant une application bancaire simplifiée comme illustration. | ||
| 650 | |a Programmation fonctionnelle (informatique). | ||
| 650 | |a Articles de périodiques | ||
| 700 | 1 | |a Madelaine, Hiram. |4 aut | |
| 773 | 0 | |w 296182 |t Programmez ! |x 1627-0908 |g No 256 | |
| 993 | |a Article/contribution | ||
| 994 | |a PS | ||
| 997 | |0 424333 | ||