Телеграмм чат группы haskell

Что есть, то есть

18:20пожаловаться #1

2021 January 21

Aleksandr Ruin in Haskell Start

этот пример из [https://wiki.haskell.org/IO_inside#I.2FO_in_Haskell.2C_simplified] правильний?

getchar :: Int -> (Char, Int)
get2chars _ = [a, b] where (a, i) = getchar 1
(b, _) = getchar i

ведь нельзя биндидь без обазначения getchar

05:20пожаловаться #2

Artem Pelenitsyn in Haskell Start

Aleksandr Ruin

Вы имеете ввиду, что нет определения getchar? Там подразумевается что это некая встроенная функция. Вообще, все это обсуждение проводится на умозрительным уровне, чтобы объяснить идеи. Пытаться это запускать не надо.

05:53пожаловаться #3

Товарищи, у меня созрел вопрос. При работе с монадными транформерами как лучше оформлять типы функций: используя сам трансформер или тип, который он оборачивает?

Вот пример:

21:15пожаловаться #4

Вопрос, скорее всего, из рубрики "style guide".

21:15пожаловаться #5

если уж используется MonadIO, то я бы тут взял бы MonadError

21:16пожаловаться #6

а, вот оно что, это ошибка чисто для функции, тогда Either

21:17пожаловаться #7

Ошибка действует только в рамках функции.

21:17пожаловаться #8

это вопрос ни разу не style guide, это вопрос семантики

если бы ошибка была глобальная (модуля, или приложения в целом), то или MonadError, или конкретный тип для этого модуля

раз это ошибка чисто для функции, то Either, потому что это не эксешпен, а просто один из результатов вызова функции, и при этом только этой функции

21:20пожаловаться #9

Kaksisve

Ошибка действует только в рамках функции.

Вы же разворачиваете ExceptT прямо в функции. Уже никакого ExceptT не будет в типе результата, только Either

21:20пожаловаться #10

Если хочется композировать это вычисление с другими в ExceptT же, то стоит ExceptT оставить (и не делать run)

21:21пожаловаться #11

но тогда и ошибку лучше обобщить, а то такую функцию можно будет скомпозировать только с этой же функцией

21:22пожаловаться #12

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

21:22пожаловаться #13

Завернуть в конструктор агрегирующего типа, например. Получится иерархическая система ошибок

21:23пожаловаться #14

кана

но тогда и ошибку лучше обобщить, а то такую функцию можно будет скомпозировать только с этой же функцией

Вы имеете ввиду это?

data GlobalError
    = ReadOptionsFileError ...
    | ...

21:24пожаловаться #15

Да, что-то такое

21:24пожаловаться #16

да, можно будет через withExceptT ошибку заворачивать выше

21:25пожаловаться #17

Спасибо.

21:25пожаловаться #18

Absolute Nikola in Haskell Start

Привет, а может кто-нибудь объяснить суть GADTов и для чего они нужны?

21:35пожаловаться #19

Чтобы указать более точно типы конструкторов