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

Часто у вас есть что-то вроде Applicative без pure или что-то вроде Monad , но без return . Пакет semigroupoid охватывает эти случаи с Apply и Bind . Теперь я нахожусь в похожей ситуации с Arrow , где я не могу определить осмысленную...

Я просто написал такие функции до map4 только потому, что они кажутся полезными: map2 :: Functor f => (i -> a) -> (i -> b) -> f i -> f (a,b) map2 f1 f2 = fmap $ \i -> (f1 i, f2 i) Прежде чем перейти к map8 , я решил...

Скажем, у нас есть следующие две функции: getTweetsForUser( handle, callback ) А также expandShortLink ( stringHasLink, callback ) Пожалуйста, покажите, как мы будем составлять их с помощью: Монада и Стрелка Предположим,...

В "Programming with Arrows" Хьюз утверждает Прежде всего, обратите внимание, что как first, так и left легко реализуются с точки зрения приложения (подробности оставлены в качестве упражнения). Из Control.Arrow left можно реализовать...

В настоящее время я пытаюсь понять стрелки и FRP, и я столкнулся с вопросом, который я не могу сопоставить с FRP, а именно, как моделировать дорожную сеть. Я думал, что смогу смоделировать дорожную сеть в виде стрелок, где каждая стрелка...

Я пытаюсь создать игру, используя Haskell + Netwire 5 (+ SDL). Теперь я работаю над частью вывода, где я хотел бы создать проводники, которые читаются в каком-то игровом состоянии и выводят поверхности SDL для отображения на экране. Однако...

Я пытаюсь спроецировать данные на график в R и увидеть корреляцию между точками. Я добавил строку, чтобы читатель мог увидеть связь между этими точками. Однако я в тупике, когда дело доходит до ввода стрелок, чтобы показать направление линии....

В 1998 году Джон Хьюз предложил класс типа Arrow для Haskell в этой статье . . Этот класс типов поставляется с рядом операторов, которые не являются буквенно-цифровыми, например *** и &&& . Однако он не дает произносимых имен для...

На Reddit есть заархивированная ветка, в которой говорится, что, по сути, трубопровод / трубы не могут быть стрелками, потому что стрелки должны быть синхронными. Ветка связана здесь...

Я хотел бы добавить несколько стрелок между графиками непосредственно на R, как на этом рисунке, стрелки между графиками: Пока у меня есть только графики с кодом ниже, но я не могу понять, как добавить стрелки #...

Я понимаю, что стрелка — это профунктор, в котором можно преобразовывать входные и выходные данные, но можно ли сопоставить стрелку поверх функтора? Я понимаю, что в ответ на вопрос "нет", поскольку сигнатура типа функции fmap имеет значение...

Между методами Bifunctor и Arrow есть некоторое совпадение: class Bifunctor p where first :: (a -> a') -> p a b -> p a' b second :: (b -> b') -> p a b -> p a b' bimap :: (a -> a') -> (b -> b') -> p a b ->...

Изменить: мы будем называть стрелку p чистой, если существует такая функция f , которая: p = arr f . Я пытаюсь лучше понять Arrows в Haskell и хочу выяснить, когда f >>> (g &&& h) = (f >>> g) &&& (f...

Мне нужно вручную добавить планки ошибок на ggplot с помощью geom_crossbar. Я пытался использовать «geom_arrow», но не смог найти, как изменить размер стрелки или изменить угол стрелки на 90 (как я могу сделать с помощью стрелок функций на...