Inspiré d'une question de SO: /programming/6623391/how-to-gain-control-of-a-5gb-heap-in-haskell
Cela peut être un long débat sur les nombreux avantages et inconvénients de FP, mais pour l'instant, je voudrais limiter la portée à l' efficacité principale de FP sur du matériel moderne.
Thèse:
Le paradigme fonctionnel implique l'immuabilité et l'apatridie (?), Mais le matériel sur lequel nous exécutons les programmes fonctionnels sont des automates finis avec état. La traduction d'un programme «purement fonctionnel» en une représentation «matérielle avec état» laisse peu de contrôle au programmeur, entraîne des frais généraux (?) Et limite l'utilisation des capacités matérielles (?).
Ai-je raison ou tort dans les déclarations interrogées?
Peut-on prouver que FP implique / n'implique pas de pénalités de performances principales sur l'architecture informatique moderne à usage général?
EDIT: Comme je l'ai déjà indiqué en réponse à certains commentaires, la question n'est pas sur les performances et les détails de la mise en œuvre. Il s'agit de la présence ou de l'absence de surcharge , que l'exécution de FP sur des automates avec état peut apporter.
running FP on stateful automata
.