Телеграмм чат группы rust_offtopic страница 11847

Переслано от Alex Zhukovsky

00:48пожаловаться #1

уже который раз скидываю

00:48пожаловаться #2

egoarka

так типы или метки или теги?

обычно ты связываешь одно с другим, но не обязательно

00:48пожаловаться #3

что значит связываешь?

00:49пожаловаться #4

if hasIntTag(x)) {
    foo: int = castToInt(x);
}

00:50пожаловаться #5

Dima in rust_offtopic

Вафель

В атомиках совсем не шарю, но если что, могу подсказать что-то с ансейвом — обращайся

спасибо

00:50пожаловаться #6

hasIntTag чекает тег, переменная foo имеет тип инт

00:50пожаловаться #7

короч это всё философия, не вижу особого смысла это как-то классифицировать

00:50пожаловаться #8

что представляетсобой динамика и какие у неё гарантии все и так знают

00:51пожаловаться #9

Alex Zhukovsky

hasIntTag чекает тег, переменная foo имеет тип инт

хорошо
а теперь другой вопрос - это интерпетация? многие говорят что это интерпертация какая-то страшная (не я)

00:51пожаловаться #10

polunin.ai in rust_offtopic

>многие

00:51пожаловаться #11

egoarka

вопрос определений, кто-то говорит про рантайм типы и компайл тайм типы

00:51пожаловаться #12

мне кажется вернее терминология: теги и просто типы

00:51пожаловаться #13

от другой формулировки смысл не изменился

00:52пожаловаться #14

polunin.ai in rust_offtopic

Переслано от Pavel Павлик

Неявные типы в питоне? С аннотациями типы вполне явные

00:53пожаловаться #15

@Psilon прокомментируй плиз

00:54пожаловаться #16

Переслано от egoarka

это с помощью так называемой рефлексии сделано если что

00:54пожаловаться #17

Переслано от egoarka

сишарп так же может

00:54пожаловаться #18

Переслано от egoarka

он теперь скриптуха?

00:54пожаловаться #19

Да