Всем привет. Подскажите пожалуйста какой способ более идиоматичный и есть ли какая-то неочевидная разница между этими двумя определениями?
Скажите пожалуйста, вот допустим я решил написать свой List, или любую другую рекурсивную структуру данных и у меня есть два варианта: Data MyList a = Nothing | Node a (MyLis...
Признавайтесь, вы же все так отвечаете потому что интересно посмотреть чем закончится?)
кстати я верно понимаю что ни в OCaml ни в Rescript тем более не получить вот такого?
Можно ли получить цикличный список в Haskell?
А много есть тех у кого Хаскель -- первый язык? Интересно как они воспринимают мейнстримные языки
Привет всем. Правильно ли я понимаю что в этом случае информация о реализации t теряется и остается только факт что есть некий 'a t?
Через toEnum fromEnum?
вот я сделал вот такой вот пример, работают они одинаково. что я могу сделать чтобы увидеть что ContA и ContB работают по разному?
А что не так с теми функциями? Они уже имеют похожие типы и их можно комбинировать, чтобы найти нужную конструкцию нужно определиться с желаемым результатом
Ребят, а в чем разница между Accum и Writer? Тип вроде как похожий, и Accum является инстансом MonadWriter, в чем суть его отдельного существования?
А это не тот случай разве когда forall b выносится в начало?
А нет возможности ещё как-то :info из ghci получить?
то есть вызывающая сторона знает о том что она получает, а вызываемая не имеет информации кроме того что это некий r?
а что там за драма была?
А его можно попросить только тип вывести? Типа как :t в ghci
Ну то есть forall не таком же смысле похож на лямбду?
А что реакции вернулись?
А где посмотреть "О Haskell по-человечески" 1.0? она ж хотя бы законченная должна быть
Не у tsoding случайно?