Haskell: совершенствование языка vs популярные крупные проекты

По мотивам Haskell: цель или всё-таки средство?.
Тема похоже назрела, хотелось бы вынести это обсуждение за пределы сообщества ruhaskell в русскоязычное сообщество программистов(на cyberforume наверно их больше всего), и просто захотелось пообщаться.
Проблему никакую тут не решаем, просто, чтобы поделиться мнениями.

Сокращения:
ПКП - Популярные крупные проекты
наХ - на Haskell

Почему так мало ПКПнаХ?

Итак в haskell приходят разные программисты, но чаще это люди, которые хотят найти идеальный язык программирования. Возможно это можно обобщить на многие функциональные языки.
В погоне за новыми идеями и абстракциями они забыивают прона решение проблем конечных пользователей.
Что я об этом думаю? (Кому это интересно? )
Я думаю, что это здорово.
Здорово, что есть целое сообщество, которое создаёт новый мир, немного оторванный от реальности.
Влияние этого внутреннего мира неявно ощущают все, и не важно, что мало популярных конечных программ на ФП.
И для меня не так важно подходит Haskell для продакшена или нет.
Мне нравится идея совершенствования языка, который бы всегда оставался немного в тени.

В душе я больше бездельникфилософ-идеалист(именно это меня и привело к Haskell), чем инженер, и не умею хорошо решать проблемы конечных пользователей.
Если я пойму, что есть нечто лучше Haskell-я(идейно) и там нет ни одной библиотеки, то кинусь изучать лучшее.
А оно рано или поздно появится и это понимание придёт.
Ведь изменится железо, на котором мы работаем, изменится мир в котором мы живём...

Что нужно сделать, чтобы ПКПнаХ стало больше?

Как бы ответ в самом сокращении...

Когда ПКПнаХ станет больше?

Когда появится больше высококвалифицированных людей в сообществе, желающих делать ПКПнаХ.

0

Сообщение от XRuZzz Что я об этом думаю? (Кому это интересно? ) Я думаю, что это здорово.

+1.

0

Ну, во первых, в этой палате проблемы Haskell (анаграмма ask Hell) мало кого интересуют, что естественно. У всех свои. Так что, вангую, (и XRuZzz, это знал когда тОпил) обсуждения сведётся "H - плохо, зачем он нужен, вот на языке таком то блаблабла...". Впрочем, и сам XRuZzz, хитро подливает масла в огонь. Немного остудим.

Сообщение от XRuZzz Итак в haskell приходят разные программисты, но чаще это люди, которые хотят найти идеальный язык программирования.

Т.е. полные чайники не понимающие что идеального языка быть не может? Или сумашедшие? По первому врят ли. По второму тоже хотел бы возразить, но ... среди Хаскеллистов полно сумашедших. Покажу только на себя, т.к. на другого - это будет нарушение правил.
В общем, не слушайте чего я выше написал . В хаскелл идут восновном математики всякие, которые с помощью него играются с хилломорфизмами и апоморфизмами. Они же ваяют компилятор ghc (по крайней мере рулят там), наворачивая язык "по математически". В основном прокачивая систему типов. И вот это, можно сказать продукт жизнедеятельности математиков, очень интересен простым смертным программистам. Которые нетрадиционн имеют нетрадиционное мышление, способность заглянуть за рамки ООП паттернов и прочего квадратно гнездового мышления.
Нет, я не против ООП вообще то. Но интересно посмотреть когда без него получается минимум не хуже.

Сообщение от XRuZzz Здорово, что есть целое сообщество, которое создаёт новый мир, немного оторванный от реальности.

Вообще то сам язык в отрыве от реальности никак не виноват. Конечно, из за лени по дефолту он далеко не самый шустрый (не числодробилка), так что моделировать на нём продувку самолёта в аэродинтрубе в реальном времени не стоит. Но для большинства применений он бы подошёл, если бы не ...
Если бы не отсутствие множества необходимых пакетов (библиотек). То что интересно математикам (кое что из этого и нам), то есть. А кое чего для практического проганья то и нету. Подробнее объяснять не стоит, т.к. эта палата не для одних Хаскеллистов.

Сообщение от XRuZzz И для меня не так важно подходит Haskell для продакшена или нет.

Ну, кому как. Стал бы он больше подходить для продакшена, появлялись бы отлаженные путёвые практические пакеты, прогеры бы подтянулись. У меня, вот, нет желания прогать обязательно на редком языке. Тут чисто вопрос нравится - не нравится. Для меня тот язык хорош у которого хотя бы два кэцэ есть система типов достаточно навёрнута до такой степени, что бы, хотя бы, значительную часть задачи выразить уже в типах, и только потом в теле функций. Кроме проверенного на практике уменьшения времени на отладку, это даёт специфическую эйфорию. Посему попытки какое то время не писать на Haskell начинают требовать от меня дозы Haskell. Ни с каким другим языком, даже с теми, с которыми знакомился после Haskell, такого чувства не возникает. Можно даже сказать что моя жизнь делится на два этапа : когда я ещё не начал изучать Haskell и после. Но думаю что это очень индивидуально и не собираюсь никому советовать прямо "попробуй и свет истины ...." ... в общем это так, поток ночного сознания. Не исключено что одним полушарием я сейчас сплю.

0

Сообщение от KolodeznyDiver Т.е. полные чайники не понимающие что идеального языка быть не может? Или сумашедшие? По первому врят ли.

Это просто я неточно выразился.

Есть такая мысль у меня, что людям, которые способны создавать ПКП на других языках(из которых некоторые могли бы изучить Haskell и делать это на нём), просто Haskell не нужен для этого, они и без него умеют эффективно с железом работать и делать всё, что нужно. Ну так пусть и делают.

0

Сообщение от XRuZzz но чаще это люди, которые хотят найти идеальный язык программирования

И выясняют, что идеальный язык это же не про хаскелл

Сообщение от XRuZzz В погоне за новыми идеями и абстракциями они забыивают прона решение проблем конечных пользователей.

То есть это хобби. Ну, кому-то хаскелл, а кому-то на горных лыжах сгонять. Каждому свое

Сообщение от XRuZzz то кинусь изучать лучшее

Так что там насчет Idris? А может CFE, Elixir, Clojure, Scala? Идейность разная бывает, на вкус и цвет.

Сообщение от XRuZzz Когда появится больше высококвалифицированных людей в сообществе, желающих делать ПКПнаХ.

Что очень вряд ли)

Сообщение от KolodeznyDiver Если бы не отсутствие множества необходимых пакетов (библиотек).

Это просто боль Мне нет дела до всяких абстракций хаскеля, если не могу на нем быстро запилить нужный тривиальный функционал.

Сообщение от XRuZzz из которых некоторые могли бы изучить Haskell и делать это на нём

А в чем профит?

Сообщение от XRuZzz Ну так пусть и делают

Спасибо

0

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

Из софта меня больше интересуют узкоспециализированные хорошие программные инструменты, например для торговли криптовалютой. Для этого я и использую Haskell.

0

Сообщение от ct0r То есть это хобби.

Да. Языки не для хобби (т.е. ПРО), это те что в топах по вакансиям. Се ля ви. Ну ещё некоторые по настоящему специализированные, если вы работает в этой нише. Т.е. не язык с возможностью в исходнике изменить синтаксис. В Haskell тоже можно вставить в исходник (почти) SQL или (почти) HTML, но заказчика чего там у тебя в исходнике не волнует. Я имею ввиду специализированные языки под Erlang VM (BEAM) с горячей заменой кода. JavaScript и некоторые в неё компилируемые как безальтернатива для вебморд. Или языки применяемые безальтернативно в распространённых пакетах - 1С, VBA. А всё остальное, да, игрушка, как WoT. Как свой WoT не расхваливай, пока он не взлетел, это хобби.

0

Имхо, некоторое время назад, одной из главных, на мой взгляд, проблем Haskell'а была его постоянно мутирующая пакетная инфраструктура. Попытка добавить какой-то пакет спустя некоторое время превращалась в какой-то хентай... Ребята создавшие стек, как по мне, просто святые, выведшие меня из cabal hell. Система снепшотов это просто счастье какое-то.

0

Araneo, да, многое постепенно улучшается, и это радует.

0

https://twitter.com/listochkin... 8057614336

0