← All posts tagged однако

fmap
однако antarcticaedu.com
The power source for UANT University Peak, Tesla Physical Plant burrows into the University Peak geological formation, where it draws heat and energy from the geothermal source inside of it.И там даже растут обычные деревья, обеспечиваемые "искусственным" теплом.
fmap
code однако
Позиция ErrorT в "стеке" означает какие состояния возможно восстановить после ошибки, а какие нет. Все что вложено можно, а все что снаружи -- нельзя. То есть ErrorT иногда стоит пропихнуть поглубже, чтобы восстанавливать то что стало неактуальным после ошибки, и делать это в catchError соответственно. То есть тут у нас фактически в типе трансформера все явно закодировано, что очень круто получается и вообще удобно.
Ещё есть предположение, что не всегда можно найти правильный порядок трансформеров, то бишь не всегда можно найти именно такой "стек" который нужен. Логика тут такая; пусть есть: 
A, B, (ErrorT SomeError) :: (* -> *) -> * -> *
Необходимо чтобы B было внутри A, но сохранять только A, но не B. Очевидно что такого стека не существует. Но тут надо найти более реалистичный контрпример.