La programmation fonctionnelle a une base théorique en calcul lambda et en logique combinatoire . En tant que personne impliquée dans le calcul statistique, je trouve ces concepts très utiles pour la modélisation. Existe-t-il une base mathématique équivalente pour la programmation impérative , ou...
L'application la plus courante des types linéaires en PL est probablement de les utiliser pour donner des langages qui contrôlent l'alias (c'est-à-dire qu'une valeur linéaire a un seul pointeur vers elle, plus ou moins). Mais il y a un léger décalage entre cet usage et les modèles dénotatifs...
Dans la section "Introduction aux langages de programmation" d' Anthony Aaby sur la sémantique , il fait l'observation suivante: Une grande partie du travail dans la sémantique des langages de programmation est motivée par les problèmes rencontrés pour essayer de construire et de comprendre des...
Je lis The Implementation of Functional Programming Language de Simon Peyton Jones et il y a une déclaration qui m'a un peu surpris (à la page 39): Dans une bien plus grande mesure que pour les langages impératifs, les langages fonctionnels sont en grande partie des variations syntaxiques les uns...
Dans ma recherche d'articles de recherche sur les systèmes de types pour les langages impératifs, je ne trouve que des solutions pour un langage avec des références mutables mais sans véritables structures de contrôle impératif telles que des opérateurs composés, des boucles ou des conditionnelles....