Отзыв о Eta от Cameron Aleman

Механизм вывода типов кажется очень мощным по сравнению с другими подобными языками, такими как Scala или Haskell, которые я видел до сих пор (особенно в его способности выводить типы во время компиляции). Он также меньше похож на императивный стиль кода, чем некоторые другие языки FP, что облегчает переход из мира C++/Java. Невозможность использовать изменяемые переменные без явных аннотаций несколько разочаровала, но не доставила особых хлопот, так как наш проект в любом случае не выполняет большого количества операций ввода-вывода. Если вам нужна хорошая реализация и вам нужно что-то, что работает прямо из коробки, то это будет вашим лучшим выбором! Мы решаем реальные проблемы на работе, создавая большие приложения с отслеживанием состояния, используя строгую типизацию и параллелизм с высокими требованиями к производительности. Это позволяет нам создавать более надежные системы в целом, которые можно обслуживать годами. Система типов очень мощная. Мне нравится, что компилятор может помочь мне написать правильный код. Синтаксис сильно отличается от других языков (например, Haskell), поэтому на привыкание ушло некоторое время. Это также не так просто использовать для начинающих. Есть много дополнительных функций, которые трудно понять на первый взгляд. Но как только вы их узнаете, они действительно полезны. Я решаю задачи параллельных вычислений с помощью этого языка.