Что-что умею?

=> статика сосёт

static_cast есть, даже dynamic_cast есть

опять про математику, задачу останова. какой же бред

Я сказал в рантайме

Зачем?

Ясно

Не пиши мне

математика кококо
@
сделал императивную дрисню

Разговоры про теорию типов бесмысленнены без этого. Просто потому что современные системы типов основаны на идеях непосредственно из теории типов, где это имеет значение.

Т.е. те же всеми любимые дженерики/универсальные типы - это чисто математическая фишка пришедшая из чистой академии очень косвенно связанной с непосредтственно разработкой. (Сюда же и экзистенциальные типы идут и даже субтайпинг современного вида и т.д. и т.п.)

Игнорировать это - значит сразу же подписываться в своём полном непонимании темы

я уже говорил как я к этому отношусь. излишнее теоретизирование это бред

Было бы оно излишним, но большинство современных языков на это ощутимо опирается. (Начиная от джавки, где наняли в свое время Одерски, чтобы он им дженерики сделал и заканчивая тем же растом, который по уровню упоротости по системе типов является 100% ресерч языком)

доги ну комон. чел прямым текстом говорит - "динамическая типизация существует потому что..." т.е. читать как "невежество и полный забив на типы существует потому что..." - математика, гедель, кококо

это выглядит крайней нелепо

Ну я не собираюсь спускаться на его уровень, поэтому говорю аргументы со своего уровня понимания

То, что он их не понимает - мне как-то глубоко пофигу

он говорит с позиции понимающего. это автор котлин на минуточку

и да. мне серьёзно надоел весь этот академия-тролинг тичиков. типчики это банальнейшая вещь

Хмм.. я бы не назвал авторов котлина понимающими в теории типов.

Котлин - это такая джава, в которую натаскали фич, люди которые хорошо понимают в энтерпрайз джаве разработке, но плохо понимают в дизайне языков, это там везде прослеживается. Такой ад-хок язык, в который натаскали фич, чтобы джавадаунам в андроиде и спринге нужно было меньше печатать. Это его единственная ценность.