В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1586 membersпожаловаться на группу
2021 July 13

[

[BRM]White Rabbit in Haskell
пока мы не собираем Cabal, хз как попавший в экстра-депс, всё нормально
источник
00:54пожаловаться#1

JJ

Joshua Jakowlew in Haskell
Истину глаголишь
источник
00:54пожаловаться#2

к

кана in Haskell
да думаю даже без data внешнего можно

data X route = X { c :: route :- C, d :: route :- D }
type Y = A :> B :> ToServantApi X
источник
01:00пожаловаться#3

[

[BRM]White Rabbit in Haskell
а оно что, просто мой рекорд переводит в обычные :<|> ?
источник
01:01пожаловаться#4

к

кана in Haskell
зачем :<|>, просто альтернатива :<|>
источник
01:03пожаловаться#5

к

кана in Haskell
а вообще да
источник
01:04пожаловаться#6

к

кана in Haskell
переводит
источник
01:04пожаловаться#7

[

[BRM]White Rabbit in Haskell
а какой смысл, как мне линзами к полям обращаться?
источник
01:04пожаловаться#8

к

кана in Haskell
источник
01:04пожаловаться#9

к

кана in Haskell
не понял, при чем тут линзы
источник
01:04пожаловаться#10

[

[BRM]White Rabbit in Haskell
Ну, у меня некий рекорд на 100 методов, хочется обращаться по имени
источник
01:05пожаловаться#11

[

[BRM]White Rabbit in Haskell
а оно в обычное дерево переводится
источник
01:05пожаловаться#12

к

кана in Haskell
какое дерево, ниче не понял
источник
01:06пожаловаться#13

[

[BRM]White Rabbit in Haskell
дерево из :<|>
источник
01:06пожаловаться#14

к

кана in Haskell
у тебя рекорд клиентов
источник
01:08пожаловаться#15

к

кана in Haskell
ты просто по полю достаешь нужный клиент
источник
01:08пожаловаться#16

к

кана in Haskell
data X route = X { c :: route :- C, d :: route :- D }

x = genericClient @X @IO

c x

или

x.c

или

X{c} = genericClient @X @IO
c
источник
01:08пожаловаться#17

к

кана in Haskell
https://docs.servant.dev/en/stable/cookbook/generic/Generic.html
источник
01:09пожаловаться#18

к

кана in Haskell
:<|> относится к генерик-серванту как (,) относится к рекорду

можно делать (Int, (String, Bool))
а можно делать
data User = User { age :: Int, name :: String, admin :: Bool }

или анонимное произведение клиентов, или рекорд клиентов
источник
01:10пожаловаться#19

[

[BRM]White Rabbit in Haskell
почему оно воняет?
источник
01:11пожаловаться#20