Максим Муратов

Не понимаю, к чему аргумент со скиллами. Один и тот же человек будет иметь разную эффективность с разными инструментами. Вы на ассемблере сейчас настольный GUI писать будете,...

А плюсы что, подходят, чтобы писать GUI? Жесть какая.

И финансовой компании может быть нужен GUI, для всяких инструментов внутренних. И я, конечно, понимаю, что окамл ужасный инструмент для такого (сейчас), и типичный GUI от тако...

Как финтех влияет на нервную систему и функциональность семьи? Перерабатывать заставляют (намёками), что ли? Ну это в IT норма, по большей части.

@rauan, этот плагин? https://plugins.jetbrains.com/plugin/18531-ocaml

Т.е. в хаскеллях?

Кому интересно (извините за оффтоп): https://www.youtube.com/watch?v=bLJJ3CY1aE8. Тема в узких кругах горячая!

Или они эмигрируют — те, кому кислород перекрыли?

Вот сегодня есть великий Иван, который монадами разгоняет тучи и вдохновляет джунов. А завтра случилась беда, и Ивана не стало. Что делать?

Глянул сейчас исходники Dune -- 70к строк 😱. Там что, ocamlopt встроенный? Нафига 70к строк на OCaml (мощном языке) для такой тупой штуки, как система сборки?

Почитайте программы, которые вы писали в 20 лет. Хоть на хаскелле, хоть на брейнфаке, хоть на чём. Не захочется плакать?

Сколько таких программистов нужно в РФ, например, именно знакомых с Окамлом? Три с половиной штуки?

То есть, вы постулируете, что сеньоров не существует, и что опыт в программировании значения не имеет?

А как тулинг для таких языков делать?

А в поддержке мне сказали "а зачем вам исходники? вы что, хотите их изучать? это запрещено, вообще-то -- вдруг узнаете, как оно устроено, и уязвимости найдёте".

Вы в Китае?

Есть хоть одно известное desktop-приложение на QML? Искал, не нашёл.

Какие-то готовые анализаторы используете, типа Frama-C?