Les fonctions fléchées de FLIN supportent dix formes syntaxiques couvrant chaque cas d'usage, des simples callbacks à la composition de fonctions curryfiées. La syntaxe est délibérément identique aux fonctions fléchées JavaScript.
Le défi le plus intéressant du parser était de distinguer une expression parenthésée d'une liste de paramètres. La solution utilise la désambiguïsation par lookahead : sauvegarder la position, essayer de parser comme liste de paramètres, et si => suit, confirmer comme lambda.
La Session 141 a résolu le problème d'inférence de type avec une approche basée sur les contraintes. Au lieu d'exiger des types concrets pour les opérations binaires, le vérificateur de types enregistre des contraintes (Numeric, Integral) qui doivent être satisfaites plus tard au site d'appel. Quand add(3, 5) est vérifié, les variables de type sont unifiées avec Int depuis les littéraux.
Les fonctions fléchées sont des closures : elles capturent les variables de leur portée environnante. Elles compilent vers le même bytecode que les fonctions régulières -- aucune pénalité de performance pour la syntaxe concise.
Ceci conclut l'arc 16 -- Expérience développeur. Dix articles couvrant les outils, formats et fonctionnalités du langage qui font de FLIN non seulement un langage avec des fonctionnalités puissantes, mais un langage véritablement agréable à utiliser.
Ceci est la partie 180 de la série « Comment nous avons construit FLIN », documentant comment un CEO à Abidjan et un CTO IA ont conçu et construit un langage de programmation à partir de zéro.
Navigation de la série : - [179] Littéraux de templates et formatage de chaînes - [180] Fonctions fléchées et inférence lambda (vous êtes ici) - Arc suivant : déploiement et production FLIN