applicative

4зной

1ответ

Как определить <*> для опции [Список [_]] n Scala

Это продолжение моего предыдущего question с примером, найденным в Интернете. Пусть я определяю класс типов Applicative следующим образом: trait Functor[T[_]]{ def map[A,B](f:A=>B, ta:T[A]):T[B]

3зной

1ответ

Как исправить неявное преобразование в аппликативный?

Это является продолжением до моего предыдущего question Я хотел бы обобщить неявное преобразование toApplicative, который добавляет метод <*> к любому M[A=>B], где M является Applicative (т.е. есть кл

4зной

1ответ

Как получить «оставшиеся аргументы» в optparse-applyative?

Я пытаюсь использовать optparse-applyative. Как я могу получить доступ к аргументам, которые не являются параметрами? (От prog --foo --bar=42 baz, я хочу получить ["baz"]) Все эти «высокого уровня» фу

9зной

2ответ

Каковы законы прикладного функтора в терминах чистого и поднятия А2?

Я играю с формулировкой Аппликативный с точки зрения pure и liftA2 (так что (<*>) = liftA2 id становится производным комбинатором). Я могу придумать кучу законов о кандидатах, но я не уверен, каким бу

4зной

1ответ

Понимание права Применить

Для списка, почему right apply (*>) ведет себя как повторяющийся и добавляет второй аргумент n раз, где n - это длина первого аргумента? ghci> [1,2,3] *> [4,5] [4,5,4,5,4,5]

1зной

1ответ

Получить индексы Аппликативного траверса без манекена

Предположим, у меня есть v, который равен Applicative, а также Traversable. Как я могу получить v с индексами v? Для конкретного примера рассмотрим V3 от Linear. Я хочу V3 0 1 2. Один из способов закл

1зной

1ответ

Как применить функцию к списку параметров в Scala?

Предположим, у меня есть функция f: (Int, Int, Int) => String. Я могу легко применить его к трем параметрам типа Option[Int]: def foo(f: (Int, Int, Int) => String, ox: Option[Int], oy: Opt