AR
"ничего не описано" это any
Size: a a a
2020 May 08
AR
any это не подтип int -> int
ST
да, при дефолтных настройках
ну то есть результат такой же, если бы у меня f1 тоже никак не была описана?
и в чём тут typing тогда?
и в чём тут typing тогда?
AR
ругаться будет при дефолтных настройках
AR
ну компилятор тебя форсит проверить тип f2
AR
ну точнее в этом случае ты хер что проверишь кста...
ST
ну компилятор тебя форсит проверить тип f2
как он меня форсит?
заставляет для неё тоже прописать сигнатуру?
заставляет для неё тоже прописать сигнатуру?
AR
проверить в рантайме
AR
с объектами так
AR
но с функами сложнее, функи в жс типы в рантайме не несут
AR
в отличии от го, например
AR
где через рефлексию ты можешь все проверить
AR
собственно go это тоже gradual typing язык по сути
ST
ну вот не нужно мне проверять в рантайме, я «знаю» что у f2 правильная сигнатура, но не хочу этого описывать, ибо gradual
AR
там половина значений в коде — interface{} тип имеют )
AR
ну вот не нужно мне проверять в рантайме, я «знаю» что у f2 правильная сигнатура, но не хочу этого описывать, ибо gradual
ну если ты "знаешь", то можешь закастить к типу небезопасно просто
AR
но с функами сложнее, функи в жс типы в рантайме не несут
тут вопрос к знатокам ТС, кста!
ST
то есть у меня ощущение, что если gradual — то по факту ни то ни сё
либо начинаешь по цепочке везде указывать типы, чтобы согласовать подключение всех элементов
либо начинаешь по цепочке везде указывать типы, чтобы согласовать подключение всех элементов
ST
ну если ты "знаешь", то можешь закастить к типу небезопасно просто
ну опять же работа на удовлетворение компилятора 😊
TP
А что если скажу, что классы / структуры и типы это ортогональные вещи ?
Я понимаю о чем вы, но все-таки не соглашусь до конца.
Есть у меня класс User. И не важно что это - джавовый поджо, сишная структура или что-то ещё. В конечном итоге я использую его как compound type - набор полей)
Есть у меня класс User. И не важно что это - джавовый поджо, сишная структура или что-то ещё. В конечном итоге я использую его как compound type - набор полей)