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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

MK

Maxim Koltsov in Haskell
[(Value, Value)]
источник
14:59пожаловаться#1

MK

Maxim Koltsov in Haskell
из-за древнего костыля для стрингов, блин, страдания
источник
15:00пожаловаться#2

MK

Maxim Koltsov in Haskell
блин, как люди умеют думать о индексах де брауна :(
источник
17:10пожаловаться#3

TZ

Timofey Zakrevskiy in Haskell
который bruijn?
источник
17:23пожаловаться#4

VY

Vasiliy Yorkin in Haskell
фига, там в чатике вопросов Adam Chlipala и Benjamin Pierce :)
источник
17:24пожаловаться#5

MK

Maxim Koltsov in Haskell
Timofey Zakrevskiy
который bruijn?
да
источник
17:24пожаловаться#6

MK

Maxim Koltsov in Haskell
Vasiliy Yorkin
фига, там в чатике вопросов Adam Chlipala и Benjamin Pierce :)
а кто такой Адам?
источник
17:24пожаловаться#7

VY

Vasiliy Yorkin in Haskell
http://adam.chlipala.net/

о, и SPJ тоже там

Как же приятно слушать доклад, когда человек хорошо подготовился. У неё даже сценарий написан (https://github.com/sweirich/challenge/blob/canon/debruijn/debruijn1.md)
источник
17:24пожаловаться#8

MK

Maxim Koltsov in Haskell
выглядит круто
источник
17:25пожаловаться#9

a

asterix in Haskell
Кто-нибудь следует теории гомотопического типа?
источник
17:44пожаловаться#10

к

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

KZ

Kirill Zaborsky in Haskell
исполнять все обряды
источник
17:45пожаловаться#12

к

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

MK

Maxim Koltsov in Haskell
во, дошли до unsafeCoerce
источник
17:54пожаловаться#14

к

кана in Haskell
а пруверам нужно в рантайме чекать свойства?
источник
17:55пожаловаться#15

к

кана in Haskell
нонсенс какой-то
источник
17:55пожаловаться#16

к

кана in Haskell
все свойства в идеале вырезаются после компиляции, главное что терм доказательства можно построить и он тайпчекается
источник
17:56пожаловаться#17

MK

Maxim Koltsov in Haskell
в коках и агдах
источник
17:56пожаловаться#18

MK

Maxim Koltsov in Haskell
а в хаскеле-то нет
источник
17:56пожаловаться#19

MK

Maxim Koltsov in Haskell
я так понимаю что ты можешь сделать "доказательство" которое работает в рантайме
источник
17:56пожаловаться#20