В России плохо жить, даже если ты разраб. Но я все равно отказываюсь от релокейта

Кажется, мы очень по разному поняли посыл Дурака

Надо помолчать

Лично, с друзьями

Надо помолчать

Пришёл кстати к таким же выводам, но со своей разговорчивостью ничего поделать не смог. Для меня проблема даже не в том, что придумается не самое лучшее решение, если я сразу начну всем рассказывать свое, тут есть последствия и похуже — тебя все начинают ненавидеть, потому что ты всегда забираешь себе все внимание.

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

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Ааа. Да, это точно важный кейс.

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Если честно, совсем не понял мысль

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Интересная деталь, если свойство name будет приватным, код станет невалидным. В тс и правда много намешано, подумываю написать об этом подробно, но все как-то руки не доходят

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Он говорит про кейс с компайл тайм известным значением. Зачем его правда на что-то там проверять в компайлтайме — другой вопрос

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Да. Но это и не для констант сделано же

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Так они и должны там проходить — сами то числа на проверку я же в рантайме буду получать. Идея в том, что у меня есть ветвь выполнения, в которой есть гарантия. что число меньше ста — и гарантия эта есть на этапе компиляции

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Вот я как-то делал для примера
плейграунд

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Тут вот в чем штука. В C# я могу написать LessThan100, а в тайпскрипте могу написать

LessThan<T>

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Так, звучит разумно. Но что должен делать ЯП, что бы считать его строгим/нестрогим?

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Интересно, а зачем спорить, когда ты настолько некомпетентный?

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Я точно не пытался сказать, что тайпскрипт плох. У его системы типов точно есть большие проблемы, но они есть во всех системах типов. Лично мне больше нравится писать код на тайпскрипте, чем на C# — потому что он выразительнее. А проблемы лечатся.

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Тоже от ЯП зависит. В номинативном фарше можно наоборот

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Причем теоретически, я могу заставить тайпскрипт валидировать полное соответствие — как тогда мне называть его модель типизации? Понятия не имею.

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Это да. Но вот сильной типизацию в C# назвать сложно.

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Но вот в описании япов обычно пишут, C# — язык со строгой статической типизацией. Что по-хорошему не совсем так, а иногда и совсем не так

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

А где, что нет?)

Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

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