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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

ЕС

Егор Савельев... in rust_offtopic
Stanislav Popov
ты утверждаешь что типы не ограничивают data cadinality (сорри не помню точный термин) в *достаточной для тебя мере*. но идея их в том чтобы ограничить её в достаточной мере для кода. чистый тип инт отметает миллион проверок и этим он ценен. если у тебя код требует разделения инта на множества ты всегда можешь сделать ньютайп
И да, этого мне недостаточно.
источник
22:23пожаловаться#1

SP

Stanislav Popov in rust_offtopic
Егор Савельев
Который ничем не отличается от обычного инта.
конечно отличается
источник
22:23пожаловаться#2

SP

Stanislav Popov in rust_offtopic
это будет UserId и CategoryId которые ты не впихнешь куда не следует
источник
22:23пожаловаться#3

ЕС

Егор Савельев... in rust_offtopic
Твои гарантии в данном случае держаться на словах. И ещё кучу проблем приносит ньютайп.
источник
22:23пожаловаться#4

ЕС

Егор Савельев... in rust_offtopic
Stanislav Popov
это будет UserId и CategoryId которые ты не впихнешь куда не следует
Какой юзер айди.
источник
22:24пожаловаться#5

SP

Stanislav Popov in rust_offtopic
кстати как твоя хотелка интовых литералов как типов решает то что те же данные могут иметь разные типы навроде того примера что я привел тоже не совсем понятно
источник
22:24пожаловаться#6

ЕС

Егор Савельев... in rust_offtopic
Doge Shibu
Как только ты захочешь что-то больше, чем просто литеральные типы (которые в той же скале есть и выводятся, если это нужно), то возможность выводить типы повсюду ты потеряешь.

И да, даже чуть сильнее система типов, чем у хаскель 98 и т.п. и вывод типов становится невыводимым.
То что сейчас не придумали способа разрешать вывод, не значит что его не существует.
источник
22:24пожаловаться#7

ЕС

Егор Савельев... in rust_offtopic
Stanislav Popov
кстати как твоя хотелка интовых литералов как типов решает то что те же данные могут иметь разные типы навроде того примера что я привел тоже не совсем понятно
Попробуй расставлять запятые.
источник
22:25пожаловаться#8

SP

Stanislav Popov in rust_offtopic
попробую для тебя писать предложения покороче
источник
22:25пожаловаться#9

r

red75prime in rust_offtopic
Егор Савельев
То что сейчас не придумали способа разрешать вывод, не значит что его не существует.
Придумали - использовать супер-Тьюринговы вычисления. Но наша вселенная пока не подаёт надежд в этом плане.
источник
22:25пожаловаться#10

SP

Stanislav Popov in rust_offtopic
но в целом ничего нового. это типичная псих. защита скриптеров: типы недостаточно хороши поэтому нужна динамика. вон будут завтипы тогда и посмотрим. это просто из палаты мер и весов
источник
22:26пожаловаться#11

SP

Stanislav Popov in rust_offtopic
вот скажи мне, какого типа будет эта твоя "10" ?
источник
22:27пожаловаться#12

ЕС

Егор Савельев... in rust_offtopic
На самом деле вывод типов мощный не нужен в языках. Достаточно var, let, и ещё парочки.
источник
22:27пожаловаться#13

SP

Stanislav Popov in rust_offtopic
уникальная и неповторимая десятка?
источник
22:27пожаловаться#14

SP

Stanislav Popov in rust_offtopic
десятка пролезет в тип инт?
источник
22:27пожаловаться#15

ЕС

Егор Савельев... in rust_offtopic
Можно взять вывод типов из раста, и убрать оттуда некоторые детали. И станет вывод типов, который отлично впишется в язык с завтипами.
источник
22:28пожаловаться#16

ЕС

Егор Савельев... in rust_offtopic
Stanislav Popov
десятка пролезет в тип инт?
Да.
источник
22:28пожаловаться#17

r

red75prime in rust_offtopic
Stanislav Popov
уникальная и неповторимая десятка?
Тип S S S S S S S S S S Z
источник
22:28пожаловаться#18

ЕС

Егор Савельев... in rust_offtopic
red75prime
Тип S S S S S S S S S S Z
Нет, не Пеано.
источник
22:29пожаловаться#19

SP

Stanislav Popov in rust_offtopic
а если мне нужна десятку которая не пролезет в тип интов другого пространства?
источник
22:29пожаловаться#20