2
ответа
Haskell Setter / over с несколькими целями? [Дубликат]
Есть ли способ объединить линзы, чтобы я мог применять функцию над a и b в приведенной ниже структуре, но не c? import Control.Lens hiding (element) data SomeInts = SomeInts {_a :: Int, _b :: ...
вопрос задан: 10 April 2016 07:44
1
ответ
Как обновить части штата в государственной монаде?
У меня есть тип, который я хотел бы использовать как часть государственной монады: {- # LANGUAGE TemplateHaskell # -} import Control.Lens data SomeState = SomeState {_int :: Int, _string :: String} makeLenses '' .. ,
вопрос задан: 14 July 2018 01:06
0
ответов
Что такое призмы?
Я пытаюсь добиться более глубокого понимания библиотеки линз, поэтому я стараюсь играть с типами, которые она предлагает. У меня уже был некоторый опыт работы с линзами, и я знаю, насколько они мощные и удобные. ...
вопрос задан: 19 June 2018 10:50
0
ответов
Имитация взаимодействующих объектов с сохранением состояния в Haskell
В настоящее время я пишу программу на Haskell, которая включает моделирование абстрактной машины, которая имеет внутреннее состояние, принимает входные данные и выдает выходные данные. Я знаю, как реализовать это с помощью государственной монады, которая
вопрос задан: 23 May 2017 12:30
0
ответов
Как правильно комбинировать линзы (не сочинять)
В haskell без линз я могу делать такие вещи, как: Data Item = Item {количество :: Double, цена :: Double} стоимость :: Item -> Double cost = (*) <$> количество <*> цена Если я использую линзы. ..
вопрос задан: 23 June 2015 15:16