Монада ContT в картинках (Haskell)

[@VoidEx]

Самое прекрасное использование ContT, на мой взгляд, это

file :: FilePath -> IOMode -> ContT r IO Handle
file f mode = ContT $ withFile f mode -- withFile закроет файл в случае исключения

test :: [FilePath] -> ContT r IO [String]
test fs = do
    -- никаких вложенных конструкций
    hs <- mapM (\f -> file f ReadMode) fs
    -- используем handles
    ss <- liftIO $ mapM hGetContents hs
    return ss

[@VoidEx]

Вот тебе и пол третьего, прочёл всю статью, а упомянутого примера не заметил.

[@Tazman]

Да. Пример со списком тоже очень хорош. Выглядит, как будто обычный цикл, а на самом деле программа растет «вглубь».

[@Renius]

Каждый Haskell-разработчик должен уметь мыслить психоделическими кружочками? :)

[@Tazman]

[@qmax]

Такие классные картинки, что захотелось выучить Хаскель

[@Tazman]

Давно хочу написать какой-нибудь язык программирования IDE к готовому языку, чтобы в нем программы набирались не текстом, а кружочками. Т.е. сразу рисуешь синтаксическое дерево. Мне кажется, таким способом можно было бы привлечь к программированию людей, не технического склада ума.

[@WiTPHG]

Посмотрите HiAsm может к ним присоединитесь?

[@savask]

Хорошая статья, кружочки и обилие примеров порадовали :-)
Правда не понятен выбор именно ContT, а не просто Cont, ведь трансформеры, по моему, сложнее.

[@icon]

Очень даже.