что за Reader монада

[sassa_nf]

А вот скажите, пожалуйста.

data Console a = Console { runConsole :: ConsoleStruct -> IO a }
data Coords = Coords Int Int
...
cursorCoords :: Console Coords
cursorCoords = Console getCursorCoords

getCursorCoords :: ConsoleStruct -> IO a
getCursorCoords c = someNativeFunction c >>= peek

Так вот, что за cursorCoords? Это функтором перенесённая getCursorCoords? Типа, все объекты и стрелки переносятся generically, а выборочно Console ConsoleStruct = (), и Console getCursorCoords = cursorCoords?

С одной стороны - вроде бы да, а с другой стороны - дык, fmap getCursorCoords в принципе тоже существует. Как же так?

Нет, не так. Поскольку CCC, то getCursorCoords соответствует curried функция ()→IO Coords, т.е. (IO Coords)^{ConsoleStruct}. Этот объект, как и все, отображается функтором, т.е. попадаем в Console Coords. А cursorCoords - просто именованная ссылка на именно этот объект. Вот.

Comments

[palm-mute.livejournal.com]

а без категорий вопрос переформулировать можно?

[sassa-nf.livejournal.com]

да тут именно в категориях вопрос :) Хочется ж увидеть "алгебраическую структуру".

Вот была функция с параметром, а теперь аргумент исчез. Но за счёт чего эти функции коммутируют? Это свойство функтора (как быть, что fmap getCursorCoords тоже существует), категории (ммм.... это CCC, так что, всем ConsoleStruct → B соответствует ()→B^{ConsoleStruct}, но как тогда привязать к функтору как отображению всех объектов) или естественного преобразования (ну тут даже не видно, как что-либо определено как семейство функций для всех объектов)?

Какое-то понимание без категорий появилось - полегчало, когда сам написал.

[juan-gandhi.livejournal.com]

Да

[sassa-nf.livejournal.com]

спасибо!