Size: a a a

2020 May 09

e

egoarka in rust_offtopic
egoarka
Object instance  = type.forName(className).getConstructor().newInstance();

target.declaredMethods[1].invoke(instance,true);

это интерпретация?
код
источник

e

egoarka in rust_offtopic
Alex Zhukovsky
type tags, читайте пирса
и еще такой вопрос: если кто то сказал что черное - это белое, то к нему нужно всегда обращаться как первоисточнику?

и еще
type tags + c#
type tags + java
не дают релевантных результатов в гугле, с чего я должен доверять этому источнику?
источник

e

egoarka in rust_offtopic
Alex Zhukovsky
if hasIntTag(x)) {
   foo: int = castToInt(x);
}
если что в шарпе это
Type.getType() или typeof (вместо hasintTag в твоем случае)

а где в шарпе теги? покажи плиз (понятно что твой пример  из головы, но мы тут говорим про корректные вещи)
источник

SP

Stanislav Popov in rust_offtopic
egoarka
и еще такой вопрос: если кто то сказал что черное - это белое, то к нему нужно всегда обращаться как первоисточнику?

и еще
type tags + c#
type tags + java
не дают релевантных результатов в гугле, с чего я должен доверять этому источнику?
парадокс блаба потому что. с точки зрения науки о типах жава почти никогда не рассматривается в местах которые может быть индексированы гуглом. зато в чатиках часто про это все говорят
источник

D

Dima in rust_offtopic
Stanislav Popov
парадокс блаба потому что. с точки зрения науки о типах жава почти никогда не рассматривается в местах которые может быть индексированы гуглом. зато в чатиках часто про это все говорят
джава и наука о типах?)
источник

SP

Stanislav Popov in rust_offtopic
никто например не рассматривает зависимость скорости и момента как сопротивление, но если рассматривать то можно делать некоторые выводы в местах где нужно согласование сопротивлений, например
источник

KR

Kai Ren in rust_offtopic
egoarka
и еще такой вопрос: если кто то сказал что черное - это белое, то к нему нужно всегда обращаться как первоисточнику?

и еще
type tags + c#
type tags + java
не дают релевантных результатов в гугле, с чего я должен доверять этому источнику?
Не "кто-то" сказал, а это целая ветвь науки, развивающаяся много лет, которая и является тем самым перво источником. И труд уважаемого Пирса в доносит результаты этого развития до нас в доступной форме.

Если тебе Фейнмайн определенным образом растолкует какое-то физическое явление (пусть даже в книге), то, ИМХО, это больше заслуживает доверия, нежели то, что ты услышишь по телевизору или прочитаешь на первой страницы гугловыдачи.

В конце-концов, здесь никто не принуждает никого "верить". Ознакомься с трудами и сам для себя сделай выводы:
http://khizha.dp.ua/library/Benjamin_C_Pierce_-_Types_and_Programming_Languages_%5Bru%5D.pdf
источник

EG

Emmanuel Goldstein in rust_offtopic
Kai Ren
В компайл тайме - это просто информация для тайп-чекера. После компиляции она исчезает и программа не хранит никакой информации о типах, за исключением если это не было сделано явно. То есть сами данные не имеют тегов/меток с информацией о типе.
Это, кстати, необязательно правда. Иногда правда, иногда нет. Иногда статическая типизация есть, но и в рантайме информация о типах доступна.
Пример — Go и interface{}, mypy, отчасти Rust и dyn
источник

KR

Kai Ren in rust_offtopic
Emmanuel Goldstein
Это, кстати, необязательно правда. Иногда правда, иногда нет. Иногда статическая типизация есть, но и в рантайме информация о типах доступна.
Пример — Go и interface{}, mypy, отчасти Rust и dyn
Ну, как правило, в статических языках есть инструменты для выполнения динамических приёмов, той или иной меры явности, ибо без них толком даже гетерогенную колекцию не построишь. Но это не является поведением по умолчанию, потому, в принципе, может быть опущено за скобки, так как это не заставляется все данные и типы по умолчанию содержать теги.
источник

e

egoarka in rust_offtopic
Kai Ren
Не "кто-то" сказал, а это целая ветвь науки, развивающаяся много лет, которая и является тем самым перво источником. И труд уважаемого Пирса в доносит результаты этого развития до нас в доступной форме.

Если тебе Фейнмайн определенным образом растолкует какое-то физическое явление (пусть даже в книге), то, ИМХО, это больше заслуживает доверия, нежели то, что ты услышишь по телевизору или прочитаешь на первой страницы гугловыдачи.

В конце-концов, здесь никто не принуждает никого "верить". Ознакомься с трудами и сам для себя сделай выводы:
http://khizha.dp.ua/library/Benjamin_C_Pierce_-_Types_and_Programming_Languages_%5Bru%5D.pdf
Спасибо, прочитаю

Если время найду, а пока я останусь при своём
источник

EG

Emmanuel Goldstein in rust_offtopic
Kai Ren
Ну, как правило, в статических языках есть инструменты для выполнения динамических приёмов, той или иной меры явности, ибо без них толком даже гетерогенную колекцию не построишь. Но это не является поведением по умолчанию, потому, в принципе, может быть опущено за скобки, так как это не заставляется все данные и типы по умолчанию содержать теги.
Ты смешиваешь типизацию с компилируемостью
источник

EG

Emmanuel Goldstein in rust_offtopic
Статически типизированный mypy никуда не компилируется
источник

KR

Kai Ren in rust_offtopic
Emmanuel Goldstein
Статически типизированный mypy никуда не компилируется
А проверка типов как выполняется без этапа этой самой проверки, который мы и зовём условно "компиляцией"?
источник

EG

Emmanuel Goldstein in rust_offtopic
Kai Ren
А проверка типов как выполняется без этапа этой самой проверки, который мы и зовём условно "компиляцией"?
Отдельно.
Ты отдельно запускаешь mypy, и потом отдельно код.
источник

EG

Emmanuel Goldstein in rust_offtopic
Код при этом не меняется, а типы можно найти в __annotations__
источник

SP

Stanislav Popov in rust_offtopic
Kai Ren
А проверка типов как выполняется без этапа этой самой проверки, который мы и зовём условно "компиляцией"?
меня чатив питонорачков за такие "называем" погнал прочь. мол у компиляции есть определение, пок пок
источник

EG

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

EG

Emmanuel Goldstein in rust_offtopic
А это тайпчекинг
источник

EG

Emmanuel Goldstein in rust_offtopic
Java, емнип, сохраняет типы объектов в рантайме
источник

EG

Emmanuel Goldstein in rust_offtopic
Но тут не спец
источник