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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

815 membersпожаловаться на группу
2020 April 12

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
Я говорил, что конкретно мы в проекте почти не писали новых юнит-тестнов, не считая полуавтоматически сгенерированных property tests, и несмотря на это всё очень надёжно работало и легко рефакторилось, благодаря очень сильной спецификации на типах.
это очень заманчивая идея, но схема не говорит, какие есть ветвления в коде, и ты точно не зайдёшь такими тестами в каждый уголок
источник
09:13пожаловаться#1

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
Да, эти могут. Ещё Idris, Coq, Isabelle/HOL и некоторые другие.
https://github.com/edwinb/Protocols пример Idris с  тестами
источник
09:15пожаловаться#2

ИЧ

Илья Чистяков in Compiler Development
например у Agda и F* все свойства заявлены, у Idris не хватает proof irrelevance
источник
09:20пожаловаться#3

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
https://github.com/edwinb/Protocols пример Idris с  тестами
И где там тесты?
источник
09:28пожаловаться#4

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
например у Agda и F* все свойства заявлены, у Idris не хватает proof irrelevance
А Вы уже и по proof irrelevance специалист? 😉
источник
09:28пожаловаться#5

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
И где там тесты?
https://github.com/edwinb/Protocols/blob/master/test/Stream.idr
GitHub
edwinb/Protocols
A DSL for describing and implementing communication protocols - edwinb/Protocols
источник
09:29пожаловаться#6

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
А Вы уже и по proof irrelevance специалист? 😉
знать бы что это такое) был бы спецом, наверное не задавал бы таких глупых вопросов
источник
09:29пожаловаться#7

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
https://github.com/edwinb/Protocols/blob/master/test/Stream.idr
GitHub
edwinb/Protocols
A DSL for describing and implementing communication protocols - edwinb/Protocols
А в код заглядывали? А то я-то посмотрел. 😉
источник
09:30пожаловаться#8

ИЧ

Илья Чистяков in Compiler Development
да
источник
09:30пожаловаться#9

ИЧ

Илья Чистяков in Compiler Development
там даже покрытие юзается
источник
09:30пожаловаться#10

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
знать бы что это такое) был бы спецом, наверное не задавал бы таких глупых вопросов
Ну, можно и просто бессмысленных реплик непонятно к чему в чат не писать. 😉
источник
09:31пожаловаться#11

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
там даже покрытие юзается
Где это?
источник
09:31пожаловаться#12

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
Где это?
covering, или это не то что я подумал?
источник
09:32пожаловаться#13

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
covering, или это не то что я подумал?
😂 Думаю, нет, совсем не то...
источник
09:32пожаловаться#14

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
😂 Думаю, нет, совсем не то...
http://docs.idris-lang.org/en/latest/reference/misc.html#totality-checking-assertions разве нет?
источник
09:33пожаловаться#15

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
http://docs.idris-lang.org/en/latest/reference/misc.html#totality-checking-assertions разве нет?
Это не имеет никакого отношения к тестом -- это часть системы типов.
источник
09:34пожаловаться#16

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
Это не имеет никакого отношения к тестом -- это часть системы типов.
а за что тогда папка test отвечает в том проекте?
источник
09:34пожаловаться#17

AT

Alexander Tchitchigin in Compiler Development
Илья Чистяков
а за что тогда папка test отвечает в том проекте?
Неправильно назвали, на самом деле это example. 🤷‍♀
источник
09:35пожаловаться#18

AT

Alexander Tchitchigin in Compiler Development
У зав. типовых программистов другое понимание слова "тест". 😂
источник
09:36пожаловаться#19

p

polunin.ai in Compiler Development
Илья Чистяков
http://docs.idris-lang.org/en/latest/reference/misc.html#totality-checking-assertions разве нет?
Там же даже пример есть использования, посмотрите его
источник
09:37пожаловаться#20