Без заголовка
Думаете этот продукт мне не знаком, если уж я интерисуюсь этой темой?
Все же, Я думаю он не имеет такого широкого применения как вышеуказанный.
У них все ограничивается анализом AST
Тогда как Симони предлагает целиком новую парадигму.
Хотя все равно, ИМХО всю свою силу подобные подходы покажут только позднее.
Когда обкатаются большим количеством людей и дадут ростки в виде других идей.
Мой прогноз. Эта тема взорвет сам подход к программированию, как деятельности с использованием языка для формирования потом на его основе "конкреций солевых отложений" :) -- нечитаемого бинарного кода.