Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

в индустрии есть "прагматики" с самыми дикими взглядами

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

манагерам не интересны best practices

Еще как интересны. Попробуй какого-нибудь манагера уговорить писать десктопное приложение в нетрадиционном стиле. Он покрутит пальцем у виска и отправит на какой-нибудь MVC-like фреймворк.

Если я завтра приду к манагеру и скажу <<новый сервис я пишу на Idris>>, манагер скажет "Ну ок чо"

А чо вы разрабатываете?

Если я завтра приду к манагеру и скажу <<новый сервис я пишу на Idris>>, манагер скажет "Ну ок чо"

В большой компании? В Каспере, Яндексе, или, там, JetBrains? Ну да, ну да, конечно

Манагер не знает, что такое MVC -like фреймворк

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

В каспере вроде есть хаскелисты (я слышал миф)

Они не пишут на них лишь потому, что у кого-то левая пятка возжелала этого

Во всех трёх есть хаскелисты

В каспере вроде есть хаскелисты (я слышал миф)

В JB скалисты вроде есть, а хаскелисты откуда? У них же jvm-lock

Давайте начнём с того, что в индустрии вас легко заменить на нейросеть

Давайте начнём с того, что в индустрии вас легко заменить на нейросеть

Хаскеллисты есть. Есть тулзы на хаскелле. Нет продуктов на хаскелле.

наличие X в компании Y /= писать код на X в компании Y

В JB скалисты вроде есть, а хаскелисты откуда? У них же jvm-lock

ЕЕЕЕ, микросервисы

Продукт - это большая цепочка приложений и сервисов, каждый на своём языке

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

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

под хаскелистами подразумевается "на работе - на яве, ночью под одьялом с фонариком - на хаскеле"?

Хашкел же пока дефолт для разработки нового теортипного языка.

А они потом его на джаву переписывают? Или как?

Добро пожаловать в реальность. Мне прекрасно понятно ЧТО нужно индустрии. Прелесть хаскеля в том, что он контркультурен, то есть направлен на интересы работников и производителей, а не на интересы тупого менеджмента

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

откуда у программиста интерес в выпуске продукта?

я может в каком то другом мире живу, но в моем хороший программист это тот кто может быстро и качественно делать свою работу

я может в каком то другом мире живу, но в моем хороший программист это тот кто может быстро и качественно делать свою работу

ну вот в этом и разница в интересах

не наблюдаю

каким интересам программиста отвечает то что он "может быстро и качественно делать свою работу"?

Не хотел бы я жить в мире, где рабство добродетель

Интерес — не умереть с голоду (или под репрессивной машиной, если в китае)

каким интересам программиста отвечает то что он "может быстро и качественно делать свою работу"?

рабство это когда у тебя нет выбора

лучше получается - больше зарплата

Нет, рабство это выбор между умереть и делать работу

Нет, рабство это выбор между умереть и делать работу

У дикого волка есть работа - гоняться за зайцем, если он этого делать не будет, то он умрёт. Значит ли это, что волк - раб?