lenses

2зной

3ответ

Использование линз сочинить функции

Рассмотрим «состав» функции со следующим (псевдо) подписи: (a1 -> a2 -> ... -> an -> r) -> (s -> ai) -> a1 -> a2 -> ... -> ai -> ... an -> r where i in [1..n] Конечно, мы не можем написать то, чт

haskell lens lenses 2017-01-31

---

1зной

1ответ

Как сопоставить свойства объекта с аргументами конструктора в C# для построения автоматической копии

У меня есть неизменный объект. Например, простой пример ниже. class Person { public string Name {get;} public int Age {get;} public Person(string name, int age){ Name = name;

c# immutability lenses 2016-12-14

---

2зной

1ответ

Как использовать монокль для изменения вложенной карты и другого поля в scala

Я впервые попробовал монокль. Вот случай класс: case class State(mem: Map[String, Int], pointer: Int) И текущая модификация, с использованием стандартного Scala, что я хотел бы сделать: def add1 = (

scala lenses monocle-scala 2016-12-31

---

0зной

1ответ

Определение дополнительных значений в пути, построенный с сложенной оптикой

У меня есть структура вложенных классов дела, которые я создаю со значениями по умолчанию: case class Alpha(text: String = "content") case class Beta(alpha: Alpha = Alpha()) case class Gamma(beta: O

scala lenses monocle-scala 2017-02-22

---

2зной

1ответ

Как сделать линзы для записей с типовыми семьями

Вот что у меня есть, что не компиляции: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE MultiPara

haskell lens type-families lenses 2017-01-04

---

6зной

1ответ

Как непроизвольно вернуть «Может быть» объектив?

Тип типа Maybe (Lens' a b) не работает, потому что Lens' находится под капотом типа Rank-2, который нельзя обернуть в конструктор типа без расширения -XImpredicativeTypes (что на самом деле не поддерж

haskell lenses higher-rank-types impredicativetypes 2017-01-07

---

1зной

1ответ

Содержит контекст сохранения штатов монады

Время для моего вопроса об объективе в неделю; У меня есть стек монады: newtype Action a = Action { runAct :: StateT ActionState (ReaderT Hooks IO) a } deriving (Functor, Applicative, Monad,

haskell lens lenses 2017-01-12

---