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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

404 membersпожаловаться на группу
2020 October 28

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Ну блин, условно
У тебя программа считает НДС
Ты думал, что он 18%, а он 20%
Абсолютно никакой тип тебя от этого не спасёт, если у тебя нет единого типизированного описания абсолютно всего мира
тип спасет от всего что угодно, если его правильно писать
источник
20:17пожаловаться#1

MP

Mag Pie in rust_offtopic
Emmanuel Goldstein
Ну блин, условно
У тебя программа считает НДС
Ты думал, что он 18%, а он 20%
Абсолютно никакой тип тебя от этого не спасёт, если у тебя нет единого типизированного описания абсолютно всего мира
А потом пролетит комический протон, флипнет пару бит и случится сегфолт
источник
20:18пожаловаться#2

EG

Emmanuel Goldstein in rust_offtopic
Ты не напишешь тип правильно, если ты ошибаешься в самой природе своей задачи
источник
20:18пожаловаться#3

p

polunin.ai in rust_offtopic
а неправильно написанный тип можно считать ошибкой только если в спецификации к программе описано что это - ошибка
источник
20:18пожаловаться#4

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Ты не напишешь тип правильно, если ты ошибаешься в самой природе своей задачи
это не ошибка с точки зрения программирования
источник
20:18пожаловаться#5

p

polunin.ai in rust_offtopic
ну и да, ошибиться в задачи нельзя лол
источник
20:18пожаловаться#6

H

Hirrolot in rust_offtopic
polunin.ai
ну и да, ошибиться в задачи нельзя лол
лол
источник
20:19пожаловаться#7

EG

Emmanuel Goldstein in rust_offtopic
Ладно, нет, я завязываю спорить с @f0land. Он живёт в каком-то магическом мире, где для каждой программы есть спецификация, единственная задача программиста — соответствие спецификации, а логических ошибок не существует.
источник
20:19пожаловаться#8

p

polunin.ai in rust_offtopic
если ты только не пишешь что-то формальное типо математических формул или формальных грамматик
источник
20:19пожаловаться#9

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Ладно, нет, я завязываю спорить с @f0land. Он живёт в каком-то магическом мире, где для каждой программы есть спецификация, единственная задача программиста — соответствие спецификации, а логических ошибок не существует.
эти все тезисы придумал ты а не я
источник
20:19пожаловаться#10

p

polunin.ai in rust_offtopic
но согласен, с тобой спорить трудно, ты создаешь тезисы опоненту и споришь с ними, а не с тезисами опонента.
источник
20:20пожаловаться#11

MP

Mag Pie in rust_offtopic
polunin.ai
а неправильно написанный тип можно считать ошибкой только если в спецификации к программе описано что это - ошибка
Я стесняюсь спросить, а ты сколько лет на прод код льешь?
источник
20:20пожаловаться#12

EG

Emmanuel Goldstein in rust_offtopic
Вчера я тебе доказывал, что констдженерики это не зависимые типы лол
источник
20:20пожаловаться#13

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Вчера я тебе доказывал, что констдженерики это не зависимые типы лол
наоборот, это я тебе доказывал что конст дженерики не завтипы
источник
20:20пожаловаться#14

EG

Emmanuel Goldstein in rust_offtopic
Агась, ты просто утверждал, что функция, которая прекрасно выражается с помощью констдженериков, требует завтипы
источник
20:21пожаловаться#15

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Агась, ты просто утверждал, что функция, которая прекрасно выражается с помощью констдженериков, требует завтипы
ты не выразил ту функцию так-то
источник
20:22пожаловаться#16

p

polunin.ai in rust_offtopic
она работает только с константами
источник
20:22пожаловаться#17

EG

Emmanuel Goldstein in rust_offtopic
polunin.ai
она работает только с константами
ДА ЛАДНО
источник
20:22пожаловаться#18

EG

Emmanuel Goldstein in rust_offtopic
Это ровно то, что я пытался выразить с самого начала, а ты говорил, что это невозможно без завтипов, потому что констдженерики — это каким-то образом термы, а не типы
источник
20:23пожаловаться#19

EG

Emmanuel Goldstein in rust_offtopic
Трейт, который я написал в итоге, имеет в точности ту же сигнатуру, что и исходный, с точностью до двух мусорных where
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=fb6ae8b4ffee460fd648941ae641450a
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=5a53b93a11752b1e0f9b96f8bc360b16
play.rust-lang.org
Rust Playground
A browser interface to the Rust compiler to experiment with the language
источник
20:24пожаловаться#20