lens

8зной

3ответ

В чем разница между ix и элементом в библиотеке объективов Haskell

В библиотеке объективов Haskell, и element оба берут Int a, могут использоваться, например. для чтения или записи элемента списка в какой-то индекс, как этот ghci> [1..10] ^? ix 4 Just 5 ghci> [1..1

4зной

3ответ

Как использовать объектив в Haskell для дублирования перечисления Python?

Python's enumerate в списках могут быть указаны как zip [0..]. Я смотрел Control.Lens.Traversal и Control.Lens.Indexed, но я не мог понять, как использовать объективы, чтобы обобщить это на любой разу

2зной

1ответ

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

я могу определить необходимый Lens' вручную: type Key = String type Val = Int type Foo = Map Key (Either Val Bool) ll :: String -> Lens' Foo (Maybe Int) ll k f m = f mv <&> \r -> case r of N

3зной

1ответ

Можно ли сделать Traversal экземпляром IsString

Я хочу использовать строковый литерал как Traversal, но я немного потерян в типах. Возможно ли создать этот экземпляр? import Control.Lens import Data.Aeson import Data.Aeson.Lens import Data.Strin

1зной

1ответ

Каковы сходства и различия между объективом в Haskell и деструктурированием в Clojure?

Предположения: Я хочу, чтобы разобрать вложенную JSON строку. Я знаю, что Haskell поощряет решение проблем с системой типов, а Clojure избегает системы типов, предпочитая решать проблему с структурами

6зной

1ответ

Какова цель объединенного объектива?

Прочитав статью Lens over Tea #1, я нашел объектив united. Моя реализация united :: Lens' a() united f v = const v <$> f() , который в значительной степени так же, как implementation in the Lens li

2зной

1ответ

Каковы сходства и различия между объективом в Haskell и использованием ключевой последовательности в Clojure?

Предположение: Я знаю, что Haskell призывает решать проблемы с системой типа, и Clojure сторонится система типа, предпочитая решать проблемы со структурами данных. Мы можем видеть, что мы можем создат