Сообщение Re[23]: Поругайте TypeScript/node.js от 29.06.2022 11:40
Изменено 29.06.2022 12:22 ·
Re[23]: Поругайте TypeScript/node.js
Здравствуйте, Pauel, Вы писали:
P>>>Ты привел пример явного хака. В твоей джаве, шарпе всё протыкается безо всяких unsafe. Ты разницу то понимаешь?
P>·>Протыкается явными операциями протыкания. А не как typescript — втихушку теряется инфа.
P>То есть, с хаскелем ты привел невалидный пример.
Это пример возможности явного протыкания системы типов.
P>В тайпскрипте readonly это единственное место, где теряется инфа. И судя по гитхабу, это мало кого волнует.
С коллекциями тоже проблема была, но, слава богу, пофиксили недавно.
Плюс null checks вроде сделано, но, по моему опыту, никто не использует, т.к. неюзабельно. Ты вот используешь?
P>>>Уже привел. Смотри внимательно.
P>·>Я тебе уже несколько раз объяснил, что твой пример несостоятельный. Ты это тупо скипаешь.
P>Потому, что тебе это не нравится?
Потому, что компилятор тебе явно говорит, что типы не проверяются. Причём тут я?
P>Я в джава коде регулярно встречаю и такое, и всевозможные касты, и что угодно. Т.е. это фактическое положение дел.
Это не дыры в системе типов явы, а баги в конкретном коде. Ещё ни один яп не смог заставить писать безбажый код.
P>>>Ты привел пример явного хака. В твоей джаве, шарпе всё протыкается безо всяких unsafe. Ты разницу то понимаешь?
P>·>Протыкается явными операциями протыкания. А не как typescript — втихушку теряется инфа.
P>То есть, с хаскелем ты привел невалидный пример.
Это пример возможности явного протыкания системы типов.
P>В тайпскрипте readonly это единственное место, где теряется инфа. И судя по гитхабу, это мало кого волнует.
С коллекциями тоже проблема была, но, слава богу, пофиксили недавно.
Плюс null checks вроде сделано, но, по моему опыту, никто не использует, т.к. неюзабельно. Ты вот используешь?
P>>>Уже привел. Смотри внимательно.
P>·>Я тебе уже несколько раз объяснил, что твой пример несостоятельный. Ты это тупо скипаешь.
P>Потому, что тебе это не нравится?
Потому, что компилятор тебе явно говорит, что типы не проверяются. Причём тут я?
P>Я в джава коде регулярно встречаю и такое, и всевозможные касты, и что угодно. Т.е. это фактическое положение дел.
Это не дыры в системе типов явы, а баги в конкретном коде. Ещё ни один яп не смог заставить писать безбажый код.
Re[23]: Поругайте TypeScript/node.js
Здравствуйте, Pauel, Вы писали:
P>>>Ты привел пример явного хака. В твоей джаве, шарпе всё протыкается безо всяких unsafe. Ты разницу то понимаешь?
P>·>Протыкается явными операциями протыкания. А не как typescript — втихушку теряется инфа.
P>То есть, с хаскелем ты привел невалидный пример.
Это пример возможности явного протыкания системы типов.
P>В тайпскрипте readonly это единственное место, где теряется инфа. И судя по гитхабу, это мало кого волнует.
С коллекциями тоже проблема была, но, слава богу, пофиксили недавно.
Плюс null checks вроде сделано, но, по моему опыту, никто не использует, т.к. неюзабельно. Ты вот используешь?
P>>>Уже привел. Смотри внимательно.
P>·>Я тебе уже несколько раз объяснил, что твой пример несостоятельный. Ты это тупо скипаешь.
P>Потому, что тебе это не нравится?
Потому, что компилятор тебе явно говорит, что типы не проверяются. Компилятору не нравится, причём тут я?
P>Я в джава коде регулярно встречаю и такое, и всевозможные касты, и что угодно. Т.е. это фактическое положение дел.
Это не дыры в системе типов явы, а баги в конкретном коде. Ещё ни один яп не смог заставить писать безбажый код.
P>>>Ты привел пример явного хака. В твоей джаве, шарпе всё протыкается безо всяких unsafe. Ты разницу то понимаешь?
P>·>Протыкается явными операциями протыкания. А не как typescript — втихушку теряется инфа.
P>То есть, с хаскелем ты привел невалидный пример.
Это пример возможности явного протыкания системы типов.
P>В тайпскрипте readonly это единственное место, где теряется инфа. И судя по гитхабу, это мало кого волнует.
С коллекциями тоже проблема была, но, слава богу, пофиксили недавно.
Плюс null checks вроде сделано, но, по моему опыту, никто не использует, т.к. неюзабельно. Ты вот используешь?
P>>>Уже привел. Смотри внимательно.
P>·>Я тебе уже несколько раз объяснил, что твой пример несостоятельный. Ты это тупо скипаешь.
P>Потому, что тебе это не нравится?
Потому, что компилятор тебе явно говорит, что типы не проверяются. Компилятору не нравится, причём тут я?
P>Я в джава коде регулярно встречаю и такое, и всевозможные касты, и что угодно. Т.е. это фактическое положение дел.
Это не дыры в системе типов явы, а баги в конкретном коде. Ещё ни один яп не смог заставить писать безбажый код.