Mihail Mihaylov

I started transforming my old notes into a proper documentation.

Profiling showed that the parser spends a lot of time comparing Bindings objects. I implemented a Copy-On-Write optimization to make these comparisons faster.

I profiled the REPL. This revealed that two methods of the Value class get the types map by value. This unnecessarily copying is a significant overhead. Now they get it by reference.

I added an if-else expression. Unfortunately, being an expression, it interacts with infix expressions and introduces ambiguity in the grammar. The next step is to fix improve the grammar for all expressions to eliminate this ambiguity.

I refactored the REPL grammar so that all expressions have priority.

I added support for epsilon to several of the marchers. I also added a primitive Print matcher for debugging purposes.

I added infix operators for comparison and registered functions for them that compare integers.

I added to the grammar the notion of "safe" and "unsafe" separators and this allowed me to accept multi-line statements when they are unambiguous.