0
ответов

В чем разница между «вычислить» и «вернуть $!»?

Вот выдержка из документации по оценке: Control.Exception.Base.evaluate::a -> IO оценка x не одно и то же как вернуть $! x Правильным определением является оценка x = (...
вопрос задан: 17 October 2019 13:10
0
ответов

Haskell - монада IO / ST с двойной индивидуальностью?

У меня есть код, который в настоящее время использует монаду ST для оценки. Мне нравится не помещать ввод-вывод повсюду, потому что метод runST дает чистый результат и указывает, что такой результат можно безопасно вызывать (в отличие от ...
вопрос задан: 20 May 2018 13:39
0
ответов

Показать для типов ввода-вывода

У меня есть тип данных, который содержит IORef в качестве важного элемента . Это означает, что нет чистого способа сделать его членом класса типа шоу. Это не так уж плохо, поскольку у меня есть функция печати в ...
вопрос задан: 20 May 2018 13:34
0
ответов

Каков наилучший способ управления ресурсами в стеке монад, например, кроме IO?

К счастью или к несчастью, популярная библиотека Servant на Haskell стала обычным делом для выполнения кода в стеке монадных преобразователей с использованием ExceptT err IO. Собственная монада обработчика слуги - ExceptT ServantErr ...
вопрос задан: 23 November 2016 15:34