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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1543 membersпожаловаться на группу
2020 June 30

к

кана in Haskell
типы тоже стираются, какая у них денотационная семантика
источник
16:27пожаловаться#1

к

кана in Haskell
fd это просто типы для отношений в тайпклассах
источник
16:27пожаловаться#2

AV

Alexander Vershilov in Haskell
TypeFamilies оставляют Coersion в коре
источник
16:28пожаловаться#3

AA

A64m AL256m qn<co... in Haskell
все еще не встречал тривии про фя более впечатлившей меня, чем то что хаскель превратили из переемеля в какой-то недопруфассистент без пруфов чтоб массивы нормальные сделать (это про тф и вектор)
источник
16:28пожаловаться#4

AA

A64m AL256m qn<co... in Haskell
даж не про фя а про яп вообще
источник
16:29пожаловаться#5

к

кана in Haskell
нужно все таки договориться о том, что значит хак
источник
16:29пожаловаться#6

к

кана in Haskell
хак компилятора и хак в том смысле что за ним нет никакой теории
источник
16:29пожаловаться#7

к

кана in Haskell
математически fd мне очень нравятся, а как они реализованы в ghc это интересно, но не то чтобы важно
источник
16:30пожаловаться#8

AA

A64m AL256m qn<co... in Haskell
они везде так реализованы были
источник
16:31пожаловаться#9

к

кана in Haskell
что очень интересно, но повторюсь, не очень важно
источник
16:31пожаловаться#10

AV

Alexander Vershilov in Haskell
кому как
источник
16:32пожаловаться#11

к

кана in Haskell
то что нам может быть важно то, как и во что компилятор компилирует лишь указывает на то, что компилятор не очень хороший и за ним нужно следить
источник
16:32пожаловаться#12

AV

Alexander Vershilov in Haskell
Не все вот уверены, что их можно в принципе реализовать так, чтобы были нужные свойства
источник
16:33пожаловаться#13

MK

Maxim Koltsov in Haskell
а как в векторе тф используются?
источник
16:46пожаловаться#14

MK

Maxim Koltsov in Haskell
и где написано как реализованы фд?
источник
16:46пожаловаться#15

АХ

Алексей Худяков... in Haskell
Там data families в анбокснутых векторах
источник
16:48пожаловаться#16

АХ

Алексей Худяков... in Haskell
+ PrimState в primitive
источник
16:48пожаловаться#17

MK

Maxim Koltsov in Haskell
а, точно, дата фемели
источник
16:49пожаловаться#18

AV

Alexander Vershilov in Haskell
Блин что со мной написал тестов в 4 раза больше чем кода, видимо совсем штуку делать лень, щас ещё комментариев как 2 кода напишу
источник
17:00пожаловаться#19

E

Eugene in Haskell
Друзья, вечер добрый! Рад присоединиться к вашей группе.
:-)
источник
20:27пожаловаться#20