Монада 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]

Очень даже.