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...
Sparad:
| I publikationen: | Programmez ! No 256 |
|---|---|
| Huvudskapare: | , |
| Materialtyp: | Article/contribution |
| Språk: | franska |
| Publicerad: |
2023.
|
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Sammanfattning: | 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. |
|---|---|
| Fysisk beskrivning: | pp. 33-44. |
| ISSN: | 1627-0908 |