arrows

3зной

2ответ

Существует ли стандартная абстракция для этого типа запроса-ответа?

У меня есть следующий вид: data S req rsp = Done rsp | Next req (rsp -> S req rsp) Идея заключается в том, чтобы использовать его в качестве чистого представления для сети связи, то есть: ... Next G

3зной

2ответ

Неожиданный результат Когда Monoid на Arrows прикладываются

У меня есть эта простая "стрелка": main = do let -- arr :: (Arrow a) => (b -> c) -> a b c -- (>>>) :: Category cat => cat a b -> cat b c -> cat a c -- (<+>) :: ArrowPlus a => a

1зной

1ответ

Слайд-шоу, не показывающее стрелки влево/вправо

У меня есть четыре слайд-шоу на моем сайте, и до того, как я добавил функцию jQuery Backstretch, все они работали нормально. Теперь стрелки влево и вправо выглядят круговыми и черными - но когда изобр

2зной

2ответ

Можем ли мы определить экземпляр Monad для WrappedArrow?

WrappedArrow - это пример Applicative, но может ли он быть сделан Monad (возможно, если стрелка ArrowApply)? instance ArrowApply a => Monad (WrappedArrow a b) where return = pure (>>) = (*>)

2зной

1ответ

Каковы «настоящие» имена операторов Haskell's Arrow?

В 1998 году Джон Хьюз предложил класс типа Arrow для Haskell в this paper. Этот тип класса пришел с рядом операторов, которые являются «не-альфа-числовыми», например *** и &&&. Однако он не дает произ

7зной

1ответ

Хорошие современные стрелки в действии?

В последнее время я читал о arrows, концепции, изобретенной более 10 лет назад. Это позволяет получать более статическую информацию о вычислениях по сравнению с монадами, но при этом все еще имеет сил