lifting

3зной

1ответ

Я просто смотрел в трансформаторы монады в реальном мире Haskell. В книге говорилось, что чтобы сделать что-то монадным трансформатором, вам нужно сделать его экземпляром класса типа MonadTrans. Таким

1зной

2ответ

Scala лифтинг функция, имеющая с коллекцией в качестве аргумента

У меня есть класс, который принимает функцию f: Option[Seq[Option[A]]] => Option[A]] case class Function[A](operator: Option[Seq[Option[A]]] => Option[A], name: String, arity: Int) Что я хотел бы дл

3зной

2ответ

прямое применение функции подъема не дает ожидаемой функции

Ниже приведены две частичные функции, которые, как ожидается, будут выполнять задачи, но определяются различными способами. val pf1 : PartialFunction[String, String] = { case s : String if (s !=

4зной

1ответ

Трансформация (а -> IO б) в IO (а -> б)

У меня есть несколько типов данных в контексте IO, как: a :: IO String b :: IO FilePath c :: String -> IO String Я хочу, чтобы поместить их всех вместе в одном объекте данных, например, : data Con

1зной

1ответ

Равенство в Агда - нерелевантные аргументы

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