Je vois rarement l'analyseur statique pour les langages de programmation fonctionnels, comme Racket/Scheme, je doute même qu'il y en ait. Je voudrais écrire un analyseur statique pour les langages fonctionnels, disons Scheme/Racket. Comment dois-je y aller?Analyseur statique pour les langages de programmation fonctionnels, par exemple
Premièrement lu this paper par Shivers, expliquant pourquoi il n'y a pas de diagramme de flux de contrôle statique disponible dans Scheme.
Peut être mis en œuvre k-CFA in Scheme. Le site de Matt Might et le blog sont un bon point de départ pour explorer l'analyse statique des langages d'ordre supérieur.
J'ai fait quelques implémentations d'analyse statique pour le schéma en Java ainsi:
Oui, il y a du travail sur l'analyse statique de langages dynamiques comme Scheme. Par exemple, voir le travail de Olin Shivers (http://www.ccs.neu.edu/home/shivers/citations.html) et Manuel Serrano (http://www-sop.inria.fr/members/Manuel.Serrano/index-1.html).
Il y a déjà, par exemple, raquette typée. http://docs.racket-lang.org/ts-guide/index.html Depuis le code de raquette valide est raquette typée valide, il vous suffit de changer la langue que vous travaillez dans Ensuite, pour les bibliothèques avec les versions typées, chargez les au lieu du typées versions, et certaines erreurs de type peuvent être attrapées statiquement déjà. D'autres annotations de type peuvent être ajoutées à votre propre code pour obtenir des garanties de type correct au-delà ...
Y at-il un code open source pour télécharger pour les gens de jouer avec? Je ne vois pas Onlin Shiver ni l'autre gars poster des choses pour l'analyseur statique? –
Je suis sûr qu'il y a beaucoup de code qui circule là-bas. Le meilleur pointeur pour l'analyse de la course est probablement Matt Might, qui vient de publier un article sur l'accélération de l'ACCF avec les GPU. –