SP
видеть бы еще языки спецификаций
Size: a a a
2021 February 17
s
От самого Лесли Лэмпорта.
s
видеть бы еще языки спецификаций
TLA+, Alloy, Z, etc...
p
Вообще, математики как-то живут без типов и им норм.
Они не пишут бизнес проекты на 50-100к строк
SP
TLA+, Alloy, Z, etc...
всех их буквально впервые вижу
SP
кстати почему то каждый учоный очень хочет обосновать ненужность типов
SP
тот же пирс просто максимально выгнулся чтобы подсластить скриптодетям что у них тоже есть типы
SP
целый язык для того что можно описать типчиками
KR
Они не пишут бизнес проекты на 50-100к строк
А жаль... мб тогда строк было бы и меньше
A
Питонисты
ланг-дизайн митинг гоферов
s
Просто образованные люди видят более широкую картину. И относятся к типам без фанатизма.
p
кстати почему то каждый учоный очень хочет обосновать ненужность типов
Потому что не нужны
SP
учоные обьясняют почему типы не нужны:
изофорфность, теории типов, корректность, ПОВЕДЕНИЕ
писатели наслушавшиеся таких учёных:
дикты как опшеналы, строки как туплы, assert, assert, assert
изофорфность, теории типов, корректность, ПОВЕДЕНИЕ
писатели наслушавшиеся таких учёных:
дикты как опшеналы, строки как туплы, assert, assert, assert
ID
Таки нужны, но не всем
ID
Точнее на только лишь всем
SP
да да. если ты скиловый пацан то можешь без типов. ведь у тебя в голове паралельно запущен бесплатный компилятор который надо нагружать
SP
всю кодобазу знаешь
ID
всю кодобазу знаешь
В моем мане это несложно
ID
да да. если ты скиловый пацан то можешь без типов. ведь у тебя в голове паралельно запущен бесплатный компилятор который надо нагружать
Ну я люблю типы а тем же учёным они без надобности
SP
кстати я забыл упомянуть еще одно пробитие дна - в джанге же орм экспрешшены кодируются строками. там есть штуки типа id__notin, id__eq