KR
Я уже молчу, что на типах можно более внятно описывать семантику, нежели на голых термах.
Size: a a a
2021 February 19
IL
такой удар в спину от раставчанина
Ну блин... я же не сказал, что у меня JS самый прям любимый язык. )
KR
Банально код читается в разы понятнее, а не "обжект туда, обжект сюда"
SP
Ну блин... я же не сказал, что у меня JS самый прям любимый язык. )
но ты сказал что не так радикален как мы в вопросах типизации )
IL
да, но в рамках того что может система типов ошибок не будет
Ну так и про JS можно сказать, он тоже кое-какие типы проверяет, просто гораздо меньше.
IL
но ты сказал что не так радикален как мы в вопросах типизации )
А там меня выше @tyranron наоборот за радикализм ругает )
p
писать не на чем Полунин, а ты еще раст выкинул
Не
p
Раст говно но послаще
p
Так что на расте можно писать пока не будет адекватного языка
R
Так что на расте можно писать пока не будет адекватного языка
а шарп чем тебя не устроил?
R
ты же вроде на шарпе пишешь?
KR
Полунин почти уже как царь... "мир делится на пацанов и запарту" -> "мир делится на сорты говна, но некоторые сорты послаще"
KR
@enomad эталонный злобный идеалист
SP
ахаха
p
а шарп чем тебя не устроил?
Невыразительный. Мне не нравится идея боксить все на свете в any и потом в рантайме чето делать
SP
не. полунин няша
ΑZ
Ну так и про JS можно сказать, он тоже кое-какие типы проверяет, просто гораздо меньше.
ну во-первых не проверяет: компайл-тайм ошибокв ЖС нет. Взрывы "undefined is not a function" - это не проверка типов, согласно тому же Пирсу
во-вторых потому он и фиговый, что проверяет меньше
во-вторых потому он и фиговый, что проверяет меньше
SP
максимум практик
KR
не. полунин няша
Одно другому не мешает)
SP
ну все что говорит полунин и эммануэль правда