оу) https://github.com/mmirman/ImperativeHaskell/blob/master/Main.hs

может вытащите в отдельную репу, попробуем поконтрибутить? :)

Хорошо, я попробую

вопрос есть ли у хаскелл такой список? https://github.com/denysdovhan/wtfjs один js девелопер сказал что просто я не знаю на должном уровне хаскелл и что просто я не могу найти такой список

ну и что Диль не шарит что говорит https://twitter.com/smdiehl/status/893039690487648257

вопрос есть ли у хаскелл такой список? https://github.com/denysdovhan/wtfjs один js девелопер сказал что просто я не знаю на должном уровне хаскелл и что просто я не могу найти такой список

ну с джс это смешно за счёт того что каждый может понять контр-интуитивность примеров. ну и приведение типов всегда плохая идея.

ну с джс это смешно за счёт того что каждый может понять контр-интуитивность примеров. ну и приведение типов всегда плохая идея.

там есть для хаскелл wtf list?

нет, я не знаю

x :: Void x = undefined

x :: Void x = undefined

и чо это?

Haskell WTF: -- value of an empty type x :: Void x = undefined -- fmap vs map fmap (+ 1) [1, 2, 3] map (+ 1) [1, 2, 3] -- head & tail are unsafe head :: [a] -> a

x :: Void x = undefined

опередил(

Haskell WTF: -- value of an empty type x :: Void x = undefined -- fmap vs map fmap (+ 1) [1, 2, 3] map (+ 1) [1, 2, 3] -- head & tail are unsafe head :: [a] -> a

юзай пакет safe

да, столько unsafe опраций

эксепшоны какие-то

String = [Char]

юзай пакет safe

да в х-ле вообще прелюдию надо кастомную юзать

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

String = [Char]

расширение есть которое строковые литералы делоет не [Char] а Text вроде

Ну и моноид не полугруппа

Самый большой WTF в Haskell за всю мою жизнь: wtf :: a -> (Num b => b) -> a wtf x y = xИ в ghci ghci> wtf 1 ("wat" + "man") 1

расширение есть которое строковые литералы делоет не [Char] а Text вроде

делает FromString a вроде и там уже сам определяешь

да, уже прочитал

Ну и моноид не полугруппа

ну полугрупп вроде нет в прелюде?

Уже есть

Есть

Но моноид всё ещё полугруппу не требует - чтобы не сломать ничего

Многие "WAT" в хаскеле потому, что по другому было нельзя. А в JS - потому что так вышло

> length ("foo", "bar") 1

Это не WAT, например

Ох лол, а почему так? Как вообще это работает, если в прелюдии length принимает массив

А, еет

Фолдабл

Ох лол, а почему так? Как вообще это работает, если в прелюдии length принимает массив

ну не строку

Думал про массив, пишу строку

Ох лол, а почему так? Как вообще это работает, если в прелюдии length принимает массив

что? там обобщение на общий Foldable

Отвечай, не читай до конца

Пара ((a, b)) - ни разу не массив

Это всё питон подгадил в головы неокрепшие. Это после питона "котрежи, это такие массивы, только побыстрее, но длину не меняют"

Если сделать data Pair a = Pair a a deriving (Foldable) то будет > length $ Pair 1 2 2

Да какой питон, что ты несешь. Я ввожу в хугл, вижу массив, пишу сюда. Потом открываю прелюдию, вижу там фолдабл, пишу об этом тоже. После этого нужно мне сказать об этом ещё раз, а потом и сказать, что я путаю пары и массивы

что я делаю не так?

class Foldable t where

Да какой питон, что ты несешь. Я ввожу в хугл, вижу массив, пишу сюда. Потом открываю прелюдию, вижу там фолдабл, пишу об этом тоже. После этого нужно мне сказать об этом ещё раз, а потом и сказать, что я путаю пары и массивы

я думал он просто про свой опыт рассказывает

и вообще пользуйтесь stackage

ещё прикол: let five = 2 + 2 where 2 + 2 = 5

Мне блять еще раз повторить?

Да какой питон, что ты несешь. Я ввожу в хугл, вижу массив, пишу сюда. Потом открываю прелюдию, вижу там фолдабл, пишу об этом тоже. После этого нужно мне сказать об этом ещё раз, а потом и сказать, что я путаю пары и массивы

что я делаю не так?

Ох лол, а почему так? Как вообще это работает, если в прелюдии length принимает массив

А, еет

Фолдабл

Я же говорю, отвечай не читай

но это всё слабовато, конечно, по сравнению с js

да успокойся

> {} + {} '[object Object][object Object]' > {} + {}; NaN

Ох лол, а почему так? Как вообще это работает, если в прелюдии length принимает массив

ты серъезно? length делает ограничение на Foldable

Слушай, ты что, издеваешься?

вообще тут все имплаят что у тебя локально развёрнут самый свежий хугл

Не может человек, прочитав 3 раза, не понять, что он прочитал

подержи пиво

я думал он просто про свой опыт рассказывает

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

и Foldable пары, и {} + {} объясняются одинаково: если залезть на шкаф и встать на голову, то становится всё очевидно

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

всем плевать на питонистов

эт да

http://hackage.haskell.org/package/base-4.6.0.1/docs/Prelude.html#v:length

а постарее нельзя?

Да даже если перейти по ссылке в хугле, то будет length :: t a -> Int внутри class Foldable

Вот показывает хугл неактуальный тип: https://www.haskell.org/hoogle/?hoogle=length

это какой-то пиздец. Я же ровно об этом же написал 10 минут назад

Да даже если перейти по ссылке в хугле, то будет length :: t a -> Int внутри class Foldable

ну и я про то, тем более stackage норм

http://hayoo.fh-wedel.de/?query=length

Хаю лучше работает, кароч

ты серъезно? length делает ограничение на Foldable

просто утверждение получается не совсем истинное

Педагогическая ошибка Хаскеля в том, что у кортежей симметричный синтаксис, но несимметричная семантика

Педагогическая ошибка Хаскеля в том, что у кортежей симметричный синтаксис, но несимметричная семантика

как и either

Если бы пара выглядела, например, как b `AnnotatedWith` a а не (a, b), то никто бы не возмущался

как и either

Да

Вот за Either лично мне обидно: все его норовят использовать для обработки ошибок, хотя есть Except

А ещё мне кажется он ущемляет левшей

Ну или точнее его инстансы

Вот за Either лично мне обидно: все его норовят использовать для обработки ошибок, хотя есть Except

вот это новости

ну так потому что Either намного проще

@astynax Except жирный больно

ээээ Except, это newtype над Either же

только с явным разделением на throwError и pure

ну так потому что Either намного проще

Вот привыкают к плохому, а потом объясняй людям, что у тебя в конкретном месте не "с ошибкой", а просто сумма

я совершенно честно не знал

ну и неудивительно, в общем-то, учитывая статьи типа {8,9,10} ways of handling errors in Haskell и вот это все

с точки зрения освоения это вообще наверное самая слабая и мутная часть языка и библиотек