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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

DB

Danil Berestov in rust_offtopic
polunin.ai
нет, ты не понял. я тоже не понимал. доказывать 99% времени логику это про формальную верификацию. Завтипы - это механизм которые все еще улучшает выразительность системы типов, при это давая маленький оверхед по времени написания программы. вот все что после завтипов улучшает выразительность - уже требует непримемлимого времени на написание программы.
Кто из вас хоть что-то на завтипах написал, чтобы это было вау как выразительно?
источник
12:26пожаловаться#1

p

polunin.ai in rust_offtopic
Завтипы это пока будущее разработки, которое наступит лет через 20-30. а вот что будет после них, хуй знает. пока вроде бы ничего не придумывают нового.
источник
12:26пожаловаться#2

p

polunin.ai in rust_offtopic
Danil Berestov
Кто из вас хоть что-то на завтипах написал, чтобы это было вау как выразительно?
я написал умножение матриц
источник
12:26пожаловаться#3

G

Gymmasssorla in rust_offtopic
Danil Berestov
Кто из вас хоть что-то на завтипах написал, чтобы это было вау как выразительно?
Я игрался
источник
12:27пожаловаться#4

DF

Dollar Føølish in rust_offtopic
Danil Berestov
Кто из вас хоть что-то на завтипах написал, чтобы это было вау как выразительно?
array<T, N>
источник
12:27пожаловаться#5

G

Gymmasssorla in rust_offtopic
Да, выразительно
источник
12:27пожаловаться#6

DF

Dollar Føølish in rust_offtopic
То есть ты
источник
12:27пожаловаться#7

G

Gymmasssorla in rust_offtopic
Но бойлерплейта много
источник
12:27пожаловаться#8

AZ

Alex Zhukovsky in rust_offtopic
Danil Berestov
Не знаю даже, давайте теперь после каждой написанной строки код собирать и 99% времени доказывать, а в остальное -- писать логику. Поглядим, к к чьей старости напишеися хоть одна ОС на таком языке
ммм, доказательство заменяет тесты по сути. Или ты без тестов "Хуяк хуяк в продакшн" пишешь? Ну и типчики это тоже замена классов тестов
источник
12:27пожаловаться#9

DB

Danil Berestov in rust_offtopic
polunin.ai
я написал умножение матриц
Ну да, умножение матриц это такая штука, которая на других языках пишется херово) такого уровня гарантии изи получаются тестами.
источник
12:27пожаловаться#10

p

polunin.ai in rust_offtopic
Alex Zhukovsky
ммм, доказательство заменяет тесты по сути. Или ты без тестов "Хуяк хуяк в продакшн" пишешь? Ну и типчики это тоже замена классов тестов
тесты пишутся быстрее
источник
12:28пожаловаться#11

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
тесты пишутся быстрее
да нет, дольше
источник
12:28пожаловаться#12

p

polunin.ai in rust_offtopic
Alex Zhukovsky
да нет, дольше
нет
источник
12:28пожаловаться#13

DF

Dollar Føølish in rust_offtopic
Тесты в принципе не дают никаких гарантий
источник
12:28пожаловаться#14

DF

Dollar Føølish in rust_offtopic
Если ты не менеджер
источник
12:28пожаловаться#15

p

polunin.ai in rust_offtopic
к тому же верификация гарантирует что то что ты доказал будет работать правильно. а доказывать правильно очень сложно
источник
12:28пожаловаться#16

p

polunin.ai in rust_offtopic
а тесты ты хуяк хуяк, и ты точно знаешь что на определенных значениях программа работает как надо, остальное в 99% случае выводится правильно
источник
12:29пожаловаться#17

DB

Danil Berestov in rust_offtopic
Alex Zhukovsky
да нет, дольше
Я смотрел одну вводную лекцию мужика, который занимается формальной верификацией. Он говорил, кажется, что некоторые вещи лучше покрыть тестами, чем доказывать. А некоторые тесты покрывают доказательства
источник
12:29пожаловаться#18

G

Gymmasssorla in rust_offtopic
Danil Berestov
Я смотрел одну вводную лекцию мужика, который занимается формальной верификацией. Он говорил, кажется, что некоторые вещи лучше покрыть тестами, чем доказывать. А некоторые тесты покрывают доказательства
Каждой области свои технологии
источник
12:30пожаловаться#19

DB

Danil Berestov in rust_offtopic
Gymmasssorla
Каждой области свои технологии
Ни о чем
источник
12:30пожаловаться#20