Size: a a a

2020 March 03

EG

Emmanuel Goldstein in rust_offtopic
Это классное определение с весьма ограниченной полезностью. Привет, &dyn Any.
источник

AZ

Alex Zhukovsky in rust_offtopic
Vabka
let a = "123".parse();
let b = "321".parse();
let sum = Math.Sum(a, b);
// тут тип sum всё ещё не известен - надо как-то его закрыть, чтобы скомпилировалось
ну вот, у тебя тут уже 400 комбинаций, например int-double, double-int, float-double, short-int и так далее
источник

EG

Emmanuel Goldstein in rust_offtopic
И аналогичные конструкции, вроде interface{}.
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
это значит что ты не запуская программу в каждой точке можешь назвать множество возможных значений перменных
Возьмём Раст. Программа на расте это асм. Покажи мне в асме типы.
источник

V

Vabka in rust_offtopic
λeonid Onokhov
Типы бывают у выражений, а не у значений. Живите с этим.
выражение - это значение. Живи с этим
источник

λO

λeonid Onokhov in rust_offtopic
Vabka
выражение - это значение. Живи с этим
🙅‍♂
источник

AZ

Alex Zhukovsky in rust_offtopic
в асме нет типов
источник

AZ

Alex Zhukovsky in rust_offtopic
прогармма на расте это не асм
источник

V

Vabka in rust_offtopic
λeonid Onokhov
🙅‍♂
а что такое значение?
источник

p

polunin.ai in rust_offtopic
Ну вот, в проге на расте нет типов
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
Ну вот, в проге на расте нет типов
хватит нести чушь
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
прогармма на расте это не асм
Так и есть
источник

V

Vabka in rust_offtopic
Alex Zhukovsky
прогармма на расте это не асм
а что такое программа на расте? Это исходный код или машинный код, который произвёл компилятор?
источник

EG

Emmanuel Goldstein in rust_offtopic
Ну ты не прав. То, что Rust компилируется в язык ассемблера — это, во-первых, implementation detail, во-вторых, неправда.
источник

AZ

Alex Zhukovsky in rust_offtopic
программа на расте это то что принимает на вход rustc
источник

λO

λeonid Onokhov in rust_offtopic
Vabka
а что такое значение?
1 - значение, Int -тип
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
программа на расте это то что принимает на вход rustc
Это исходный код
источник

V

Vabka in rust_offtopic
λeonid Onokhov
1 - значение, Int -тип
typeof(1) == Int
источник

EG

Emmanuel Goldstein in rust_offtopic
Rust компилируется в LLVM IR, в котором есть типы.
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
Это исходный код
все верно
источник