Статический анализатор для функциональных языков программирования, например, Схема

Question

Я редко вижу статический анализатор для функциональных языков программирования, таких как Racket / Scheme, я даже сомневаюсь, есть ли такие.Я хотел бы написать статический анализатор для функциональных языков, скажем, Scheme / Racket.Как мне это сделать?

Answer 1

Уже есть, например, набранная ракетка: http://docs.racket -lang.org / ts-guide / index.html Так как действительный код ракетки является действительной типизированной ракеткой, вам просто нужно изменить язык, на котором вы работаете. Затем для библиотек с типизированными версиями загрузите их вместо нетипизированных версий, и определенные ошибки типов могут уже статически обнаруживаться. К вашему собственному коду могут быть добавлены дополнительные аннотации типов, чтобы получить гарантии правильности типов помимо этого ...

Answer 2

Да, есть некоторые работы по статическому анализу динамических языков, таких как Scheme.Например, см. Работу Олина Шиверса (http://www.ccs.neu.edu/home/shivers/citations.html) и Мануэля Серрано (http://www -sop.inria.fr / members / Manuel.Serrano / index-1.html ).

Answer 3

Сначала прочитайте эту статью Шиверса, объяснив, почему на схеме нет статической диаграммы управления потоком.

Может быть реализовано k-CFA на схеме .Сайт Мэтта Мейта и blog является хорошей отправной точкой для изучения статического анализа языков высшего порядка.

Я также сделал несколько реализаций статического анализа для Scheme в Java:

• Реализация k-CFA
• Реализация анализа межпроцедурных зависимостей на основе бумаги Мейта и Прабху