← All posts tagged однако

Позиция ErrorT в "стеке" означает какие состояния возможно восстановить после ошибки, а какие нет. Все что вложено можно, а все что снаружи -- нельзя. То есть ErrorT иногда стоит пропихнуть поглубже, чтобы восстанавливать то что стало неактуальным после ошибки, и делать это в catchError соответственно. То есть тут у нас фактически в типе трансформера все явно закодировано, что очень круто получается и вообще удобно.
Ещё есть предположение, что не всегда можно найти правильный порядок трансформеров, то бишь не всегда можно найти именно такой "стек" который нужен. Логика тут такая; пусть есть: 
A, B, (ErrorT SomeError) :: (* -> *) -> * -> *
Необходимо чтобы B было внутри A, но сохранять только A, но не B. Очевидно что такого стека не существует. Но тут надо найти более реалистичный контрпример.

Если ввести в google translate только одну букву, то можно узнать много интересного. Например:
'x' — нечто таинственное или неизведанное, поцелуй, экспериментальный (экспериментальный поцелуй?);
'g' — соль;
'h' — героин;
'v' — пятидолларовая бумажка;