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 !

সূচিপত্রের সারণি:

অনুরূপ উপাদানগুলি