Прохожу на степике курс, задание о безопасном итерировании class (Eq a, Enum a, Bounded a) => SafeEnum a where ssucc :: a -> a ssucc a | a == maxBound = minBound | otherwise = succ a spred :: a -> a spred a | a == minBound = maxBound | otherwise = spred a

Failed. Runtime error main: <<loop>> Выдает такое вот.

Локально в терминале все ок

> spred a = spred a

Ох. Спасибо.

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

Я помню моей первой и единственной серьёзной программой на mlton был не очень большой CRUD, строк так на 5-10 тысяч. Компилировалось оно целую вечность. Но вообще можно запилить полнопрограмный анализ отдельной опцией компиляции

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

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

И ещё ставить задачи и беседовать с клиентом

а код тестировать не надо будет

верифайер сам все автоматически верфицирует

как-то рид странно работает. в гхци пробую λ> read "NaN" :: Double NaN в файле задефайнен minusNaN, nan, inf, minusInf :: Double minusNaN = read "-NaN" nan = read "NaN" но при выполнении получаю в этом месте Exception: Prelude.read: no parse что успевает поменяться?

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

а, похоже ieee754 умеет, проглядел когда первый раз его смотрел https://hackage.haskell.org/package/ieee754-0.8.0/docs/Numeric-IEEE.html#v:nanWithPayload

Prelude> read "NaN" :: Double NaN

а, туплю, я тоже в ghci

runhaskell << EOF heredoc> nan :: Double nan = read "NaN" main = print nan EOF NaN

да, я понимаю что выглядит как волшебство. я в итоге поменял на nan из пакетика ieee-754 и всё стало хорошо. почему не работал read забил разбираться

> 1 / 0 NaN

так что можно и без read :)

Это как 1/0 получился наном?

0/0 должен был быть, наверное.

поддельный ghci!

Ну как-то не самодокументированно всё равно выглядит

Это как 1/0 получился наном?

Точно. Это я наврал. 1/0 это Infinity

0/0 == NaN

Не удобнее ли ловить NaN Either и т.п.? Напр., своей версией '/'

NaN нормальный же

Кстати, 0/0 /= NaN ;)

не bottom и замечательно

Кстати, 0/0 /= NaN ;)

λ> 1/0 Infinity λ> 0/0 NaN λ> 0/1 0.0 λ> (1/0)/(1/0) NaN

Вот прямо скопипастил из ghci

Не удобнее ли ловить NaN Either и т.п.? Напр., своей версией '/'

NaN, это норма для плавающей точки, да

λ> 1/0 Infinity λ> 0/0 NaN λ> 0/1 0.0 λ> (1/0)/(1/0) NaN

А ты набери 0/0 == nan :)

nan, это что вообще?

В base нету такой

У NaN есть всякие (F/A/M) instances?

Это нан, можно определить как 0/0, можно как inf/inf, без разницы.

У NaN есть всякие (F/A/M) instances?

как у значения могут быть инстансы?

Это нан, можно определить как 0/0, можно как inf/inf, без разницы.

λ> 0/0 == 0/0 False

Всё логично

Неопределённость же. Нельзя сравнивать такие

0/0 == NaN

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

λ> 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), про тех наверное можно смело сказать, что они знают Х

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

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

ERROR: S client not available

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 не выполнится не видно и результата, как такое можно сделать?

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

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