λ> let nan = 0 / 0 in 1 > nan || 1 < nan False

Он ничему не равен, в т.ч. и самом у себе :)

Вот. Поэтому NaN /= 0/0 ;)

С этой точки зрения - да :)

Ну и что с NaN можно сделать, кроме как словить и выделить в отдельный случай?

Ничего не делать. Это полезное значение

Вычисления с оным так же дадут NaN (а не эксепшн, например)

Это полезное свойство

Тут на Реддите драма развивается. https://www.reddit.com/r/haskell/comments/8ao7pc/the_monad_complaint_pipeline/ А причиной всему, похоже, послужил этот твит Дяди нашего Боба: https://twitter.com/unclebobmartin/status/982229999276060672

TL;DR Пуристы кричат, как Дядя Боб неправ; прагматики пишут статьи, что не надо быть пуристами, иначе внешние люди будут считать всех хаскеллистов asshole'ами: https://argumatronic.com/posts/2018-04-07-monad-complaints.html

Поинт в том, что нан -- это такой дабл, который не равен себе. Он единственный в своём роде. Чуть не в стандарте описан способ сделать isNaN x = x /= x

Вообще не очень то единственный. Это целая куча значений с разными пейлоадами помимо каноничного нана

Infinity опять же

TL;DR Пуристы кричат, как Дядя Боб неправ; прагматики пишут статьи, что не надо быть пуристами, иначе внешние люди будут считать всех хаскеллистов asshole'ами: https://argumatronic.com/posts/2018-04-07-monad-complaints.html

Так и есть же - многие хаскелисты, это те ещё снобы :)

Так и есть же - многие хаскелисты, это те ещё снобы :)

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

Это то тут при чем?

И пуристы с тех пор агонизируют, не желая уступать место менее знающим, но более практичным людям

А, в этом ключе! Тогда согласен, есть такое

Окей :)

На Сноймана же часто нападают, что он Хаскелля не знает

Я лично не считаю, что Снойман не знает Хаскеля (и что такое вообще "знать заскель"?), хоть я и согласен с тем, что Снойман имеет довольно своеобразное мнение о том, как пристало использовать Х в реальных проектах, и иногда слишком форсит оное, как единственное правильное. Но таковым занимаются многие и вне хаскеля тоже. Дядябоб тоже "из этих" :)

Я лично не считаю, что Снойман не знает Хаскеля (и что такое вообще "знать заскель"?), хоть я и согласен с тем, что Снойман имеет довольно своеобразное мнение о том, как пристало использовать Х в реальных проектах, и иногда слишком форсит оное, как единственное правильное. Но таковым занимаются многие и вне хаскеля тоже. Дядябоб тоже "из этих" :)

Каждый тимлид таким занимается. Работа у них такая

> и что такое вообще "знать заскель"? Ну, я бы хотел так не знать Хаскелль, как его не знает тот же Снойман. Цены б мне не было

Если б кто написал рабочий _HC с нуля (на С или ASM), про тех наверное можно смело сказать, что они знают Х

Каждый тимлид таким занимается. Работа у них такая

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

Infinity опять же

Нет. inf == inf

Вообще не очень то единственный. Это целая куча значений с разными пейлоадами помимо каноничного нана

А что ещё помимо нана?

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

Кметт это академический-пурити Haskell?!

а потом стал прагматичный?!

ой вей

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

Прям хлопнул? Мне показалось он просто сказал, что нет сил больше, он устал и уходит.

Прям хлопнул? Мне показалось он просто сказал, что нет сил больше, он устал и уходит.

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

P.S. Имел честь беседовать с ним лично. Офигенный мужик.

правильно сделал, нехрен на токсиков время тратить

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

P.S. Имел честь беседовать с ним лично. Офигенный мужик.

а я играл с кметтом в покемонов!!1

а я играл с кметтом в покемонов!!1

В PokemonGo?

+

Прикольно. Кого поймал?

запоминать что поймал в какой-то день? увольье

знаю что кметт с женой за мистиков играли

Моя коллега до сих пор играет. Правда, я не уверен, что за сервера использует

Т.е. вы на практике мапили список покемонов в очки? И теперь список покемонов у тебя удалён из головы GC? Молодцы, даже в жизни Хаскель применяете!

Моя коллега до сих пор играет. Правда, я не уверен, что за сервера использует

там один

если что играли после Zurihack когда возвращались, просто это интереснее чем просто общались

если что играли после Zurihack когда возвращались, просто это интереснее чем просто общались

Играть в покемонов всяко интереснее, чем общаться с хаскеллистами

очень интересно откуда в утверждении неявное "или"

Ну вот мне интереснее. Так что пойду играть в Покемонов, а не в чате сидеть

зачем сидеть в чате, когда ты в Цюрихе?

впрочем идти играть в покемонов здоровее будет чем сидеть в чате. Ну и одно другому опять же не мешает

Компромиссное решение — это сделать отображение пойманных покемнов в слова. Поймал 5-6 покемонов, получилось предложение. Отправляешь его в чат.

Мои Покемоны называются "два доклада на конец апреля"

И все по фри-монадам?

И все по фри-монадам?

В каком-то смысле да

Всем привет. Есть массив термов, которые можно посчитать параллельно, потом собираю результаты в другой терм с помощью foldl: let terms = [t1, t2, ...] computations <- traverse (\t -> async $ comput t) terms foldl (\acc t -> do r1 <- acc; r2 <- wait t; return $ Term r1 r2) (pure mempty) computations Хотелось бы выводить результат по мере вычисления, вместо этого, пока foldl не выполнится не видно и результата, как такое можно сделать?

(не полагаться на ленивость?)

использовать другие средства коммуникации и явный тред, который выводит результаты?

ну т.е сделать тупо, надежно и буквально?

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

ну т.е сделать тупо, надежно и буквально?

согласен, просто думал, что возможно как-то проще сделать

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

@basov_ae еще и вместо traverse + async может быть проще использовать mapConcurrently

если, конечно, не нужно поддерживать разные формы контейнера

@basov_ae еще и вместо traverse + async может быть проще использовать mapConcurrently

да, это верно. Просто пробовал поиграться с ленивостью с wait в фолде

++++

> Regarding the tweet and its responses, I believe a better way to approach this would've been to explore the results of the claims by the author asking some questions in a socratic way.

и эти люди говорят про aggressiveness

это про что?

реддит тред выше

> Regarding the tweet and its responses, I believe a better way to approach this would've been to explore the results of the claims by the author asking some questions in a socratic way.

отличная идея! всегда бы так

Крис дон учит людей общаться в интернете

чтобы хаскелистов не считали assholes

это вообще для любого спора хорошая альтернатива

так сократский метод самый лучший же

нужно не общаться в интернете просто

но не единственный

нужно не общаться в интернете просто

так ведь больше негде!

так ведь больше негде!

хаскеллисты уже встали на путь самоизоляции

чтобы хаскелистов не считали assholes

чет у Сократа не получилось

ну я про тоже

но метод его живёт!