Я пытаюсь разобраться с набором инструментов Haskell XML Toolbox ( HXT ) и натыкаюсь на стена где-то, потому что я, кажется, не полностью понимаю стрелки как вычислительный инструмент. Вот моя проблема, которую я надеялся проиллюстрировать немного...

foo (a1,a2) (b1,b2) (c1,c2) = (bar a1 b1 c1, bar2 a2 b2 c2) У меня много таких конструкций с разным количеством кортежей аргументов. В случае foo' (a1,a2) = (bar' a1, bar2' a2) Я подумал: «Эй, это стрелы!»: foo' = bar' *** bar2'...

Если мы ограничим наше понимание категории обычным классом Category в Haskell: class Category c where id :: c x x (>>>) :: c x y -> c y z -> c x z Тогда предположим, что Arrow — это Category , который может...

Я новичок в Haskell, и я играл со стрелками. Я хотел бы написать инструмент, который может программно «разбирать» ранее сконструированную Arrow. В качестве потенциального приложения представьте функцию, которая принимает стрелку и возвращает...

Я хочу добавить несколько стрелочных индикаторов для сравнения двух значений в моей матрице. Текущая неделя v Прошлая неделя. Я запутался в том, куда поместить свое выражение, которое я сейчас использую (для красной стрелки, идущей вниз)...

Недавно у меня возникла идея построить монаду, которая подсчитывала бы количество привязок, через которые проходит вычисление. Я придумал следующее: newtype K a = K { runK :: Int -> (a, Int) } instance Functor K where fmap f k = K $ \s...

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

У меня есть: class Arrow circ ⇒ Circuit circ where wire :: circ Bool Bool notGate :: circ Bool Bool orGate :: circ (Bool , Bool ) Bool wire = id notGate = arr not orGate = arr $ uncurry (||) Я хочу реализовать:...

Я пытаюсь сделать установщик даты с помощью JSpinner: //got current date ` Date now = new Date(); //got"Date maxDate" from somewhere SpinnerDateModel model = new SpinnerDateModel(now, now, maxDate, Calendar.DAY_OF_MONTH);...

Стрелки имеют два типа композиции: вертикальные : (.) :: Arrow cat => cat b c -> cat a b -> cat a c и по горизонтали : (***) :: Arrow cat => cat a b -> cat a' b' -> cat (a,a') (b,b') (Я извиняюсь перед любыми...

Обратите внимание, что в следующем коде arw представляет собой стрелки, выступающие из нижней части фигуры. Для случаев, когда необходимо принять решение, я также создал боковую стрелку (обозначенную в коде как Sarw). Обратите внимание, что для...

У меня есть сюжет, на котором я рисую стрелки от точек к точкам. Я бы хотел поставить эти стрелки не в конец строки, а в середину. Есть ли простой способ сделать это, кроме размещения дополнительных стрелок с половиной длины соответствующей строки?...

Когда я узнал о Control.Arrow и встроенной в Haskell нотации proc , у меня возникла идея, что этот язык может оказаться очень полезным в качестве eDSL для общих моноидальных категорий (с использованием *** для тензора и >>> для...

Я хочу, чтобы в моем проекте был фон в форме треугольника. Я уже пробовал кое-что, и верхняя стрелка/треугольник работает (см. пример https://imgur.com/a/5pJ8Bd2 ). Но я думаю, что было бы лучше, если бы я мог сделать то же самое на дне. Это...

Я хочу представить 2D-векторы с корнем в начале координат с графиком в R. Кроме того, я хочу раскрасить вектор на основе категориальной переменной. Проблема в том, что я могу создать линии с цветовой кодировкой, но без стрелки: library(plotly)...