М.Двач / Программирование

5 Кб, 522x87
Haskell (МФА: [hæskəl]) — стандартизированный чистый функциональный язык программирования общего наз /haskell/ 18 янв, 07:33 3626504 В конец треда | Веб

Haskell (МФА: [hæskəl]) — стандартизированный чистый функциональный язык программирования общего назначения. Является одним из самых распространённых языков программирования с поддержкой отложенных вычислений. Система типов — полная, сильная, статическая, с автоматическим выводом типов, основанная на системе типов Хиндли — Милнера. Поскольку язык функциональный, то основная управляющая структура — это функция.

Отличительная черта языка — серьёзное отношение к типизации; во многом в связи с этим язык назван в честь исследователя теории типов и изобретателя комбинаторной логики Хаскелла Карри.

Имеются средства взаимодействия с кодом на других языках программирования. Есть встроенная поддержка многозадачного и параллельного программирования, развитый инструментарий (средства автоматического тестирования, отладки и профилирования, в том числе для параллельных программ), существует несколько тысяч библиотек с открытым исходным кодом.

https://www.haskell.org/documentation/
https://learnyouahaskell.github.io/introduction.html

Ответы728500

2 21 янв, 17:49 2 3629077

хаскелль крутой а тред так себе

3 22 янв, 22:43 3 3630048

Нахуя опять откопали стюардессу?

Ответы630133

sage 4 23 янв, 01:56 4 3630133

>>3630048
Чтобы искусственно улучшить статистику постинга в мёртвом разделе.

5 23 янв, 14:18 5 3630509

А у хаскеля форматировщика с табами нету? Или с гибкой настройкой там...

Ответы631145

6 24 янв, 12:13 6 3631145

>>3630509
Срыгос оформил быро, петушатина помойная. Сиди в своём дотнет треде и не вякай, окЭ?

Ответы631793

7 25 янв, 00:19 7 3631793

>>3631145
Да вы заебли везде моноширные шрифты ставить и под сетку равнять
Хочу на вердане с табами писать

Ответы659253

8 8 мар, 12:33 8 3659253

Скачал формолу, поменял символ пробела на таб, скомпилировал и всё заработало, теперь другой вопрос
Чего так много языковой сервер весит? Компилятор сильнее ужимается

А вообще надо было твои треды в тред дохлых языков функционального программирования объединить, был же такой вроде

>>3631793
> ровнять
быстрофикс

12 Кб, 225x321
sage 9 8 мар, 12:41 9 3659257

Хаски - это для тех, кто слишком горд, чтобы писать на мейнстримной параше, но при этом слишком туп для настоящей математики в лице MATLAB, Wolfram или Isabelle/Coq.
Сажи аутистам.

Ответы697630

10 8 мар, 14:51 10 3659350

Вайбкодить на нём можно? Если нет, то языку пизда.

11 30 мар, 11:20 11 3675425

ЗДАРОВА ПАСАНИ
>2 + 2 = 4

12 25 апр, 12:56 12 3693635

хули хаскель-тред живой а скала-треда нет?

13 30 апр, 20:48 13 3697630

>>3659257
Да, даже лучше чем на дефолтных языках. Система типов крепко на рельсы робота ставит.

14 5 июля, 03:08 14 3728262

А почему на «самом лучшем ЯП всех времён» нет ни одного более-менее известного проекта?
На всех ФП-языках есть РОВНО один еле-живой проект медленно умирающий под давлением Kafka: RabbitMQ на Эрланге и всё.

Ответы728554728906

15 5 июля, 20:24 15 3728500

>>3626504 (OP)
>Каскель
Наречие для собак не осиливших автоматную инженерию.

16 6 июля, 02:44 16 3728554

>>3728262
Потому что это исследовательский язык. Самым главным проектом на Хаскеле всегда был и будет сам Хаскель.

Ответы728557

17 6 июля, 05:00 17 3728557

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

Ответы728565728799

18 6 июля, 07:03 18 3728565

>>3728557
>Но часто я вообще не понимаю, как это применить в реальной работе или хобби
Ты просто тупой.

Ответы728712

19 6 июля, 14:00 19 3728712

>>3728565
>Ты просто тупой.
Может быть. А может, дело в том, что нет никаких наглядных примеров, как на хаскеле решают обычные задачи. Или необычные. Хоть какие-нибудь.

Вот если ты такой умный, расскажи, какие три последних задачи ты решил хаской и три самых маленьких задачи и хоть для чего-то их них — пришли код решения, демонстрирующий тотальное доминирование ФП. Желательно, не уровня Lab1, они обычно оторваны от жизни, но в целом можно и такие.

Если послушать теоретиков, то выходит, что ФП уделывает всех по красоте и оптимальности, но почему-то Кролик на восхитительном функциональном Эрланге в норме тянет до 50000 сообщений в секунду, а Кафка, написанная на Б-гомерзкой прожорливой ублюдочной Яве — миллион. Да, у них несколько отличается подход (главное — разница между QoS 0 и QoS 1), но разницу в 20 раз оправдать всё-равно сложно.

20 6 июля, 17:41 20 3728799

>>3728557
ОП тебе нихуя не предлагает, он насрал ленивых тредов про малопопулярные языки, нихуя не дал полезной информации и даже не удосужился подтолкнуть обсуждение. Ниже по доске такой же дохлый тред про Скалу лежит.
>Вот если бы тут были ссылки на 100500 проектов, которые можно покурить и миллион разных хеллоуворлдов, то я бы, может, и попробовал
Если тебе так интересно, то иди и ищи. Оно легко гуглится.

21 7 июля, 00:21 21 3728906

>>3728262
MLDonkey (OCaml).

22 7 июля, 15:00 22 3729064

А помните когда-то функциональные языки были самой горячей темой в этом разделе, каждый себя уважающий айтишник должен был на Хабр запостить очередной туториал, объясняющий что такое на самом деле монады или схемы рекурсий? А здесь, и на /c нульчана были кучи тредов про все возможные функциональные языки, включая всякую эзотерику? Кто-то серьёзно думал, что за этим будущее.

Ответы729147729218729266729377

23 7 июля, 18:01 23 3729147

>>3729064
Ну отчасти они правы оказались, мейнстрим языки впитали в себя функциональщину, она не исчезла бесследно. То что чистые функциональные обмякнут было +- понятно, потому что сделать весь софт иммутабельным это маняфантазии.
Из функциональных кстати lean живёт бодро в своей сфере.

Ответы729502

24 7 июля, 21:42 24 3729218

>>3729064
Дык уже настоящее за "этим". Новые языки отказались от классического ООП, вместо него или старая добрая процедурщина, или функциональщина. В архитектуре тоже идеи из ФП взяты - проектирование через типы и всё сопутствующее.

Ответы729377

25 8 июля, 07:08 25 3729266

>>3729064
а когда это было? в середине нулевых? ну там валкин и никитонски со своим эхо где они пердолили веб-чат (лол) на эрланге и кложуре. или штангист зефиров с хаскеллем. или оттс на лоре, который рассказывал про коммон лисп на американских аэс. ловсан и коммон лисп. всякие онлайн гемблинги из прибалтики на скэйле

Ответы729294

26 8 июля, 09:48 26 3729294

>>3729266
>всякие онлайн гемблинги из прибалтики на скэйле
Evolution Gaming, лол, помню у нас на местных сайтах буквально годами висели вакансии на Scala разработчиков у них, пару лет назад пропали, наверное переписали всё-таки на чём-то более приземлённом.

Ответы729350

128 Кб, 1578x936
27 8 июля, 11:55 27 3729350

>>3729294
>Evolution Gaming
На обычную джаву со спрингом переехали.

https://careers.evolution.com/job/744000131915275/
https://careers.evolution.com/job/744000131916124/

Ответы729360

28 8 июля, 12:15 28 3729360

>>3729350
https://careers.evolution.com/job/744000084218685/

пчел.. нужник и его собаченка фунфунфин там до сих пор на котах пишут монады

29 8 июля, 12:34 29 3729377

>>3729064
>>3729218
>Новые языки отказались от классического ООП, вместо него или старая добрая процедурщина, или функциональщина. В архитектуре тоже идеи из ФП взяты - проектирование через типы и всё сопутствующее

Сейчас весь хайп ФП сошел на нет, потому что само программирование умерло как явление. Это раньше ты сидел коды ручками набивал и думал про всякие там монады, замыкания - сейчас за тебя все ИИшка делает. Я в общем-то и не особо понимаю в чем теперь вообще ценность языков программирования кроме как в рантайме и наличии большой экосистемы. То что где-то там синтаксис кривой-косой или язык бедный на сахар - уже всем похуй, ты этот код ни читать, ни тем более писать уже никогда не будешь.

Ответы729378

30 8 июля, 12:42 30 3729378

>>3729377
Функциональный код проще верифицировать как минимум, всё движется в этом направлении. Ну и смотреть на код всё-таки нужно до сих пор, и читать мишуру из классов, у которых меняется состояние в разных местах, по-моему сильно сложней.

Ответы729384729385

31 8 июля, 12:51 31 3729384

>>3729378
Проще всего человеку читать код на каком-нибудь Go, а не на Scala/Typescript/Rust

А в Go никакой функциональщины и нет. Просто структуры и функции.

>>3729378
>смотреть на код всё-таки нужно до сих пор
Зачем? Если тесты зеленые, то оно едет в прод. Мы долго думали у себя, как сделать процедуру код ревью адекватной в эпоху ИИ. В итоге решили полностью отказаться от код ревью человеком. Пусть этим агенты занимаются. Программирование реально умерло как вид деятельности и туда же языки программирования.

Ответы729389729395

32 8 июля, 12:54 32 3729385

>>3729378
а писать этот функциональный код где? был хайп на скалу. за более чем 10 лет не смогли сделать норм идешку, которая не краснит код (сугак в курсе). куча велосипедов. дегуз забил на зио и пишет на расте. разрабов днем с огнем не сыщешь и все хотят 300к в наносекунду. всякие эрланги, кложуры и прочие хаскелы еще более нишевые языки и если и используются то в очень ограниченных доменах. есть еще всякие хфт фонды, которые окамл пердолят вроде джейнстрит, но это опять единичные случаи и рядовому гребцу туда никогда не попасть

Ответы729388729395

33 8 июля, 13:00 33 3729388

>>3729385
>а писать этот функциональный код где
А зачем его писать? Инструментов нормальных не завезли - это правда, но сейчас даже IDE и редакторы кода не нужны. Ими тупо не пользуются. Вся работа в терминале через агента. Вон, слыхал что в Jetbrains творится? Там паника настоящая, потому что от их IDEA все отказываются, так как коды никто больше не пишет и не читает, а следовательно и подписку на их продукты больше не покупают. Все в ахуе и не понимают как дальше жить и что будет с компанией. Вот сейчас впопыхах пытаются залезть в уходящий поезд AI.
Даже VS Code и Zed уже не особо нужны сейчас.

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

Ответы729389

34 8 июля, 13:03 34 3729389

>>3729388
>>3729384
расскажи где работаешь, что вы все переложили на ии?

Ответы729393

35 8 июля, 13:05 35 3729390

Ну и в целом функциональщина это давно подохший хайп.
Сейчас программирование, фреймворки, библиотеки, мобилки, парадигмы, микросервисы, распределенные системы и прочее "классическое" реально сдохло, вся айти индустрия сосредоточена вокруг агентов, LLM, VLM, RAG, MCP, векторных БД, Skills.

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

Ответы729414

36 8 июля, 13:14 36 3729393

>>3729389
Финтех, причем довольно известный.
Несмотря на то что работаем с деньгами - сейчас почти вся работа переложена на ИИ. Но так не только у нас.

Я спрашивал у знакомых - в Stripe например аналогичная ситуация, код уже много месяцев никто не пишет и не читает. Хотя через них овердохуя платежей проходит сейчас.

37 8 июля, 13:18 37 3729395

>>3729384
>Проще всего человеку читать код на каком-нибудь Go
Я бы согласился, но по опыту у людей есть какое-то отторжение от работы с указателями, пусть даже неявной как в go. На слайсах там до сих пор спотыкаются.
>Если тесты зеленые, то оно едет в прод
Если тесты тоже нейронка пишет, то это не сработает без ревью.

>>3729385
>писать этот функциональный код где?
Уже написали выше, что функциональщина в мейнстрим языки попала. Основная проблема - в голове программистов, которые думают, что только в скале, фшарп или хаскеле можно использовать функциональные подходы.

560 Кб, 1072x1280
38 8 июля, 14:04 38 3729414

>>3729390
Ох уж мне эти «ИИ-евангелисты».
На пике — абсолютно типичная история, когда ты берёшься за то, в чём не разбираешься. Не будет оно за тебя думать потому, что не умеет думать.

Ответы729437

39 8 июля, 15:18 39 3729437

>>3729414
> март 2025
Ты бы еще новости 10 летней давности притащил. В AI очень много что изменилось за последние полгода.

Ответы729464

40 8 июля, 16:11 40 3729464

>>3729437
>Ты бы еще новости 10 летней давности притащил.
Проблемы не ушли: ограниченный контекст, проблемы с проектированием, следующие из этого проёбы.
>много что изменилось за последние полгода
Например, цена токена, которая улетела так, что дешевле стало нанимать людей.

41 8 июля, 19:21 41 3729502

>>3729147
>Из функциональных кстати lean живёт бодро в своей сфере.
Тоже самое можно сказать про Coq и Agda.
Только их сфера мало что имеет с программированием общего.

Обновить тред
« /pr/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion