Développement purement fonctionnel dans le langage Clean

Je développe des logiciels fonctionnels haute performance dans le langage Clean et j'ai suffisamment d'expérience pour comprendre où ses forces se révèlent vraiment. Ma spécialisation est le typage d'unicité : je modélise l'état afin que le compilateur puisse prouver qu'une valeur est utilisée exactement une fois. Cela permet au langage Clean de muter des tableaux, des enregistrements et des fichiers en place, tout en maintenant le code source purement fonctionnel et référentiellement transparent. C'est ainsi que j'obtiens des performances de niveau C à partir d'un code pur, sans effets secondaires. Tâches typiques : porter des noyaux numériques ou symboliques vers Clean, éliminer des bogues subtils de référence-aliasing dans un module existant, concevoir une couche d'E/S via *World afin que les effets restent explicites et ordonnés, et ajuster des binaires compilés nativement à un état où les boucles chaudes se vectorisent vraiment. Je profile honnêtement, j'annotate la rigueur là où la paresse est coûteuse, et je redessine des structures de données uniques pour réduire les allocations plutôt que de simplement faire taire le vérificateur de types. Le travail de recherche est également le bienvenu : dans Clean, j'ai expérimenté avec la réduction de graphes, les combinateurs de parseurs et les benchmarks reproductibles. Vous obtenez des modules lisibles, une suite de tests, des mesures par rapport à votre version de référence, et un court document expliquant les attributs d'unicité afin que votre équipe puisse développer le code sans moi. Si vous n'êtes pas sûr que Clean soit adapté à votre tâche — envoyez une description, et je vous dirai honnêtement d'emblée, avant que vous ne dépensiez votre budget.