AK
Ну есть, конечно, при разборе AST может некоторые ошибки показать.
Size: a a a
2020 May 08
AC
когда ты в репл грузишь функцию - может ошибка выскочить
AC
плюс в кложе есть вывод типов неявный
AK
Может выскочить. Но это всё намного слабее, чем происходит в CL.
AK
И это чувствуется.
AC
ну короче
AC
В чем был мой тезис
AC
Никто до сих пор не показал наглядно что типы лучше
AC
Нет никаких количественных метрик
AK
Ну вот ты данные в мапке кидаешь?
AK
Никто до сих пор не показал наглядно что типы лучше
Не, ну я вообще сторонник методологии "разработка через страдание". То есть если тебе норм, то пользуйся.
AK
Мне вот, например, не норм.
AK
Кстати, потыкал свежую кложу. Эти вещи стали получше с тех пор, когда они меня сильно добивали.
AK
То есть он что-то уже выводить пытается вменяемо.
IG
поведение CL и кложи разнится, да.
TP
Блин, думал избежать обсуждения этого выброса, но оно везде настигает 😅
У меня Kotlin pays the bills, а на кложе пишу свои сайд-проекты)
И там и там есть свои заморочки по поводу типов.
Вот например в строгой типизации меня бесит что на каждый чих приходится объявлять новый класс/структуру. Ну вот делаю я хэндлер запроса на сервере, мне там этот Pojo не нужен, я итак каждое поле от юзера валидирую. Намного приятней принять мапу, провалидировать ключи и пойти дальше. Толку от того, что я эти ключи в классе перечислю - нуль.
Но вот в других местах хочется точно знать что тебе приходит в функцию, этого иногда не хватает в динамическом языке.
Всякие спеки и pre-condition конечно помогают, но всё равно чуть больше работы надо сделать)
Поэтому думается мне что gradual typing - самое оно.
Написал статически-типизированные функции где надо, сказал чекеру «check types” и поехал дальше кнопки красить))
У меня Kotlin pays the bills, а на кложе пишу свои сайд-проекты)
И там и там есть свои заморочки по поводу типов.
Вот например в строгой типизации меня бесит что на каждый чих приходится объявлять новый класс/структуру. Ну вот делаю я хэндлер запроса на сервере, мне там этот Pojo не нужен, я итак каждое поле от юзера валидирую. Намного приятней принять мапу, провалидировать ключи и пойти дальше. Толку от того, что я эти ключи в классе перечислю - нуль.
Но вот в других местах хочется точно знать что тебе приходит в функцию, этого иногда не хватает в динамическом языке.
Всякие спеки и pre-condition конечно помогают, но всё равно чуть больше работы надо сделать)
Поэтому думается мне что gradual typing - самое оно.
Написал статически-типизированные функции где надо, сказал чекеру «check types” и поехал дальше кнопки красить))
ST
Блин, думал избежать обсуждения этого выброса, но оно везде настигает 😅
У меня Kotlin pays the bills, а на кложе пишу свои сайд-проекты)
И там и там есть свои заморочки по поводу типов.
Вот например в строгой типизации меня бесит что на каждый чих приходится объявлять новый класс/структуру. Ну вот делаю я хэндлер запроса на сервере, мне там этот Pojo не нужен, я итак каждое поле от юзера валидирую. Намного приятней принять мапу, провалидировать ключи и пойти дальше. Толку от того, что я эти ключи в классе перечислю - нуль.
Но вот в других местах хочется точно знать что тебе приходит в функцию, этого иногда не хватает в динамическом языке.
Всякие спеки и pre-condition конечно помогают, но всё равно чуть больше работы надо сделать)
Поэтому думается мне что gradual typing - самое оно.
Написал статически-типизированные функции где надо, сказал чекеру «check types” и поехал дальше кнопки красить))
У меня Kotlin pays the bills, а на кложе пишу свои сайд-проекты)
И там и там есть свои заморочки по поводу типов.
Вот например в строгой типизации меня бесит что на каждый чих приходится объявлять новый класс/структуру. Ну вот делаю я хэндлер запроса на сервере, мне там этот Pojo не нужен, я итак каждое поле от юзера валидирую. Намного приятней принять мапу, провалидировать ключи и пойти дальше. Толку от того, что я эти ключи в классе перечислю - нуль.
Но вот в других местах хочется точно знать что тебе приходит в функцию, этого иногда не хватает в динамическом языке.
Всякие спеки и pre-condition конечно помогают, но всё равно чуть больше работы надо сделать)
Поэтому думается мне что gradual typing - самое оно.
Написал статически-типизированные функции где надо, сказал чекеру «check types” и поехал дальше кнопки красить))
«gradual typing - самое оно»
он где-то есть такой, как хочется?
и возможно ли это?
он где-то есть такой, как хочется?
и возможно ли это?
TP
«gradual typing - самое оно»
он где-то есть такой, как хочется?
и возможно ли это?
он где-то есть такой, как хочется?
и возможно ли это?
Ну вот в Raku (Perl 6 бывший) вроде довольно прикольно работает, хотя я лишь поверхностно тыкал)
Понятное дело что всем не угодишь, но для этого есть разные инструменты наверное
Понятное дело что всем не угодишь, но для этого есть разные инструменты наверное
ST
мне как-то плохо представляется gradual typing на этапе компиляции
VL
Блин, думал избежать обсуждения этого выброса, но оно везде настигает 😅
У меня Kotlin pays the bills, а на кложе пишу свои сайд-проекты)
И там и там есть свои заморочки по поводу типов.
Вот например в строгой типизации меня бесит что на каждый чих приходится объявлять новый класс/структуру. Ну вот делаю я хэндлер запроса на сервере, мне там этот Pojo не нужен, я итак каждое поле от юзера валидирую. Намного приятней принять мапу, провалидировать ключи и пойти дальше. Толку от того, что я эти ключи в классе перечислю - нуль.
Но вот в других местах хочется точно знать что тебе приходит в функцию, этого иногда не хватает в динамическом языке.
Всякие спеки и pre-condition конечно помогают, но всё равно чуть больше работы надо сделать)
Поэтому думается мне что gradual typing - самое оно.
Написал статически-типизированные функции где надо, сказал чекеру «check types” и поехал дальше кнопки красить))
У меня Kotlin pays the bills, а на кложе пишу свои сайд-проекты)
И там и там есть свои заморочки по поводу типов.
Вот например в строгой типизации меня бесит что на каждый чих приходится объявлять новый класс/структуру. Ну вот делаю я хэндлер запроса на сервере, мне там этот Pojo не нужен, я итак каждое поле от юзера валидирую. Намного приятней принять мапу, провалидировать ключи и пойти дальше. Толку от того, что я эти ключи в классе перечислю - нуль.
Но вот в других местах хочется точно знать что тебе приходит в функцию, этого иногда не хватает в динамическом языке.
Всякие спеки и pre-condition конечно помогают, но всё равно чуть больше работы надо сделать)
Поэтому думается мне что gradual typing - самое оно.
Написал статически-типизированные функции где надо, сказал чекеру «check types” и поехал дальше кнопки красить))
А что если скажу, что классы / структуры и типы это ортогональные вещи ?