Kaszczyc, Antoine
[Author]
;
Paris 13
[Contributor];
Fouqueré, Christophe
[Contributor]
Méthodes statiques pour la programmation fonctionnelle de simulateurs d'économies ; Static methods for the functional programming of economics simulators
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Text;
E-Book;
Electronic Thesis
Title:
Méthodes statiques pour la programmation fonctionnelle de simulateurs d'économies ; Static methods for the functional programming of economics simulators
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
La première partie de la thèse a pour sujet les effets de bord dans les programmes fonctionnels, et leur simulation par les monades. Les propositions ont une portée générale : elles peuvent s’appliquer peu importe le thème du programme. Cependant, elles ont été inspirées par un contexte de programmation de simulateur d’économies. Ce type de programme utilise intensément les effets de bord et les répétitions de fonctions. Les propositions de la thèse sont plus pertinentes pour les programmes qui présentent ces caractéristiques.Comme bien d’autres, elles sont pensées dans un objectif d’organisation stricte du programme.Elles ne sont pas adaptées pour réaliser un programme "vite fait bien fait", mais plutôt un programme dans lequel des parties critiques ont été sécurisées et n’ont plus besoin d’attention.Le chapitre 1 introduit la programmation fonctionnelle, et des schémas d’exécution reflétant la consommation mémoire lors de l’exécution. Il introduit les monades, et les transformateurs de monades, en tant que mécanismes permettant d’automatiser la simulation des aspects mutables dans un contexte immutable. Le chapitre 2 aborde la gestion des effets de bord : la simulation d’une variable mutable par la monade State, et l’encadrement de sa valeur par un prédicat. Le chapitre commence par définir précisément cerque signifie le respect du prédicat, notamment par la solution bien connue du type abstrait. Ensuite, nous faisons observer que le prédicat est plus expressif lorsqu’il concerne un type fonctionnel (A ! A) plutôt que simplement A. La monade State fournit un support adéquat pour implanter le prédicat dans le programme, puisqu’elle exprime une variable mutable par des compositions de fonctions. Dans une simulation,la monade State abstraite avec prédicat permet d’exprimer des mécanismes auxiliaires mais ubiquitaires, tels la génération de nombre pseudo-aléatoire, ou la gestion de comptes bancaires. Ce sont deux concepts, la simulation d’effets de bord, et la garantie de prédicat, qui se résolvent par une même ...