Dossier spécial programmation fonctionnelle [Dossier]

محفوظ في:

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Programmez ! No 256
المؤلف الرئيسي:	Bertot, Yves.
مؤلفون آخرون:	Madelaine, Hiram.
التنسيق:	Article de revue
اللغة:	Français
منشور في:	2023.
الموضوعات:	Programmation fonctionnelle (informatique). Articles de périodiques
الملخص:	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.
مواد ذات صلة:	محتوى في: Programmez !

جدول المحتويات:

مواد مشابهة