Список проголосовавших за комментарий "bocha, мне Ami когда-то понравился адским перформансом и полным набором метрик в результатах оптимизации. С тех пор я правда перестал запускать огромные оптимизации, баловство это. Все собираюсь накатать свой на C++, но пока это второстепенная задача. В Ami кстати недоиспользуют векторную модель — если меморизовать результаты отдельных операций, при оптимизации можно сильно ускориться. Но для поиска хорошей стратегии это малополезно, может даже вредно )"