Size: a a a

2021 June 05

¯

¯\_(ツ)_/¯ in Haskell
с Nat более-менее понятно
источник

MK

Maxim Koltsov in Haskell
0.12.1 на хакадже
источник
2021 June 06

SG

Serge S. Gulin in Haskell
Кому-нибудь удавалось завести grpc?
источник

SG

Serge S. Gulin in Haskell
https://github.com/awakesecurity/gRPC-haskell/issues/101 испытываю тоже самое
источник

SG

Serge S. Gulin in Haskell
```
$ sudo port install grpc
stack build --extra-lib-dirs=/opt/local/lib --extra-include-dirs=/opt/local/include

```
Что-то такое было нужно, чтобы на маке собрать
источник

a

adam in Haskell
А есть какой-нибудь asum в линзах? Чтобы тот перебирал пока не найдёт подходящую линзу с Just?
источник

MK

Maxim Koltsov in Haskell
failing
источник

a

adam in Haskell
вот, то что надо, только теперь нужно со списком из линз)
источник

MK

Maxim Koltsov in Haskell
Список из линз нельзя сделать
источник

MK

Maxim Koltsov in Haskell
Это же импредикативно будет
источник

MK

Maxim Koltsov in Haskell
Ну из реифайд только
источник

ЗП

Зигохистоморфный Пре... in Haskell
я через него делал
источник

a

adam in Haskell
есть пример?
источник

ЗП

Зигохистоморфный Пре... in Haskell
но думаю можно через какой-то foldr + failing
источник

ЗП

Зигохистоморфный Пре... in Haskell
у реифайд фолда есть инстанс альтернативы
https://www.stackage.org/haddock/lts-17.14/lens-4.19.2/Control-Lens-Reified.html#t:ReifiedFold
источник

a

adam in Haskell
а, да, спасибо
источник

OS

Oleksandr Shyshko in Haskell
любопытно, что мотивировало авторов Aeson сериализировать IntMap в список списков (пар) вместо объекта?

import           Data.Aeson
import qualified Data.IntMap.Strict as MI
import qualified Data.Map.Strict as M

> encode $ MI.fromList [(1, "one"), (2, "two")]
"[[1,\"one\"],[2,\"two\"]]"

> encode $ M.fromList [(1, "one"), (2, "two")]
"{\"1\":\"one\",\"2\":\"two\"}"
источник

MK

Maxim Koltsov in Haskell
В жсоне ключи только строки
источник

JS

Jerzy Syrowiecki in Haskell
лишнее кодирование в строку
источник

OS

Oleksandr Shyshko in Haskell
логично
источник