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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

SP

Stanislav Popov in rust_offtopic
Дмитрий Беляев
а вот if(typeof arg === 'number')
мне гарантирует что в arg число, даже если я на голом js пишу, без всякого ts
рантайм проверка тебе это может гарантировать только при непосредственном исполнении, кинув эксепшен в лицо. а еще лучше просто пропустив кусок кода и не сделав ничего. эта гарантия не подсветит тебе красным все вызовы например
источник
03:48пожаловаться#1

SP

Stanislav Popov in rust_offtopic
Дмитрий Беляев
но в рантайме ведь нет типов да?
нету. ты просто берешь рантайм обьект и проверяешь у этого рантайм обьекта рантайм свойство которое позволяет его определить к какому то рантайм-множеству рантайм-значений
источник
03:48пожаловаться#2

SP

Stanislav Popov in rust_offtopic
хотя ты это все итак знаешь
источник
03:49пожаловаться#3

SP

Stanislav Popov in rust_offtopic
Дмитрий Беляев
а если я вызову так:
f({} as any)
я кстати понял о чем ты. это такая попытка сманипулировать что если имеем достаточно широкий сумтип то он превращается в any
источник
03:50пожаловаться#4

ДБ

Дмитрий Беляев... in rust_offtopic
Stanislav Popov
рантайм проверка тебе это может гарантировать только при непосредственном исполнении, кинув эксепшен в лицо. а еще лучше просто пропустив кусок кода и не сделав ничего. эта гарантия не подсветит тебе красным все вызовы например
https://www.typescriptlang.org/play/#code/GYVwdgxgLglg9mABMAFAQwE4HMBci1gCeAlHmCALYBGAphogN4CwAUIu4jMIilIQA4043TFkQBeSYgDk5anWnFGrDqsQYaUEBiSjEAKkQAmANwqOAX3PsNWnYgAMZlhaA
ts с тобой не согласен
источник
03:50пожаловаться#5

SP

Stanislav Popov in rust_offtopic
ну в статике у тебя функция принимающая что угодно отдающее намбер, и что?
источник
03:50пожаловаться#6

A

Alex in rust_offtopic
Stanislav Popov
я кстати понял о чем ты. это такая попытка сманипулировать что если имеем достаточно широкий сумтип то он превращается в any
но на практике такое не возможно и any это не сумтип, any просто говорит не чекать тип и все
источник
03:51пожаловаться#7

ДБ

Дмитрий Беляев... in rust_offtopic
Stanislav Popov
ну в статике у тебя функция принимающая что угодно отдающее намбер, и что?
тс знает, что typeof сделает проверку типа в рантайме а значит внутри if точно number, хотя снаружи - что угодно
источник
03:52пожаловаться#8

SP

Stanislav Popov in rust_offtopic
тс не знает что тайпоф сделает проверку, тс просто скипает все что связано с any как заботу уровня ниже, т.е. динамики. и все что тс отсюда выносит это сигрнатуру функции
источник
03:53пожаловаться#9

ДБ

Дмитрий Беляев... in rust_offtopic
Stanislav Popov
тс не знает что тайпоф сделает проверку, тс просто скипает все что связано с any как заботу уровня ниже, т.е. динамики. и все что тс отсюда выносит это сигрнатуру функции
наведи на arg внутри if в плеграунде
источник
03:54пожаловаться#10

SP

Stanislav Popov in rust_offtopic
я не понимаю что происходит, ты выслушал моё определение статики которое частично похоже на определение пирса и большенство статикобогов этого чатика со мной согласны и кидаешь тонкие моменты которые какбы должны в этом определении пробить какуюто брешь
источник
03:54пожаловаться#11

SP

Stanislav Popov in rust_offtopic
Дмитрий Беляев
наведи на arg внутри if в плеграунде
а ну неплохо что они трекают это
источник
03:55пожаловаться#12

ДБ

Дмитрий Беляев... in rust_offtopic
Stanislav Popov
а ну неплохо что они трекают это
https://www.typescriptlang.org/play/#code/GYVwdgxgLglg9mABMAFAQwE4HMBcjwDWYcA7mAJR5ggC2ARgKYaIDeAsAFCLeIzCIooATwAODOP0xZEAXjmIA5NXpMF5Vpx5bEGBlBAYkUxACpEAJgDcmngF8b3PgOFiJiY3JmKAzlAwwwLDUNLm1uXX1DRBFMbwYAMQAbODQodGxya1Due2ydPQMkAAYs2yA
источник
03:55пожаловаться#13

SP

Stanislav Popov in rust_offtopic
тоесть они по коду (typeof arg === 'number') понимают что внутри ифа оно намбер. это разумно и это определяется по коду
источник
03:55пожаловаться#14

SP

Stanislav Popov in rust_offtopic
прикольно
источник
03:56пожаловаться#15

ДБ

Дмитрий Беляев... in rust_offtopic
Stanislav Popov
тоесть они по коду (typeof arg === 'number') понимают что внутри ифа оно намбер. это разумно и это определяется по коду
они лишь понимают, что проверка типа будет в рантайме
а так же они понимают, так как в if есть return
то после него точно не number
источник
03:56пожаловаться#16

SP

Stanislav Popov in rust_offtopic
ну да. они эту одназначность рантайм поведения переносят в компайлтайм, симулируют её если точнее
источник
03:57пожаловаться#17

B

Biose in rust_offtopic
ТФ3 на раст конфирмед
источник
03:57пожаловаться#18

ДБ

Дмитрий Беляев... in rust_offtopic
Biose
ТФ3 на раст конфирмед
sticker.webp
(31.42 Кб)
источник
03:58пожаловаться#19

SP

Stanislav Popov in rust_offtopic
Stanislav Popov
ну да. они эту одназначность рантайм поведения переносят в компайлтайм, симулируют её если точнее
и это круто, это то что я пытался обьяснить питонодаунам, когда говорил что то когда они делают a = 1 тип а очевиден и статичен, но им почему то выгодно думать что там any у них
источник
03:59пожаловаться#20