AC
Вопрос только покрывает ли тотальное обмазывание типами каждой (каждой!) функции издержки от таких багов?
Size: a a a
2020 July 19
AC
Ответ имхо нет
AC
@achikin а что будешь делать с опциональным ключём в мапе который поменяли? Насколько быстро найдёшь изменения опираясь на репл (и пусть даже тесты, спеку и т.д, ключ то опциональный). Условного говоря было
:alive стало :is-aliveну и ты можешь на входе в систему поменять is-alive обратно на alive
AO
Ты имеешь ввиду, что проще сделать wrapper над внешним api когда у тебя мапа?
AC
Ты имеешь ввиду, что проще сделать wrapper над внешним api когда у тебя мапа?
Да, но это не так важно. Это уже скорее методы решения проблемы.
VL
TLDR; данные в реальном мире мало похожи на ADT и очень похожи на мапки.
Об этом
AC
Вот да, где об этом почитать?
Об этом Хикки любит порассуждать в толках
A
Об этом
В смысле какуюто научную работу на тему "на что больше похожи данные"? Пока не встречал, хотя было бы интересно посмотреть как это можно формально исследовать.
AC
В смысле какуюто научную работу на тему "на что больше похожи данные"? Пока не встречал, хотя было бы интересно посмотреть как это можно формально исследовать.
На буритто :)
AC
Ну или на котят :)
A
ИМХО на ктулху
A
хранилища данных они же уходят от жестких схем данных, а в код мы все еще тянем
Г
В смысле какуюто научную работу на тему "на что больше похожи данные"? Пока не встречал, хотя было бы интересно посмотреть как это можно формально исследовать.
Факультет прикладной психоделики
AC
В смысле какуюто научную работу на тему "на что больше похожи данные"? Пока не встречал, хотя было бы интересно посмотреть как это можно формально исследовать.
Есть теорема Геделя о неполноте.
AC
Из которой кмк следует что никакая ADT не может полно и непротиворечиво описать все на свете данные
AC
Но я сразу скажу что я не ахти какой спец в этом - просто прочитал Гедель, Эшер, Бах
ИФ
А как ты узнаешь, что она возвращает User? У тебя на выходе будет какая-то мапа и тебе придётся в репле смотреть что это за мапа. У меня претензия к тому, что нельзя заранее сказать что за мапа вернётся, какая у неё структура, вложенность и т.д. Можно сделать
(defrecord User [...]), и даже написать (defn auth ^User [...] (->User ...)), но оно почему-то всё равно не проверяется в рантайме и я не видел на гитхабе что бы кто-то так делалЕсли ты пишешь генератор всего – тогда просто встроить спеку (clojure.spec.alpha) в дизайн.
Если ты пишешь не генератор всего и не знаешь что тебе вернётся – это проблема дизайна. Можно использовать спеку как костыль, но это всё равно проблема дизайна.
В нашем культе считается что наилучшее средство от багов – дизайн. Hammock driven development. Подумать прежде чем писать. Спасает от всех видов багов, не только типизации.
Если ты пишешь не генератор всего и не знаешь что тебе вернётся – это проблема дизайна. Можно использовать спеку как костыль, но это всё равно проблема дизайна.
В нашем культе считается что наилучшее средство от багов – дизайн. Hammock driven development. Подумать прежде чем писать. Спасает от всех видов багов, не только типизации.
AC
Если ты пишешь генератор всего – тогда просто встроить спеку (clojure.spec.alpha) в дизайн.
Если ты пишешь не генератор всего и не знаешь что тебе вернётся – это проблема дизайна. Можно использовать спеку как костыль, но это всё равно проблема дизайна.
В нашем культе считается что наилучшее средство от багов – дизайн. Hammock driven development. Подумать прежде чем писать. Спасает от всех видов багов, не только типизации.
Если ты пишешь не генератор всего и не знаешь что тебе вернётся – это проблема дизайна. Можно использовать спеку как костыль, но это всё равно проблема дизайна.
В нашем культе считается что наилучшее средство от багов – дизайн. Hammock driven development. Подумать прежде чем писать. Спасает от всех видов багов, не только типизации.
Ну тут бы адепт типов тебе сказал что как раз типы помогают дизайну и позволяют компилятору валидировать твой дизайн
AL
Из которой кмк следует что никакая ADT не может полно и непротиворечиво описать все на свете данные
Ват