Haskell (МФА: [hæskəl]) — стандартизированный чистый функциональный язык программирования общего наз /haskell/
Аноним
18/01/26 Вск 07:33:35
№
1
Отличительная черта языка — серьёзное отношение к типизации; во многом в связи с этим язык назван в честь исследователя теории типов и изобретателя комбинаторной логики Хаскелла Карри.
Имеются средства взаимодействия с кодом на других языках программирования. Есть встроенная поддержка многозадачного и параллельного программирования, развитый инструментарий (средства автоматического тестирования, отладки и профилирования, в том числе для параллельных программ), существует несколько тысяч библиотек с открытым исходным кодом.
https://www.haskell.org/documentation/
https://learnyouahaskell.github.io/introduction.html
Чтобы искусственно улучшить статистику постинга в мёртвом разделе.
Срыгос оформил быро, петушатина помойная. Сиди в своём дотнет треде и не вякай, окЭ?
Да вы заебли везде моноширные шрифты ставить и под сетку равнять
Хочу на вердане с табами писать
Чего так много языковой сервер весит? Компилятор сильнее ужимается
А вообще надо было твои треды в тред дохлых языков функционального программирования объединить, был же такой вроде
>>3631793
> ровнять
быстрофикс
Сажи аутистам.
>2 + 2 = 4
Да, даже лучше чем на дефолтных языках. Система типов крепко на рельсы робота ставит.
На всех ФП-языках есть РОВНО один еле-живой проект медленно умирающий под давлением Kafka: RabbitMQ на Эрланге и всё.
>Каскель
Наречие для собак не осиливших автоматную инженерию.
Потому что это исследовательский язык. Самым главным проектом на Хаскеле всегда был и будет сам Хаскель.
То есть я правильно понимаю, что ОП-хуй предлагает мне (условному двачеру) изучить язык, чтобы изучать язык?
Нет, мне нравятся многие штуки, которые я слышу от функциональщиков, они звучат здраво. Но часто я вообще не понимаю, как это применить в реальной работе или хобби и все красивые тезисы разбиваются о реальность как не менее красивая идея чистого Коммунизма. Вот если бы тут были ссылки на 100500 проектов, которые можно покурить и миллион разных хеллоуворлдов, то я бы, может, и попробовал. Есть две большие категории ЯП: первые ругают, а вторыми никто не пользуется. И создаётся такое ощущение, что Хаскель плотно сидит во второй категории и выбираться не собирается.
>Но часто я вообще не понимаю, как это применить в реальной работе или хобби
Ты просто тупой.
>Ты просто тупой.
Может быть. А может, дело в том, что нет никаких наглядных примеров, как на хаскеле решают обычные задачи. Или необычные. Хоть какие-нибудь.
Вот если ты такой умный, расскажи, какие три последних задачи ты решил хаской и три самых маленьких задачи и хоть для чего-то их них — пришли код решения, демонстрирующий тотальное доминирование ФП. Желательно, не уровня Lab1, они обычно оторваны от жизни, но в целом можно и такие.
Если послушать теоретиков, то выходит, что ФП уделывает всех по красоте и оптимальности, но почему-то Кролик на восхитительном функциональном Эрланге в норме тянет до 50000 сообщений в секунду, а Кафка, написанная на Б-гомерзкой прожорливой ублюдочной Яве — миллион. Да, у них несколько отличается подход (главное — разница между QoS 0 и QoS 1), но разницу в 20 раз оправдать всё-равно сложно.
ОП тебе нихуя не предлагает, он насрал ленивых тредов про малопопулярные языки, нихуя не дал полезной информации и даже не удосужился подтолкнуть обсуждение. Ниже по доске такой же дохлый тред про Скалу лежит.
>Вот если бы тут были ссылки на 100500 проектов, которые можно покурить и миллион разных хеллоуворлдов, то я бы, может, и попробовал
Если тебе так интересно, то иди и ищи. Оно легко гуглится.
Ну отчасти они правы оказались, мейнстрим языки впитали в себя функциональщину, она не исчезла бесследно. То что чистые функциональные обмякнут было +- понятно, потому что сделать весь софт иммутабельным это маняфантазии.
Из функциональных кстати lean живёт бодро в своей сфере.
Дык уже настоящее за "этим". Новые языки отказались от классического ООП, вместо него или старая добрая процедурщина, или функциональщина. В архитектуре тоже идеи из ФП взяты - проектирование через типы и всё сопутствующее.
а когда это было? в середине нулевых? ну там валкин и никитонски со своим эхо где они пердолили веб-чат (лол) на эрланге и кложуре. или штангист зефиров с хаскеллем. или оттс на лоре, который рассказывал про коммон лисп на американских аэс. ловсан и коммон лисп. всякие онлайн гемблинги из прибалтики на скэйле
>всякие онлайн гемблинги из прибалтики на скэйле
Evolution Gaming, лол, помню у нас на местных сайтах буквально годами висели вакансии на Scala разработчиков у них, пару лет назад пропали, наверное переписали всё-таки на чём-то более приземлённом.
>Evolution Gaming
На обычную джаву со спрингом переехали.
https://careers.evolution.com/job/744000131915275/
https://careers.evolution.com/job/744000131916124/
https://careers.evolution.com/job/744000084218685/
пчел.. нужник и его собаченка фунфунфин там до сих пор на котах пишут монады
>>3729218
>Новые языки отказались от классического ООП, вместо него или старая добрая процедурщина, или функциональщина. В архитектуре тоже идеи из ФП взяты - проектирование через типы и всё сопутствующее
Сейчас весь хайп ФП сошел на нет, потому что само программирование умерло как явление. Это раньше ты сидел коды ручками набивал и думал про всякие там монады, замыкания - сейчас за тебя все ИИшка делает. Я в общем-то и не особо понимаю в чем теперь вообще ценность языков программирования кроме как в рантайме и наличии большой экосистемы. То что где-то там синтаксис кривой-косой или язык бедный на сахар - уже всем похуй, ты этот код ни читать, ни тем более писать уже никогда не будешь.
Функциональный код проще верифицировать как минимум, всё движется в этом направлении. Ну и смотреть на код всё-таки нужно до сих пор, и читать мишуру из классов, у которых меняется состояние в разных местах, по-моему сильно сложней.
Проще всего человеку читать код на каком-нибудь Go, а не на Scala/Typescript/Rust
А в Go никакой функциональщины и нет. Просто структуры и функции.
>>3729378
>смотреть на код всё-таки нужно до сих пор
Зачем? Если тесты зеленые, то оно едет в прод. Мы долго думали у себя, как сделать процедуру код ревью адекватной в эпоху ИИ. В итоге решили полностью отказаться от код ревью человеком. Пусть этим агенты занимаются. Программирование реально умерло как вид деятельности и туда же языки программирования.
а писать этот функциональный код где? был хайп на скалу. за более чем 10 лет не смогли сделать норм идешку, которая не краснит код (сугак в курсе). куча велосипедов. дегуз забил на зио и пишет на расте. разрабов днем с огнем не сыщешь и все хотят 300к в наносекунду. всякие эрланги, кложуры и прочие хаскелы еще более нишевые языки и если и используются то в очень ограниченных доменах. есть еще всякие хфт фонды, которые окамл пердолят вроде джейнстрит, но это опять единичные случаи и рядовому гребцу туда никогда не попасть
>а писать этот функциональный код где
А зачем его писать? Инструментов нормальных не завезли - это правда, но сейчас даже IDE и редакторы кода не нужны. Ими тупо не пользуются. Вся работа в терминале через агента. Вон, слыхал что в Jetbrains творится? Там паника настоящая, потому что от их IDEA все отказываются, так как коды никто больше не пишет и не читает, а следовательно и подписку на их продукты больше не покупают. Все в ахуе и не понимают как дальше жить и что будет с компанией. Вот сейчас впопыхах пытаются залезть в уходящий поезд AI.
Даже VS Code и Zed уже не особо нужны сейчас.
Но в целом функциональщина в проде оказалась не нужна. Люди вон спокойно пишут на Go и в хуй не дуют. Языки программирования переоценены. Важен рантайм и экосистема вокруг языка. Синтаксический сахарок дело сугубо второстепенное.
Сейчас программирование, фреймворки, библиотеки, мобилки, парадигмы, микросервисы, распределенные системы и прочее "классическое" реально сдохло, вся айти индустрия сосредоточена вокруг агентов, LLM, VLM, RAG, MCP, векторных БД, Skills.
Старая айтишка и SaaS помирают и там уже особо делать нечего, людей сокращают налево и направо, а бюджеты режут. Я даже не знаю как в такой атмосфере можно где-то применить функциональщину. Наверное уже никак. Молодые поколения разработчиков часто уже код писать не умеют. Они даже не поймут что такое фукнциональщина даже на базовом уровне, так как они даже банальное императивное программирование на питончике или джаве не освоили и для них это что-то мега низкоуровневое.
Финтех, причем довольно известный.
Несмотря на то что работаем с деньгами - сейчас почти вся работа переложена на ИИ. Но так не только у нас.
Я спрашивал у знакомых - в Stripe например аналогичная ситуация, код уже много месяцев никто не пишет и не читает. Хотя через них овердохуя платежей проходит сейчас.
>Проще всего человеку читать код на каком-нибудь Go
Я бы согласился, но по опыту у людей есть какое-то отторжение от работы с указателями, пусть даже неявной как в go. На слайсах там до сих пор спотыкаются.
>Если тесты зеленые, то оно едет в прод
Если тесты тоже нейронка пишет, то это не сработает без ревью.
>>3729385
>писать этот функциональный код где?
Уже написали выше, что функциональщина в мейнстрим языки попала. Основная проблема - в голове программистов, которые думают, что только в скале, фшарп или хаскеле можно использовать функциональные подходы.
Ох уж мне эти «ИИ-евангелисты».
На пике — абсолютно типичная история, когда ты берёшься за то, в чём не разбираешься. Не будет оно за тебя думать потому, что не умеет думать.
> март 2025
Ты бы еще новости 10 летней давности притащил. В AI очень много что изменилось за последние полгода.
>Ты бы еще новости 10 летней давности притащил.
Проблемы не ушли: ограниченный контекст, проблемы с проектированием, следующие из этого проёбы.
>много что изменилось за последние полгода
Например, цена токена, которая улетела так, что дешевле стало нанимать людей.