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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

к

кана in Haskell
делается общий апи с функторной формой, делается второй апи поверх первого для чисто Identity кейсов
источник
17:43пожаловаться#1

к

кана in Haskell
надо в union такой пр запилить
источник
17:44пожаловаться#2

[

[BRM]White Rabbit in Haskell
я видел, как с помощью хака с тайпфемили удаляли монаду Identity, оставляя все прочие
источник
17:44пожаловаться#3

к

кана in Haskell
ну, это не хак, но имхо это не лучший путь
источник
17:44пожаловаться#4

к

кана in Haskell
сразу сильно ломается вывод типов
источник
17:45пожаловаться#5

VZ

Vladislav Zavialov in Haskell
https://github.com/serokell/ariadne/blob/5f49ee53b6bbaf332cb6f110c75f7b971acdd452/knit/src/Knit/Syntax.hs#L106
GitHub
serokell/ariadne
An open source Ada wallet for users who need more. Contribute to serokell/ariadne development by creating an account on GitHub.
источник
17:47пожаловаться#6

VZ

Vladislav Zavialov in Haskell
Вот пример
источник
17:47пожаловаться#7

JS

Jerzy Syrowiecki in Haskell
да есть уже, называется OpenUnion
источник
17:47пожаловаться#8

VZ

Vladislav Zavialov in Haskell
data family ComponentLit component

newtype Lit components = Lit { getLitUnion :: Union ComponentLit components }
источник
17:48пожаловаться#9

VZ

Vladislav Zavialov in Haskell
data family вообще
источник
17:48пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
только зачем кишки усложнять?
источник
17:48пожаловаться#11

MK

Maxim Koltsov in Haskell
ничего себе что откопал
источник
17:48пожаловаться#12

к

кана in Haskell
а, действительно, я думал там побольше апи просто будет, а там одна призма, которой в целом и хватит на все
источник
17:48пожаловаться#13

a

adam in Haskell
закопайте обратно
источник
17:48пожаловаться#14

ЗП

Зигохистоморфный Пре... in Haskell
еще вспомнил о https://hackage.haskell.org/package/row-types
Hackage
row-types: Open Records and Variants
Install via `cabal install row-types`.
источник
17:48пожаловаться#15

VZ

Vladislav Zavialov in Haskell
Там EDSL расширяемый, зачем его закапывать?
источник
17:50пожаловаться#16

a

adam in Haskell
насколько я понял это типа Trees That Grow?
источник
17:50пожаловаться#17

JS

Jerzy Syrowiecki in Haskell
выглядит как "Йоу, пёс! Я слышал, ты любишь вычисления на типах. Мы засунули map в твой union, чтобы ты мог мэпать, пока паттерн-мэтчишь"
источник
17:50пожаловаться#18

VZ

Vladislav Zavialov in Haskell
TTG там тоже есть, но это другое, уже после меня добавлено. Там расширяемость еще компонентная.

Типа можно расширять синтаксис новыми конструкциями, вычислительную модель тоже
источник
17:51пожаловаться#19

VZ

Vladislav Zavialov in Haskell
Не меняя при этом ядро языка
источник
17:51пожаловаться#20