Привет народ, а может кто рассказать как лучше учить haskell? Как вы сами изучали его? Книги, статьи, книги, или копипастить код, параллельно смотреть как всё реалиозованно в GHC или как-то еще? Единственный язык, на котором после хелло ворда останавливаешся и говоришь "хмммм, а ведь я понятия не имею что дальше"

http://book.realworldhaskell.org/read/ https://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf

hPutStrLn бы сделал

точно

Большое спасибо за помощь, друзья!

кстати курс на степик хороший

я учился по случайным статьям и project euler но это было давно

было плохо с книгами и всем

А никому случайно не нужна книжка Изучай Erlang во имя добра? Хотел бы обменяться на LYAH :)

спасибо за наводку на степик, посмотрю

хм, чего-то не очень понимаю как мне превратить generate $ choose (1, 9) :: IO Int в generate $ choose (1, 9) :: IO (Maybe Int) (quickcheck)

Just <$> ?)

но мне иногда и Nothing нужен

Тогда можно на одно число больше генерить

Привет ребят. Кто-нибудь работал с Baranseli Finance, метро Молодежная?

И потом матчить

ну да, там есть всякие suchThatMaybe, ок можно так, например: genSpan ∷ Gen (Maybe Int) genSpan = choose (0, 9) `suchThatMaybe` (> 0) genSpan' ∷ Gen (Maybe Int) genSpan' = oneof [ return Nothing , Just <$> choose (1, 9) ] мне вот этот пост еще понравился https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html

Привет ребят. Кто-нибудь работал с Baranseli Finance, метро Молодежная?

или не известная никому фирма? На хаскеле предложили кодить

/me не слышал о них

странно, что у них сайт такой страшный http://baranseli.ru/ (если это их сайт, конечно)

Ну они ссылаются на то, что типа ищут инвесторов блаблабла, поэтому (я сообщил свой уровень как начинающий) "оплата пока небольшая 70к"... стоит ждать подвох? :D

Если работы нет то хуже не будет

На хаскеле?)

Небось хотят кардану форкать

Если работы нет то хуже не будет

Ну есть... сдельно платы другу развожу :D

в альтиуме

На хаскеле?)

ну предложили на хаскеле. типа функции какие-то к серверу прикручивать.

Небось хотят кардану форкать

Ну-ну... Пожелаю им удачи... 😂

ну предложили на хаскеле. типа функции какие-то к серверу прикручивать.

Потом будешь всем говорить что в финтехе работал. Будет респект. Мол бабло доверили программировать.

Ну-ну... Пожелаю им удачи... 😂

Неужели так ужасно написан?

Отвечу так: коллеги из Серокеля сказали, что в некоторых частях Cardano Core, ээээ, непросто разобраться... Мягко выражаясь...

потому что на хаскеле

Причём это сказали люди, которые это Core и сделали...

нет

писали бы на го и всем было бы все понятно

аааа

ну да

Отвечу так: коллеги из Серокеля сказали, что в некоторых частях Cardano Core, ээээ, непросто разобраться... Мягко выражаясь...

Линкуй самую жесть

причина в том, что это ядро отражает несколько пейперов. И условия менялись, и понимание менялось...

самую не слинкую, но помню, что они говорили о сложности модуля SSC (Shared Seed Computations). Это то самое семечко, из моей презентации на fpconf

https://github.com/input-output-hk/cardano-sl/tree/master/ssc/Pos/Ssc

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

и фактически, человек, не знакомый с теми самыми пейперами, в этом коде ничего и не поймёт.

Так пейперы значит плохо написаны?

А вот это уже не мне судить. Это часть ресёрчеров, я не могу оценивать их работу.

это другая вселенная

:-)

Например, в этой части Карданы, что я скинул, SSC, использовался вот этот пейпер: https://eprint.iacr.org/2017/216.pdf

хрен его знает, хорошо он написал, или плохо

Два профессора написали, из двух университетов

От профессоров ничего хорошего ожидать не приходится

😂

Ну вот потому тот код и жесткач... 😂

А бэкендсикрет ко всем домагается с предложением пофлудить?

ко многим

:-)

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

Читаю тут старые статьи по ФП 2010 года. Под ними десятки комментариев. Восемь лет прошло, а у хейтеров аргументы не поменялись. vseloved > а код — это данные*, вы не знали? ;) borius > Обрабатываемая информация — это данные! Код — это набор команд! которые выполняются на данных.  Вы говорите, как человек, далекий от программирования.

Ниже, все тот же boruis: > Повторюсь вы говорите, как человек, далекий от программирования. Вы не понимает базовых вещей, а пытаетесь говорить о сложных… Данные — просто какая то информация которая ничего не делает! Код — набор команд (Он что-то делает над определенными данными) В свою очередь, код — набор команд для интерпретатора (или компилятора, или исполнителя).  Ваш пример не доказывает вообще ничего. Разберитесь с базовым понятиями сперва. 

Поясните стороннему наблюдателю, кто тут прав, а кто нет и почему?

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

Второй - странный

В хаскеле "данные, это код". Лисперам нипанять

Для любопытствующих, вот ссылка. https://habrahabr.ru/post/89097/#comment_2675958

Там еще много всего веселого в комментах

Ох. Зачем хабр читать?

Открыл ссылку, а у меня брикет масла из монитора выпал.

Закрыл ссылку. Спасибо за жир!

забукмаркал ссылку

Ох. Зачем хабр читать?

Делаю сравнение хейтеров тогда и сегодня.

Статья вообще странная. "нет или же плохая поддержка графики", эээ.... А "поддержка графики", это что? SCREEN 13 в BASIC, это поддержка графики. "egavga.bgi" - поддержка графики в TurboPascal.

Статья вообще странная. "нет или же плохая поддержка графики", эээ.... А "поддержка графики", это что? SCREEN 13 в BASIC, это поддержка графики. "egavga.bgi" - поддержка графики в TurboPascal.

Да, автор тоже немного плавает. Я еще читаю комменты, но похоже, там не знают про существование двух видов полиморфизма: статического и динамического.

А статический где то кроме ml семейства есть?

А статический где то кроме ml семейства есть?

В плюсах

Типа шаблоны?

Типа шаблоны?

Да, они.

Логично, не подумал

Перегрузку имён функций тоже можно считать формой статического полиморфизма

Перегрузку имён функций тоже можно считать формой статического полиморфизма

Тогда много где есть

Так и есть

Интересней скорее говорить о разнице между полиморфизмом параметрическим и основанном на подтипировании.

Интересней скорее говорить о разнице между полиморфизмом параметрическим и основанном на подтипировании.

Я бы послушал