Size: a a a

2020 May 08

Т8

Т-34 85 in rust_offtopic
Саша Гольдштейн тож слился
источник

Т8

Т-34 85 in rust_offtopic
пишет в Гугле на джаве
источник

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
let c_ptr: *mut c_void = unsafe { ffi_call() }
Тут тип указатель на войд
источник

SP

Stanislav Popov in rust_offtopic
fn ololo(hui)->()({ hui.mutate() }

эффект не типизировали - динамика
источник

e

egoarka in rust_offtopic
egoarka
https://en.wikipedia.org/wiki/Reflection_(computer_programming)?wprov=sfti1


Выдели предложение похожее на твою мысль из Вики, я не понимаю о каких тегах метках речь
источник

p

polunin.ai in rust_offtopic
egoarka
ну я у тебя спрашиваю, ты говоришь что типы в компил тайме - это типы
В чем вопрос?
источник

e

egoarka in rust_offtopic
вопрос в сообщении
источник

p

polunin.ai in rust_offtopic
Я вижу вопрос "типы это типы?" На который у меня нет желания отвечать
источник

e

egoarka in rust_offtopic
потому что ты не знаешь что говоришь потому что сказал непонятно что?
источник

p

polunin.ai in rust_offtopic
egoarka
потому что ты не знаешь что говоришь потому что сказал непонятно что?
Я сказал что типы есть только на этапе компиляции. В рантайме метки. Что неясно?
источник

e

egoarka in rust_offtopic
хорошо
в чем различие тогда "типа" на этапе компиляции от "метки" в рантайме?
источник

EG

Emmanuel Goldstein in rust_offtopic
polunin.ai
Тут тип указатель на войд
Охуенно, ещё б воид был типом
источник

SP

Stanislav Popov in rust_offtopic
egoarka
хорошо
в чем различие тогда "типа" на этапе компиляции от "метки" в рантайме?
в том что мы фанаты статической культуры
источник

EG

Emmanuel Goldstein in rust_offtopic
Но вообще вы спорите о терминах, а это уныло
источник

e

egoarka in rust_offtopic
Stanislav Popov
в том что мы фанаты статической культуры
я не против, но это не объяснение)
источник

EG

Emmanuel Goldstein in rust_offtopic
Но прав скорее @egoarka, потому что есть общепринятые термины, и среди них "динамическая типизация"
источник

p

polunin.ai in rust_offtopic
egoarka
хорошо
в чем различие тогда "типа" на этапе компиляции от "метки" в рантайме?
Тип это множество значений которые может принимать переменная (упрощённо)
Метка - это указание в рантайме способа работы с данными с этой меткой
источник

SP

Stanislav Popov in rust_offtopic
egoarka
я не против, но это не объяснение)
типы имеют смысл только в статике. вы можете называть ваши придуманные типы которые работают внутри рантайма типами и чекать их по ходу интерпретации но это в бесконечно много раз хуже чем знать все до рантайма
источник

EG

Emmanuel Goldstein in rust_offtopic
Но несмотря на то, что он скорее прав, победу в споре я никому засчитать не готов, потому что вы спорите без пруфов
источник

SP

Stanislav Popov in rust_offtopic
Emmanuel Goldstein
Но прав скорее @egoarka, потому что есть общепринятые термины, и среди них "динамическая типизация"
нету такого термина кстати. я специально искал. если ты попробуешь чтото найти там будет крайне расплывчатая попытка описать что "это такой набор практик"
источник