Запретить жабу, дотнет, пхп, перл и крестики, только ФП, только хардкор

[metaclass]

https://medium.com/@yelbota/%D0%BA%D1%80%D1%83%D0%B3%D0%BE%D0%B2%D0%BE%D1%80%D0%BE%D1%82-%D1%83%D0%BD%D1%8B%D0%BB%D1%8B%D1%85-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%81%D1%82%D0%BE%D0%B2-612c72738d04

Пройдет время, некоторым не повезет, и они встретят кризис среднего возраста в одиночестве, платя алименты ушедшей жене. Когда-то давно она прочитала в Космо, что программисты — это новые рок-звезды, но ушла, когда узнала что ее муж, унылый похапешник, не комитит на гитхаб. Другим повезет: они смогут проскочить в тимлиды, и руководство заткнет ими купленный слот на отраслевой конференции. Там они самоутвердятся, рассказав молодым, что унылыми быть круто. И спираль уныния выйдет на новый виток, засосав еще больше классных ребят.

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

Comments

[etoeos.livejournal.com]

А что еще интересненького есть предложить взаместо него?

[jdudzik.livejournal.com]

Ruby, C#, Go

[permea-kra.livejournal.com]

Руби - это язык, в котором компонент настройки конфигурации может (динамически) решить пропатчить класс строки, сломав при этом, например, компонент доступа к БД. Когда я вижу проект на руби, у меня возникает огромное уважение к профессионализму тимлида, который проворачивает трюк сродни кроссу на одноколесном велосипеде. Но пользоваться этим самому? Накуй.

C# является прямым аналогом джавы, там никогда не было и не будет ADT и паттерн-матчинга, это значит, что обход древовидных структур на них превращается в боль. Это не обсуждая слабой системы типов и прочих проблем, который поциэнт унаследовал от джавы.

Go - все те же проблемы, что и у C# как минимум.

[jdudzik.livejournal.com]

Зато на них есть вакансии (привет, Хаскелл). библиотеки (эге-гей, Эрланг) и либо удобная отладка, либо мощнейшее IDE (хи-хи, Scala)

[permea-kra.livejournal.com]

Базовые библиотеки (xml/json/yaml, веб, гуй, многопоточность) есть и под хаскель со скалой и эрлангом, а чего нет, то пишется не приходя в сознание.

IDE не нужны. Средства отладки по крайней мере под хаскель есть (правда, необходимости в них нет)

[jdudzik.livejournal.com]

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

Языки без IDE не нужны. Нет IDE и библиотек - нет языка.

[permea-kra.livejournal.com]

Я ничего не знаю про ваших заказчиков, но для говносайтов в хаскеле все есть, для говносервисов с РЕСТ АПИ тоже все есть.

Если для использования языка нужна ИДЕ - это плохой, негодный язык, который не нужен. Ну кроме как для оправдания маркетинговых бюджетов и пложения эмагаров.

[jdudzik.livejournal.com]

ИДЕ нужна для двух вещей:

- удобство
- скорость

[permea-kra.livejournal.com]

Вот если язык настолько неудобный, что для него нужна ИДЕ - то нафиг нужен такой язык?

[jdudzik.livejournal.com]

Я пробовал и Скалу. и Хаскел. И могу авторитетно сказать - не нужны нафиг.

Скала была бы нужна, если бы был IDE. Но ни один из двух существующих не умеет запустить Hello world. Командная строка не умеет запустить программу из > 1 файла.

Хаскелл не умеет в наследование. Simula 67 умела, а Haskell 2015 уже не умеет. Прогресссссссс

[metaclass.livejournal.com]

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

[jdudzik.livejournal.com]

Вот я и об этом Я - программист и я хочу, чтобы Хаскелл сделал мне типы с подтипами. А Хаскелл отвечает - "я экспериментальный язык, делай как Я СКАЗАЛ".

Очевидно, что это ненормально.

[thesz.livejournal.com]

Вам не наследование надо, а одна из сторон решения expression problem (рекомендую посмотреть, это квинтэссенция проблемы расширяемость).

На разных языках это решается по разному.

Нормальную систему типов для ОО разрабатывали >25 лет (Cardelli, An Accidental Simula User). При этом никто не знает, нет ли в ней дыр (well typed program go wrong). Для сравнения, для зависимых типов (Martin-Loef type theory) понадобилось 12 лет (с появления в 1971 до третьей статьи в 1983), чтобы закрыть все дыры.

Поэтому ОО это очень, очень сложно и очень, очень ненадёжно.

[permea-kra.livejournal.com]

Можно эмулировать (точнее, реализовывать руками) через словари и тайпклассы. Но это такой геморрой, что ну его нафиг. Второй GObject писать.

[pupsikk.livejournal.com]

Люди поклоняющиеся наследованию и ООП вообще - убоги так же, как и посетители концертов Петросяна.
Поэтому и Скала тоже немного отвратительна, ибо желание Одерского одной ногой топать по функциональщине, а другой наступать в Жаву - вызывает непонимание и желание обьяснить это то ли глупостью, то ли коммерческими соображениями, то ли ... глупостью.

[jdudzik.livejournal.com]

> Люди поклоняющиеся наследованию и ООП вообще

Ко-ко-ко.

Люди, которые используют наследования и ООП, знают, что их программы работают, пишутся и поддерживаются в разы проще, а оплачиваются - в разы лучше. Всё, что было выдающегося в функциональных языках, давно стало нормой даже в C++,

Весь секрет привлекательности ФП - написание на нём занимает так много времени и требует таких ненужных навыков, что получившийся Hello World тысячу раз переписан, пока запустится. Что-то мало-мальски сложное на ФП либо превращается в ООП другим синтаксисом, либо работает с черепашьей скоростью.

[pupsikk.livejournal.com]

Если вы такое пишете, вы явно ничего более серьезного чем хелловорлд на ООПогани не писали.
На больших проектах вся эта срань мгновенно превращается в тыкву, большую и неподьемную, аж компиляторы плачут. В особенности благодаря не в меру ретивым выпускникам универов, которых дефлорировали джавой, с тех пор у них возникает фиксация на этой дряни.
ООП - тупая, окостеневшая, ограниченная идеология, раздутая и разрекламированная сверх всякой меры, с кучей парадоксов, которые разрешить можно только остервенелым костылением. Я бы не имел к ней претензий если б она оставалась примерно в том формате, в котором она живет в Обьектив-Си - сообщения, инкапсуляция и позднее связывание, но в остальном мире она просто вылезла за все мыслимые границы, особенно с с массовым нашествием программистов от сохи. Как говорил один поэт, идея брошенная в массы, она как девка брошенная в полк. Вот именно.

[permea-kra.livejournal.com]

>Хаскелл не умеет в наследование.

Зачем бы ему это уметь?

>Скала была бы нужна, если бы был IDE.

Вы до сих пор не объяснили, зачем нужна ИДЕ.

[pupsikk.livejournal.com]

Чтоб было удобнее редактировать текст, ориентироваться среди файлов, управлять зависимостями, компилировать, собирать и дебажить.
АйДиИ уровня Вижуал Студио или Х-Код - это все таки айс.

[permea-kra.livejournal.com]

>удобнее редактировать текст
На счет появилась хоть одна ИДЕ с встроенным редактором уровня хотя бы vim ? По-моему, нет.

> ориентироваться среди файлов
Это каким же безголовым надо быть, чтобы потеряться в правильно разложенных по директориям нескольким сотням файлов?

>компилировать, собирать
Это один черт должен делать аналог make.

>дебажить
Господи, зачем? Чем отладочноая печать-то с реплом не устраивают?
Я могу еще понять пользу от перехвата ввода-вывода (в т.ч. сетевого) и дампа состояния, но это явно делается не так.

[jdudzik.livejournal.com]

А зачем языку вообще что-то уметь, правда? Давайте все на Brainfuck писать - он тьюринг-полный и кросс-платформенный

[rashid80.livejournal.com]

IDE нужна хотя бы для того что бы:
1. удобно делать рефакторинг и кодогенерацию типовых блоков - экономит время.
2. автокомплит и проверка банального синтаксиса.
3. не держать в голове все функции и виды/типы аргументов для функций, в том числе внешних (из модулей)
4. Запускать/собирать проект кнопкой, а не сваливаться в консоль.

[thesz.livejournal.com]

Меня в команду сишарпистов взяли из-за опыта. C# я тогда не знал.

[jdudzik.livejournal.com]

Не знать C# требует особого, долго лелеямого таланта.

[thedeemon.livejournal.com]

>никогда не было и не будет ADT и паттерн-матчинга

Ходят слухи, что не за горами уже они. C# все ж от джавы далеко ушел и активно развивается.
Кстати, есть пример удачного вписывания ADT и паттерн-матчинга в C#-подобный язык - Haxe. Так что.. шансы есть.