https://medium.com/@octskyward/graal-truffle-134d8f28fb69#.jo3luf4dn
http://nez-peg.github.io/
https://en.wikipedia.org/wiki/DFA_minimization

https://news.ycombinator.com/item?id=14589173
http://jamey.thesharps.us/2017/06/search-based-compiler-code-generation.html

https://news.ycombinator.com/item?id=15105119  
https://en.wikipedia.org/wiki/Tree_transducer  

# Type-Driven Program Synthesis
https://news.ycombinator.com/item?id=18251145  
https://www.youtube.com/watch?v=HnOix9TFy1A  
http://comcom.csail.mit.edu/comcom/#welcome  
https://bitbucket.org/nadiapolikarpova/synquid  

# Formality – An efficient programming language and proof assistant
https://news.ycombinator.com/item?id=18230148  
https://github.com/maiavictor/formality