Когда требуется больше времени

[justy_tylor]

В 2013 году я "завершил" интеграционную часть своего исследования в области языков программирования и моделирования. 8 месяцев (при 6 планировавшихся) переосмысления и интеграции знаний, которые десятилетиями накапливались человечеством и годами собирались мной, когда-то как хобби, а затем и целенаправленно. Цель была: вывести набор решений для

Comments

[sagarasousuke]

ганбатте!

[justy_tylor]

:)

[yoschi]

Языкопроизводство тоже сильно усилилось за эти годы.

Так вышло, что недавно я попробовал сразу несколько новомодных языков (Julia, Go, Rust, стандарт ES6 для js). И обнаружил (внезапно для себя), что они используют множество концепций, уже знакомых по другим языкам и во многом друг с другом пересекаются. Да, некоторые дополняют их какой-то одной своей killer-фичей, которая зачастую поглощает всё остальное.

Забавно было обнаружить общие подходы даже в системах управления зависимостями. А без них современное программирование даже представить страшно - о чём я тоже раньше не задумывался.

Вместить в один язык все доступные фичи из других, или найти всем альтернативу - очень достойная задача. Удачи! Не знаю, чем ещё помочь :о)

[justy_tylor]

Да, разработка языков сейчас в тренде, некоторые условия для этого стали также благоприятнее (например, применение Language Server Protocol заменяет сразу множество интеграций в среды разработки).

Задачи вместить все существующие фичи не было. Была старая задача - предоставить пользователям возможность добавлять желаемые фичи путём написания небольших EDSL-библиотек (а не "переписав половину компилятора").

Новая задача - предоставить ряд новых мощных фич из коробки, как для применения здесь и сейчас, так и в качестве более удобного базиса для пользовательских EDSL и language backends. Например, многие языковые решения, даже такие различающиеся по сферам применения как SQL и TLA+, представляют собой надстройки/расширения над логикой первого порядка (FOL). И сводятся к ней. Но не очень компактно сводятся, напрямую FOL вместо них неприменима. Но общий компактный языковой базис есть. Теоретически. А теперь на очереди практика. :)

[aleosha]

Go выкинуло в форточку все наработки последних 20 лет. И dependency management'а в нем не было лет 6.

[yoschi]

> Go выкинуло в форточку все наработки последних 20 лет
Скажем, не все. Но многие, это правда. И мейнтейнеры считают это даже фичей, а не багом :о/

[vladimir_izotov]

Подписаться где-нибудь на отслеживание результата можно?

[justy_tylor]

Возможны записи в этом журнале об используемых в процессе разработки решениях, но публикация исходных кодов на стадии прототипа не планируется.

[vladimir_izotov]

Спасибо. Дождусь результата и почитаю.

[thedeemon]

Было бы очень интересно увидеть какие-то заметки в процессе, и не только о решениях, но и о задачах, что те решения решают. А то пока ничего не понятно. Результата ждать можно еще шесть лет, да так и не дождаться, см. Немерле 2.

[ailev]

Вот тут желаю удачи: https://ailev.livejournal.com/1480912.html

[justy_tylor]

Спасибо! :)