поскольку монады не коммутируют

[sassa_nf]

кого вкладывать внутрь?

Упражнение: ну, все монады уже давно написаны, поэтому пишем через FFI работу с консолью. Техническая часть работает, там всего-то десяток интересных однострочных функций, но теперь бы оформить правильно, то есть состояние консоли завернуть в монаду reader-writer-state.

Поскольку все обращения к FFI возвращают тип (IO a), нужно правильно коммутировать Console и IO.

Например, можно так:

data Console a = Console (ForeignPtr ConsoleStructRaw) (IO a)
openConsole :: Console a

а можно так:

data Console a = Console (ForeignPtr ConsoleStructRaw) a
openConsole :: IO (Console a)

Дык, как правильнее? С моей дилетантской т.з. кажется первое, хотя проще пишется второе.

Ну, и чтоб два раза не вставать: FFI пользуется типами вроде CInt; имеет ли смысл CInt тут на месте перекрутить в Int (например, чтобы потом компилятор не рассказывал, что я не могу сравнивать координату консоли x и 0)

Comments

[sassa-nf.livejournal.com]

о, хорошо бы.

Вот дописал до конца, начинает быть понятно, как именно f отображено монадой. А самое главное, пока не напишешь вот такую вот штуковину, где две монады сразу, самая крутизна системы типов остаётся за кадром.

[udpn.livejournal.com]

А с отсутствием type-level lambda ещё не встречался?

Ну, когда нужно сделать одну бинарную функцию на типах монадой по двум аргументам, например.

[sassa-nf.livejournal.com]

интересно. А как это выглядит?

[udpn.livejournal.com]

Так как я в очередной раз не смог найти, где у меня попадалась эта гадость (видимо, я просто переписал код), я попытаюсь оправдаться постом в ЖЖ :)