khbminus / l-static-analyzer Goto Github PK

Интерпретация построчно / REPL, передача переменных как аргументов

• Обработка переданных переменных
• Исполнение из файла
• Интерактивный интерпретатор
• Юнит-тесты
• Исправить REPL чтобы он выводил результат выражения

Переменные, while, if, вызов функций

Построение дерева синтаксиса из текста программы в какой-то вид

• Структура синтаксиса
• Грамматика
• Парсинг
• Обработка ошибок
• Юнит-тесты

Должны работать Read и Write

• Переписать основной код
• Переписать тесты

Для Source-to-source оптимизаций нужен перевод из IR в AST.

• Rewrite fold_EE and fold_EN from OptSupport.hs
• Adapt Liveness analysis from the Hoopl example
• Write tests

https://github.com/haskell/hoopl

Добавить поддержку функций

• Тип функции
• Поддержка локальности внутри функции (стек)
• Объявление функции без аргументов
• Вычисление функций без аргументов в evaluateExpression
• Вычисление функций с аргументами
• Функции в evaluateOneStatement

Make them usable in a statement
x := 1; if x == 1 then { x := 2 } else { x := 3 }; write x

Реализация $\texttt{write}\ \mathcal{E}$ и $\texttt{read}\ \mathcal{X}$

Хранит состояние исполняемой программы

• Flag for optimization
• Methods to run optimization before interpreting

• Primitives (constant, range)
• Complex set of ranges
• Union, intersection
• Tests