D
Суть реф типов в проверках на этапе компиляции
Смартконструкторы неплохой компромисс
Size: a a a
2020 April 03
P
Суть реф типов в проверках на этапе компиляции
пожалуйста, перестань говорить девизами, ты не отвечаешь ни на что
P
если у тебя язык чекает что конструктор реально чекает то что чекает, то ты никак не накосячишь
надстройки над языком могут чекать в том числе, на аннотациях например
AZ
Давайте сделаем бенчмарк ваших языков с проверкой данных из stdin во время компиляции и си с atoi, по-моему будет одинаково
во-первых перфоманс будет виден только на больших проектах, где данные проверяются по 100 раз на одно и то же, все проверки будут заменены на одну
во-вторых смысл этой фигни в том чтобы баги не допускать, а не чтобы за бенчами гнаться
во-вторых смысл этой фигни в том чтобы баги не допускать, а не чтобы за бенчами гнаться
p
пожалуйста, перестань говорить девизами, ты не отвечаешь ни на что
А что конкретно ответить если ты предлагаешь проверки в рантайме вместо проверок в компиляции?
AZ
надстройки над языком могут чекать в том числе, на аннотациях например
ну тогда будут рефтипы на аннотациях, я против что ли?)
D
А что конкретно ответить если ты предлагаешь проверки в рантайме вместо проверок в компиляции?
Нет
D
Он предлагает смартконструкторы
p
надстройки над языком могут чекать в том числе, на аннотациях например
Да, так тоже можно. Но это будет банально сложнее.
p
Он предлагает смартконструкторы
А что это?
P
Да, так тоже можно. Но это будет банально сложнее.
потому что ты так сказал?
AZ
но даже с аннтоациями эти структуры надо писать
AZ
а всем лень
p
потому что ты так сказал?
Ну вот в питоне есть аннотации. Вырази мне тип который говорил алекс
p
И потом тот же тип в идрисе
p
И сразу поймешь
AZ
я не хочу писать weirdrange я хочу сделать просто
foo : (Int x) -> (x > 7 && x < 9) -> ResultP
Ну вот в питоне есть аннотации. Вырази мне тип который говорил алекс
@Contract("x<0 -> null")
S
во-первых перфоманс будет виден только на больших проектах, где данные проверяются по 100 раз на одно и то же, все проверки будут заменены на одну
во-вторых смысл этой фигни в том чтобы баги не допускать, а не чтобы за бенчами гнаться
во-вторых смысл этой фигни в том чтобы баги не допускать, а не чтобы за бенчами гнаться
Ну так значит вся компайл-таймовость у вас - на самом деле не компайл-таймовость, а просто иной способ представления того же кода с умными проверками типов на основе сложных математических теорий. А в рантайме что там, что там одинаково, и суть опять-таки не в компайлтайм-выражениях, а в системе типов наверное
p