Elijah

Скажите пожалуйста, вот допустим я решил написать свой List, или любую другую рекурсивную структуру данных и у меня есть два варианта: Data MyList a = Nothing | Node a (MyLis...

Признавайтесь, вы же все так отвечаете потому что интересно посмотреть чем закончится?)

кстати я верно понимаю что ни в OCaml ни в Rescript тем более не получить вот такого?

Можно ли получить цикличный список в Haskell?

А много есть тех у кого Хаскель -- первый язык? Интересно как они воспринимают мейнстримные языки

Через toEnum fromEnum?

А что не так с теми функциями? Они уже имеют похожие типы и их можно комбинировать, чтобы найти нужную конструкцию нужно определиться с желаемым результатом

Ребят, а в чем разница между Accum и Writer? Тип вроде как похожий, и Accum является инстансом MonadWriter, в чем суть его отдельного существования?

А это не тот случай разве когда forall b выносится в начало?

А нет возможности ещё как-то :info из ghci получить?

то есть вызывающая сторона знает о том что она получает, а вызываемая не имеет информации кроме того что это некий r?

а что там за драма была?

А его можно попросить только тип вывести? Типа как :t в ghci

Ну то есть forall не таком же смысле похож на лямбду?

А что реакции вернулись?

Не у tsoding случайно?

А где посмотреть "О Haskell по-человечески" 1.0? она ж хотя бы законченная должна быть