LL
А в случае динамической типизации у тебя нет других проверок, кроме как в рантайме
Size: a a a
2020 December 21
2020 December 22
DP
ну да, поэтому в контексте динамических языков я называю контракты - системой типов, или конструктором системы типов. просто под типизацией и обычно подразумевается статика, если мы не будем это определение брать даже, то все равно контракты на этапе компиляции - принципиально ничем от типов вроде бы не отличаются
DP
кроме того, что типы существуют уже в каком-то виде, условно "примитивные типы". но так как я не сторонник статической типизации везде, то в случае с контрактами разделяю тот же подход - даже если хочется где-то статических контрактов, должна быть такая опция задать это опционально
DP
но у контрактов может быть динамическая природа по своему смыслу во многих местах - например ты знаешь тип аргументов, но их сумму узнаешь только в рантайме и не раньше
DP
как это статически чекнуть? особенно если данные тебе прилетают откуда-то из вне. от пользователя например
T
Лисповчане, какой плагин в виме для работы с Лиспом/Схемой лучше всего?
ND
там недавно всплывало что-то на луа
ND
но оно только для неовима
T
но оно только для неовима
Мне подойдёт
ND
conjure
ND
но оно пока только в рякет умеет видимо
ND
но вообще я б взял емакс с каким-нибудь стартер китом
ND
и остался бы там
ND
(что я и сделал)
YK
Лисповчане, какой плагин в виме для работы с Лиспом/Схемой лучше всего?
slimv
T
но вообще я б взял емакс с каким-нибудь стартер китом
Спасибо, но не зашло
DP
Спасибо, но не зашло
попробуй spacemacs - там все типа преднастроено уже, и говорят "как в виме" и хоткеи больше для землян, чем инопланетян. но лично мне инопланетная раскладки и олдскульный имакс больше нравятся.
T
попробуй spacemacs - там все типа преднастроено уже, и говорят "как в виме" и хоткеи больше для землян, чем инопланетян. но лично мне инопланетная раскладки и олдскульный имакс больше нравятся.
Я на думе сидел. Гуи не для меня.