Могу сказать, что на одну лишь навигацию с индексацией было потрачено около 30-40ч в неделю в течении 1.5-2 месяцев, и она ещё очень далека от идеала.
С документацией до сих пор большие проблемы, хотя есть тот милый туториал, указанный в статье, но его все равно слишком мало. В основном, информация бралась из плагинов для Фортрана, Хаскеля и Эльма. И, конечно, приходилось очень много дебагать, как вы уже сказали, в кишках :(
Сразу стоит отметить, что мы занимались исключительно разработкой плагина.
Что насчет большой производительности языка, то о ней даже не стоит говорить. Если посмотреть, во что превращается код на Frege, то можно заметить, что он полон различных оберток (например, Lazy<>), которые сильно тормозят его.
Но Frege не гонится за производительностью: его преимущество в том, что он такой же лаконичный и безопасный (в плане иммутабельности данных), как Haskell, но совместим с другими JVM-языками. Да, производительность — его слабое место :(
Информация
В рейтинге
Не участвует
Откуда
Санкт-Петербург, Санкт-Петербург и область, Россия
Но все же примитивную рекурсию (которая делает n шагов) можно выразить, как минимум, в System F и более богатых системах типов.
Могу сказать, что на одну лишь навигацию с индексацией было потрачено около 30-40ч в неделю в течении 1.5-2 месяцев, и она ещё очень далека от идеала.
С документацией до сих пор большие проблемы, хотя есть тот милый туториал, указанный в статье, но его все равно слишком мало. В основном, информация бралась из плагинов для Фортрана, Хаскеля и Эльма. И, конечно, приходилось очень много дебагать, как вы уже сказали, в кишках :(
Сразу стоит отметить, что мы занимались исключительно разработкой плагина.
Что насчет большой производительности языка, то о ней даже не стоит говорить. Если посмотреть, во что превращается код на Frege, то можно заметить, что он полон различных оберток (например,
Lazy<>), которые сильно тормозят его.Но Frege не гонится за производительностью: его преимущество в том, что он такой же лаконичный и безопасный (в плане иммутабельности данных), как Haskell, но совместим с другими JVM-языками. Да, производительность — его слабое место :(