ashofthedream/jade

Грамматика (псевдо-BNF):

expr ::= expr op expr | (expr) | identifier | { expr, expr } | number | map(expr, identifier -> expr) | reduce(expr, expr, identifier identifier -> expr)
op ::= + | - | * | / | ^
stmt ::= var identifier = expr | out expr | print "string"
program ::= stmt | program stmt

Пояснения:

• number - произвольное целое или вещественное число
• приоритеты операторов такие (в возрастающем порядке): + и -, * и /, ^
• {expr1, expr2}, где expr1 и expr2 - выражения с целым результатом - последовательность чисел  { expr1, expr1 + 1, expr + 2 .. expr2 } включительно. Если результат вычисления expr1 или expr2 не целый или expr1 > expr2, результат не определен.
• map - оператор над элементами последовательности, применяет отображение к элементам последовательности и получает другую последовательность. Последовательность может из целой стать вещественной. Лямбда у map имеет один параметр - элемент последовательности.
• reduce - свертка последовательности. Первый аргумент - последовательность, второй - нейтральный элемент, третий - операция. Свертка применяет операцию (лямбду) ко всем элементам последовательности. Например, “reduce({5, 7}, 1, x y -> x * y)” должен вычислять 1 * 5 * 6 * 7. Можно полагаться на то, что операция в reduce будет ассоциативна.
• области видимости переменных - от ее объявления (var) до конца файла. Переменные у лямбд в map / reduce - имеют областью видимости соответствующую лямбду. У лямбд отсутствует замыкание, к глобальным переменным обращаться нельзя
• out, print - операторы вывода. "string" - произвольная строковая константа, не содержащая кавычек, без экранирования

Пример:

var n = 500
var sequence = map({0, n}, i -> (-1)^i / (2 * i + 1))
var pi = 4 * reduce(sequence, 0, x y -> x + y)
print "pi = "
out pi

Требования к интерпретатору:

• Интерпретатор должен выдавать ошибки парсинга и ошибки несоответствия типов (складывание чисел и последовательностей, применение map/reduce к числам, итд).
• map и reduce должны выполняться интерпретатором параллельно по разумной стратегии.
• Все, что не учтено в правилах грамматики, на твое усмотрение.
• По желанию: поддержка вычислений на длинных последовательностях (миллионы элементов).

Требования к редактору:

• Ошибки от интерпретатора должны подсвечиваться по месту автоматически.
• Результаты работы программы должны автоматически рассчитываться в фоне и показываться.
• Долгие вычисления не должны приводить к блокировке UI и мешать работе.
• UI на твое усмотрение.

Требования к реализации и оформлению:

• Программа должна быть написана на Java/Kotlin.
• Допускается разумное использование готовых средств и библиотек.
• Исходный код должен быть предоставлен в виде полностью настроенного самодостаточного проекта, размещенного на github.
• Должен быть предоставлен необходимый набор тестов.
• Там где это имеет смысл, API должен быть документирован на английском языке.

jade's Issues

Add parallelism to map/reduce

Shared ForkJoinPool + RecursiveTasks

Долгие вычисления не должны приводить к блокировке UI и мешать работе.

Результаты работы программы должны автоматически рассчитываться в фоне и показываться.

Lexer parse identifiers as keyword

For code var mapped = map({0, 1}, e -> e) Lexer produces wrong Lexem sequence: Var 1:1, Map 1:5, Identifier{ped} 1:8, Assign 1:12, Map 1:14.

Should be
Var 1:1, Identifier{mapped} 1:5, Assign 1:12, Map 1:14, ...

Немного комментариев к коду

Интерпретатор должен выдавать ошибки парсинга и ошибки несоответствия типов

Например складывание чисел и последовательностей, применение map/reduce к числам:
var x = 5 + {0, 100}
map(5, x -> x)
print 5 + 2
out "ahaha it's a string"

Parser fails on 'var seq = {-1, 2)'

Parser fails on var seq = {-1, 2) with exception:

java.util.NoSuchElementException
	at java.util.ArrayDeque.removeFirst(ArrayDeque.java:280)
	at java.util.ArrayDeque.pop(ArrayDeque.java:517)
	at ashes.of.jade.lang.parser.Parser.parse(Parser.java:162)

Remove temporal NodeTypes

public enum NodeType {
    /**
     * Temporal nodes
     */
    Comma,
    CurlyOpen,
    ParentOpen,

Map(var, x -> x * 2) doesn't work properly

For source

var seq = {4, 6}
var sequence = map(seq, i -> i * 2))
var pi = 3.1415 * reduce (sequence, 0, x y -> x + y)
print "pi = "
out pi

Actual bytecode

STORE{sequence} 2:5
Map 2:16
LAMBDA{[Multiply 2:32, 2, LOAD{i} 2:30, STORE{seq} 2:20, STORE{i} 2:25]}

Should be

STORE{sequence} 2:5
Map 2:16
LAMBDA{[Multiply 2:32, 2, LOAD{i} 2:30, STORE{i} 2:25]}
LOAD{seq} 2:20