RN
можно в тесты заглянуть
Size: a a a
2020 May 14
DS
конечно можно! Но не лучше ли, когда функция сама за себя говорит, что от неё можно ожидать?
RN
не факт что по типам ты всегда поймешь что делает функция
AZ
еще раз - пусть это будет 1.5 часа размышлений и 10 строчек кода
Так @graninas обещал же показать.
RN
DS
не факт что по типам ты всегда поймешь что делает функция
А я и не говорил, что это всегда легко понять. Но главное, что это всегда МОЖНО понять. :-)
RN
ну анотации можно написать и в clojure - https://clojure.org/guides/spec
DS
например, понять, лезет ли она во внешний мир
DS
Ты имеешь в виду это?
(defn ranged-rand
"Returns random int in range start <= rand < end"
[start end]
(defn ranged-rand
"Returns random int in range start <= rand < end"
[start end]
DS
А что если внутри этой строки я напишу иначе?
(defn ranged-rand
"Returns random double in range start > rand > end"
[start end]
И вот уже аннотация вводит читателя в заблуждение, верно?
(defn ranged-rand
"Returns random double in range start > rand > end"
[start end]
И вот уже аннотация вводит читателя в заблуждение, верно?
K
ну анотации можно написать и в clojure - https://clojure.org/guides/spec
А если функция не натягивается на эти аннотации?
DS
Типы - это документация, которая гарантированно актуальна, ибо компилятор просто не позволит ей устареть.
AZ
И не типы, а статическая типизация.
DS
> Документация, по которой не понять, что делает функция.
Когда я смотрю на приведённую выше аннотацию - да, я не понимаю, что делает функция. Просто потому, что аннотация может устареть. Типы - это документация, которая не может устареть.
Когда я смотрю на приведённую выше аннотацию - да, я не понимаю, что делает функция. Просто потому, что аннотация может устареть. Типы - это документация, которая не может устареть.
DS
Если же вы считаете, что вам такого рода документация не нужна - ок. Но я знаю, что многим такая документация нужна (мне уж точно нужна).
AV
У меня бы был интересный кейс в ту субботы, но я не подумал, что можно стримить
AV
Когда я делал вывод кодеков для запросов postgres