5 Кб, 522x87Haskell (МФА: [hæskəl]) — стандартизированный чистый функциональный язык программирования общего назначения. Является одним из самых распространённых языков программирования с поддержкой отложенных вычислений. Система типов — полная, сильная, статическая, с автоматическим выводом типов, основанная на системе типов Хиндли — Милнера. Поскольку язык функциональный, то основная управляющая структура — это функция.
Отличительная черта языка — серьёзное отношение к типизации; во многом в связи с этим язык назван в честь исследователя теории типов и изобретателя комбинаторной логики Хаскелла Карри.
Имеются средства взаимодействия с кодом на других языках программирования. Есть встроенная поддержка многозадачного и параллельного программирования, развитый инструментарий (средства автоматического тестирования, отладки и профилирования, в том числе для параллельных программ), существует несколько тысяч библиотек с открытым исходным кодом.
https://www.haskell.org/documentation/
https://learnyouahaskell.github.io/introduction.html
Отличительная черта языка — серьёзное отношение к типизации; во многом в связи с этим язык назван в честь исследователя теории типов и изобретателя комбинаторной логики Хаскелла Карри.
Имеются средства взаимодействия с кодом на других языках программирования. Есть встроенная поддержка многозадачного и параллельного программирования, развитый инструментарий (средства автоматического тестирования, отладки и профилирования, в том числе для параллельных программ), существует несколько тысяч библиотек с открытым исходным кодом.
https://www.haskell.org/documentation/
https://learnyouahaskell.github.io/introduction.html
хаскелль крутой а тред так себе
>>630048
Чтобы искусственно улучшить статистику постинга в мёртвом разделе.
Чтобы искусственно улучшить статистику постинга в мёртвом разделе.
>>630509
Срыгос оформил быро, петушатина помойная. Сиди в своём дотнет треде и не вякай, окЭ?
Срыгос оформил быро, петушатина помойная. Сиди в своём дотнет треде и не вякай, окЭ?
>>631145
Да вы заебли везде моноширные шрифты ставить и под сетку равнять
Хочу на вердане с табами писать
Да вы заебли везде моноширные шрифты ставить и под сетку равнять
Хочу на вердане с табами писать
Скачал формолу, поменял символ пробела на таб, скомпилировал и всё заработало, теперь другой вопрос
Чего так много языковой сервер весит? Компилятор сильнее ужимается
А вообще надо было твои треды в тред дохлых языков функционального программирования объединить, был же такой вроде
>>631793
быстрофикс
Чего так много языковой сервер весит? Компилятор сильнее ужимается
А вообще надо было твои треды в тред дохлых языков функционального программирования объединить, был же такой вроде
>>631793
> ровнять
быстрофикс
12 Кб, 225x321Хаски - это для тех, кто слишком горд, чтобы писать на мейнстримной параше, но при этом слишком туп для настоящей математики в лице MATLAB, Wolfram или Isabelle/Coq.
Сажи аутистам.
Сажи аутистам.
Вайбкодить на нём можно? Если нет, то языку пизда.
ЗДАРОВА ПАСАНИ
>2 + 2 = 4
хули хаскель-тред живой а скала-треда нет?
>>659257
Да, даже лучше чем на дефолтных языках. Система типов крепко на рельсы робота ставит.
Да, даже лучше чем на дефолтных языках. Система типов крепко на рельсы робота ставит.
А почему на «самом лучшем ЯП всех времён» нет ни одного более-менее известного проекта?
На всех ФП-языках есть РОВНО один еле-живой проект медленно умирающий под давлением Kafka: RabbitMQ на Эрланге и всё.
На всех ФП-языках есть РОВНО один еле-живой проект медленно умирающий под давлением Kafka: RabbitMQ на Эрланге и всё.
>>728262
Потому что это исследовательский язык. Самым главным проектом на Хаскеле всегда был и будет сам Хаскель.
Потому что это исследовательский язык. Самым главным проектом на Хаскеле всегда был и будет сам Хаскель.
>>728554
То есть я правильно понимаю, что ОП-хуй предлагает мне (условному двачеру) изучить язык, чтобы изучать язык?
Нет, мне нравятся многие штуки, которые я слышу от функциональщиков, они звучат здраво. Но часто я вообще не понимаю, как это применить в реальной работе или хобби и все красивые тезисы разбиваются о реальность как не менее красивая идея чистого Коммунизма. Вот если бы тут были ссылки на 100500 проектов, которые можно покурить и миллион разных хеллоуворлдов, то я бы, может, и попробовал. Есть две большие категории ЯП: первые ругают, а вторыми никто не пользуется. И создаётся такое ощущение, что Хаскель плотно сидит во второй категории и выбираться не собирается.
То есть я правильно понимаю, что ОП-хуй предлагает мне (условному двачеру) изучить язык, чтобы изучать язык?
Нет, мне нравятся многие штуки, которые я слышу от функциональщиков, они звучат здраво. Но часто я вообще не понимаю, как это применить в реальной работе или хобби и все красивые тезисы разбиваются о реальность как не менее красивая идея чистого Коммунизма. Вот если бы тут были ссылки на 100500 проектов, которые можно покурить и миллион разных хеллоуворлдов, то я бы, может, и попробовал. Есть две большие категории ЯП: первые ругают, а вторыми никто не пользуется. И создаётся такое ощущение, что Хаскель плотно сидит во второй категории и выбираться не собирается.
>>728557
Ты просто тупой.
>Но часто я вообще не понимаю, как это применить в реальной работе или хобби
Ты просто тупой.
>>728565
Может быть. А может, дело в том, что нет никаких наглядных примеров, как на хаскеле решают обычные задачи. Или необычные. Хоть какие-нибудь.
Вот если ты такой умный, расскажи, какие три последних задачи ты решил хаской и три самых маленьких задачи и хоть для чего-то их них — пришли код решения, демонстрирующий тотальное доминирование ФП. Желательно, не уровня Lab1, они обычно оторваны от жизни, но в целом можно и такие.
Если послушать теоретиков, то выходит, что ФП уделывает всех по красоте и оптимальности, но почему-то Кролик на восхитительном функциональном Эрланге в норме тянет до 50000 сообщений в секунду, а Кафка, написанная на Б-гомерзкой прожорливой ублюдочной Яве — миллион. Да, у них несколько отличается подход (главное — разница между QoS 0 и QoS 1), но разницу в 20 раз оправдать всё-равно сложно.
>Ты просто тупой.
Может быть. А может, дело в том, что нет никаких наглядных примеров, как на хаскеле решают обычные задачи. Или необычные. Хоть какие-нибудь.
Вот если ты такой умный, расскажи, какие три последних задачи ты решил хаской и три самых маленьких задачи и хоть для чего-то их них — пришли код решения, демонстрирующий тотальное доминирование ФП. Желательно, не уровня Lab1, они обычно оторваны от жизни, но в целом можно и такие.
Если послушать теоретиков, то выходит, что ФП уделывает всех по красоте и оптимальности, но почему-то Кролик на восхитительном функциональном Эрланге в норме тянет до 50000 сообщений в секунду, а Кафка, написанная на Б-гомерзкой прожорливой ублюдочной Яве — миллион. Да, у них несколько отличается подход (главное — разница между QoS 0 и QoS 1), но разницу в 20 раз оправдать всё-равно сложно.
>>728557
ОП тебе нихуя не предлагает, он насрал ленивых тредов про малопопулярные языки, нихуя не дал полезной информации и даже не удосужился подтолкнуть обсуждение. Ниже по доске такой же дохлый тред про Скалу лежит.
Если тебе так интересно, то иди и ищи. Оно легко гуглится.
ОП тебе нихуя не предлагает, он насрал ленивых тредов про малопопулярные языки, нихуя не дал полезной информации и даже не удосужился подтолкнуть обсуждение. Ниже по доске такой же дохлый тред про Скалу лежит.
>Вот если бы тут были ссылки на 100500 проектов, которые можно покурить и миллион разных хеллоуворлдов, то я бы, может, и попробовал
Если тебе так интересно, то иди и ищи. Оно легко гуглится.
>>728262
MLDonkey (OCaml).
MLDonkey (OCaml).
А помните когда-то функциональные языки были самой горячей темой в этом разделе, каждый себя уважающий айтишник должен был на Хабр запостить очередной туториал, объясняющий что такое на самом деле монады или схемы рекурсий? А здесь, и на /c нульчана были кучи тредов про все возможные функциональные языки, включая всякую эзотерику? Кто-то серьёзно думал, что за этим будущее.
>>729064
Ну отчасти они правы оказались, мейнстрим языки впитали в себя функциональщину, она не исчезла бесследно. То что чистые функциональные обмякнут было +- понятно, потому что сделать весь софт иммутабельным это маняфантазии.
Из функциональных кстати lean живёт бодро в своей сфере.
Ну отчасти они правы оказались, мейнстрим языки впитали в себя функциональщину, она не исчезла бесследно. То что чистые функциональные обмякнут было +- понятно, потому что сделать весь софт иммутабельным это маняфантазии.
Из функциональных кстати lean живёт бодро в своей сфере.
>>729064
Дык уже настоящее за "этим". Новые языки отказались от классического ООП, вместо него или старая добрая процедурщина, или функциональщина. В архитектуре тоже идеи из ФП взяты - проектирование через типы и всё сопутствующее.
Дык уже настоящее за "этим". Новые языки отказались от классического ООП, вместо него или старая добрая процедурщина, или функциональщина. В архитектуре тоже идеи из ФП взяты - проектирование через типы и всё сопутствующее.
>>729064
а когда это было? в середине нулевых? ну там валкин и никитонски со своим эхо где они пердолили веб-чат (лол) на эрланге и кложуре. или штангист зефиров с хаскеллем. или оттс на лоре, который рассказывал про коммон лисп на американских аэс. ловсан и коммон лисп. всякие онлайн гемблинги из прибалтики на скэйле
а когда это было? в середине нулевых? ну там валкин и никитонски со своим эхо где они пердолили веб-чат (лол) на эрланге и кложуре. или штангист зефиров с хаскеллем. или оттс на лоре, который рассказывал про коммон лисп на американских аэс. ловсан и коммон лисп. всякие онлайн гемблинги из прибалтики на скэйле
>>729266
Evolution Gaming, лол, помню у нас на местных сайтах буквально годами висели вакансии на Scala разработчиков у них, пару лет назад пропали, наверное переписали всё-таки на чём-то более приземлённом.
>всякие онлайн гемблинги из прибалтики на скэйле
Evolution Gaming, лол, помню у нас на местных сайтах буквально годами висели вакансии на Scala разработчиков у них, пару лет назад пропали, наверное переписали всё-таки на чём-то более приземлённом.
128 Кб, 1578x936>>729294
На обычную джаву со спрингом переехали.
https://careers.evolution.com/job/744000131915275/
https://careers.evolution.com/job/744000131916124/
>Evolution Gaming
На обычную джаву со спрингом переехали.
https://careers.evolution.com/job/744000131915275/
https://careers.evolution.com/job/744000131916124/
>>729350
https://careers.evolution.com/job/744000084218685/
пчел.. нужник и его собаченка фунфунфин там до сих пор на котах пишут монады
https://careers.evolution.com/job/744000084218685/
пчел.. нужник и его собаченка фунфунфин там до сих пор на котах пишут монады
>>729064
>>729218
Сейчас весь хайп ФП сошел на нет, потому что само программирование умерло как явление. Это раньше ты сидел коды ручками набивал и думал про всякие там монады, замыкания - сейчас за тебя все ИИшка делает. Я в общем-то и не особо понимаю в чем теперь вообще ценность языков программирования кроме как в рантайме и наличии большой экосистемы. То что где-то там синтаксис кривой-косой или язык бедный на сахар - уже всем похуй, ты этот код ни читать, ни тем более писать уже никогда не будешь.
>>729218
>Новые языки отказались от классического ООП, вместо него или старая добрая процедурщина, или функциональщина. В архитектуре тоже идеи из ФП взяты - проектирование через типы и всё сопутствующее
Сейчас весь хайп ФП сошел на нет, потому что само программирование умерло как явление. Это раньше ты сидел коды ручками набивал и думал про всякие там монады, замыкания - сейчас за тебя все ИИшка делает. Я в общем-то и не особо понимаю в чем теперь вообще ценность языков программирования кроме как в рантайме и наличии большой экосистемы. То что где-то там синтаксис кривой-косой или язык бедный на сахар - уже всем похуй, ты этот код ни читать, ни тем более писать уже никогда не будешь.
>>729377
Функциональный код проще верифицировать как минимум, всё движется в этом направлении. Ну и смотреть на код всё-таки нужно до сих пор, и читать мишуру из классов, у которых меняется состояние в разных местах, по-моему сильно сложней.
Функциональный код проще верифицировать как минимум, всё движется в этом направлении. Ну и смотреть на код всё-таки нужно до сих пор, и читать мишуру из классов, у которых меняется состояние в разных местах, по-моему сильно сложней.
>>729378
Проще всего человеку читать код на каком-нибудь Go, а не на Scala/Typescript/Rust
А в Go никакой функциональщины и нет. Просто структуры и функции.
>>729378
Зачем? Если тесты зеленые, то оно едет в прод. Мы долго думали у себя, как сделать процедуру код ревью адекватной в эпоху ИИ. В итоге решили полностью отказаться от код ревью человеком. Пусть этим агенты занимаются. Программирование реально умерло как вид деятельности и туда же языки программирования.
Проще всего человеку читать код на каком-нибудь Go, а не на Scala/Typescript/Rust
А в Go никакой функциональщины и нет. Просто структуры и функции.
>>729378
>смотреть на код всё-таки нужно до сих пор
Зачем? Если тесты зеленые, то оно едет в прод. Мы долго думали у себя, как сделать процедуру код ревью адекватной в эпоху ИИ. В итоге решили полностью отказаться от код ревью человеком. Пусть этим агенты занимаются. Программирование реально умерло как вид деятельности и туда же языки программирования.
>>729378
а писать этот функциональный код где? был хайп на скалу. за более чем 10 лет не смогли сделать норм идешку, которая не краснит код (сугак в курсе). куча велосипедов. дегуз забил на зио и пишет на расте. разрабов днем с огнем не сыщешь и все хотят 300к в наносекунду. всякие эрланги, кложуры и прочие хаскелы еще более нишевые языки и если и используются то в очень ограниченных доменах. есть еще всякие хфт фонды, которые окамл пердолят вроде джейнстрит, но это опять единичные случаи и рядовому гребцу туда никогда не попасть
а писать этот функциональный код где? был хайп на скалу. за более чем 10 лет не смогли сделать норм идешку, которая не краснит код (сугак в курсе). куча велосипедов. дегуз забил на зио и пишет на расте. разрабов днем с огнем не сыщешь и все хотят 300к в наносекунду. всякие эрланги, кложуры и прочие хаскелы еще более нишевые языки и если и используются то в очень ограниченных доменах. есть еще всякие хфт фонды, которые окамл пердолят вроде джейнстрит, но это опять единичные случаи и рядовому гребцу туда никогда не попасть
>>729385
А зачем его писать? Инструментов нормальных не завезли - это правда, но сейчас даже IDE и редакторы кода не нужны. Ими тупо не пользуются. Вся работа в терминале через агента. Вон, слыхал что в Jetbrains творится? Там паника настоящая, потому что от их IDEA все отказываются, так как коды никто больше не пишет и не читает, а следовательно и подписку на их продукты больше не покупают. Все в ахуе и не понимают как дальше жить и что будет с компанией. Вот сейчас впопыхах пытаются залезть в уходящий поезд AI.
Даже VS Code и Zed уже не особо нужны сейчас.
Но в целом функциональщина в проде оказалась не нужна. Люди вон спокойно пишут на Go и в хуй не дуют. Языки программирования переоценены. Важен рантайм и экосистема вокруг языка. Синтаксический сахарок дело сугубо второстепенное.
>а писать этот функциональный код где
А зачем его писать? Инструментов нормальных не завезли - это правда, но сейчас даже IDE и редакторы кода не нужны. Ими тупо не пользуются. Вся работа в терминале через агента. Вон, слыхал что в Jetbrains творится? Там паника настоящая, потому что от их IDEA все отказываются, так как коды никто больше не пишет и не читает, а следовательно и подписку на их продукты больше не покупают. Все в ахуе и не понимают как дальше жить и что будет с компанией. Вот сейчас впопыхах пытаются залезть в уходящий поезд AI.
Даже VS Code и Zed уже не особо нужны сейчас.
Но в целом функциональщина в проде оказалась не нужна. Люди вон спокойно пишут на Go и в хуй не дуют. Языки программирования переоценены. Важен рантайм и экосистема вокруг языка. Синтаксический сахарок дело сугубо второстепенное.
Ну и в целом функциональщина это давно подохший хайп.
Сейчас программирование, фреймворки, библиотеки, мобилки, парадигмы, микросервисы, распределенные системы и прочее "классическое" реально сдохло, вся айти индустрия сосредоточена вокруг агентов, LLM, VLM, RAG, MCP, векторных БД, Skills.
Старая айтишка и SaaS помирают и там уже особо делать нечего, людей сокращают налево и направо, а бюджеты режут. Я даже не знаю как в такой атмосфере можно где-то применить функциональщину. Наверное уже никак. Молодые поколения разработчиков часто уже код писать не умеют. Они даже не поймут что такое фукнциональщина даже на базовом уровне, так как они даже банальное императивное программирование на питончике или джаве не освоили и для них это что-то мега низкоуровневое.
Сейчас программирование, фреймворки, библиотеки, мобилки, парадигмы, микросервисы, распределенные системы и прочее "классическое" реально сдохло, вся айти индустрия сосредоточена вокруг агентов, LLM, VLM, RAG, MCP, векторных БД, Skills.
Старая айтишка и SaaS помирают и там уже особо делать нечего, людей сокращают налево и направо, а бюджеты режут. Я даже не знаю как в такой атмосфере можно где-то применить функциональщину. Наверное уже никак. Молодые поколения разработчиков часто уже код писать не умеют. Они даже не поймут что такое фукнциональщина даже на базовом уровне, так как они даже банальное императивное программирование на питончике или джаве не освоили и для них это что-то мега низкоуровневое.
>>729389
Финтех, причем довольно известный.
Несмотря на то что работаем с деньгами - сейчас почти вся работа переложена на ИИ. Но так не только у нас.
Я спрашивал у знакомых - в Stripe например аналогичная ситуация, код уже много месяцев никто не пишет и не читает. Хотя через них овердохуя платежей проходит сейчас.
Финтех, причем довольно известный.
Несмотря на то что работаем с деньгами - сейчас почти вся работа переложена на ИИ. Но так не только у нас.
Я спрашивал у знакомых - в Stripe например аналогичная ситуация, код уже много месяцев никто не пишет и не читает. Хотя через них овердохуя платежей проходит сейчас.
>>729384
Я бы согласился, но по опыту у людей есть какое-то отторжение от работы с указателями, пусть даже неявной как в go. На слайсах там до сих пор спотыкаются.
Если тесты тоже нейронка пишет, то это не сработает без ревью.
>>729385
Уже написали выше, что функциональщина в мейнстрим языки попала. Основная проблема - в голове программистов, которые думают, что только в скале, фшарп или хаскеле можно использовать функциональные подходы.
>Проще всего человеку читать код на каком-нибудь Go
Я бы согласился, но по опыту у людей есть какое-то отторжение от работы с указателями, пусть даже неявной как в go. На слайсах там до сих пор спотыкаются.
>Если тесты зеленые, то оно едет в прод
Если тесты тоже нейронка пишет, то это не сработает без ревью.
>>729385
>писать этот функциональный код где?
Уже написали выше, что функциональщина в мейнстрим языки попала. Основная проблема - в голове программистов, которые думают, что только в скале, фшарп или хаскеле можно использовать функциональные подходы.
560 Кб, 1072x1280>>729390
Ох уж мне эти «ИИ-евангелисты».
На пике — абсолютно типичная история, когда ты берёшься за то, в чём не разбираешься. Не будет оно за тебя думать потому, что не умеет думать.
Ох уж мне эти «ИИ-евангелисты».
На пике — абсолютно типичная история, когда ты берёшься за то, в чём не разбираешься. Не будет оно за тебя думать потому, что не умеет думать.
>>729414
Ты бы еще новости 10 летней давности притащил. В AI очень много что изменилось за последние полгода.
> март 2025
Ты бы еще новости 10 летней давности притащил. В AI очень много что изменилось за последние полгода.
>>729437
Проблемы не ушли: ограниченный контекст, проблемы с проектированием, следующие из этого проёбы.
Например, цена токена, которая улетела так, что дешевле стало нанимать людей.
>Ты бы еще новости 10 летней давности притащил.
Проблемы не ушли: ограниченный контекст, проблемы с проектированием, следующие из этого проёбы.
>много что изменилось за последние полгода
Например, цена токена, которая улетела так, что дешевле стало нанимать людей.
>>729147
Тоже самое можно сказать про Coq и Agda.
Только их сфера мало что имеет с программированием общего.
>Из функциональных кстати lean живёт бодро в своей сфере.
Тоже самое можно сказать про Coq и Agda.
Только их сфера мало что имеет с программированием общего.
>>626504 (OP)
https://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-from-haskell.html
неактуально в 2к26. все берут простые языки уровня питона, го, джавы, джс, затем подключают иишку через агентов и высирают килотонны кода за считанные часы-дни. времена, когда нужно было заучивать мудренные языки уровня хэскеля, эрланга, скэйлы прошли. никто не читает код
>Haskell
https://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-from-haskell.html
неактуально в 2к26. все берут простые языки уровня питона, го, джавы, джс, затем подключают иишку через агентов и высирают килотонны кода за считанные часы-дни. времена, когда нужно было заучивать мудренные языки уровня хэскеля, эрланга, скэйлы прошли. никто не читает код
>>730736
Скажи, братец, а когда это вообще было актуально? Хацкель всю жизнь был сугубо экспериментальным академическим языком, а эрланг и скала всё равно что кобол, они живут исключительно потому, что в своё время поехавшие шизики написали на них важное легаси, с которым ИИ также прекрасно справляется.
Скажи, братец, а когда это вообще было актуально? Хацкель всю жизнь был сугубо экспериментальным академическим языком, а эрланг и скала всё равно что кобол, они живут исключительно потому, что в своё время поехавшие шизики написали на них важное легаси, с которым ИИ также прекрасно справляется.