Size: a a a

Clojure — русскоговорящее сообщество

2020 March 06

λ

λoλmouse in Clojure — русскоговорящее сообщество
Anton Chikin
Сама по себе та часть программы, которая отечает за типы - источник ошибок тоже.
почему?
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
λoλmouse
почему?
Ну это же код. В коде бывают ошибки.
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
λoλmouse
можно ссылку на исследование?
источник

TP

Tim Plotnikov in Clojure — русскоговорящее сообщество
Abyr Valg
А можно хотя бы написать алгоритм, определяющий, что программа завершится успешно?
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Его правда тут недавно репродьюсили и оно не совсем верное, но даже по последним данным в кложе меньше всего багов.
источник

AV

Abyr Valg in Clojure — русскоговорящее сообщество
Anton Chikin
Он показывает только те ошибки, которые покрываются типами. Есть исследование что таких багов всего 5% и типизация в языке слабо кореллирует с количеством багов в целом.
А ссылочку можно почитать?
источник

AV

Abyr Valg in Clojure — русскоговорящее сообщество
Буду любителям типов в лицо кидать
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Abyr Valg
А ссылочку можно почитать?
выше сообщение
источник

AI

Andrey Ivanov in Clojure — русскоговорящее сообщество
@kremovtort те 2 тролля-неадеквата выше - это известные люди в ваших хасельчатиках?
источник

λ

λoλmouse in Clojure — русскоговорящее сообщество
Andrey Ivanov
@kremovtort те 2 тролля-неадеквата выше - это известные люди в ваших хасельчатиках?
можно не кидаться оскорблениями?
источник

AI

Andrey Ivanov in Clojure — русскоговорящее сообщество
я вас просто адекватно типизировал
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Кто осилит исследование - вот видео где чувак рассказывает как они его попытались повторить и какие ошибки нашли https://youtu.be/8tG4LawDYI8
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Andrey Ivanov
я вас просто адекватно типизировал
А был бы динамический язык - мы бы сами вывели!
источник

λ

λoλmouse in Clojure — русскоговорящее сообщество
Andrey Ivanov
я вас просто адекватно типизировал
меня ваше лицо тоже отторгает, но мы должны вести себя прилично
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Ладно
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Харе
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Давайте про типы vs ошибки лучше
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Сколько сможем
источник

AV

Abyr Valg in Clojure — русскоговорящее сообщество
Anton Chikin
выше сообщение
The large GitHub dataset sample-size allows a mixed-methodsstudy of the effects of language, while controlling for a number ofconfounds.   Through a combination of regression modeling,  textanalytics, and visualization, we have examined the interactions oflanguage, domain, and defect type.  The data indicates functionallanguages  are  better  than  procedural  languages;  it  suggests  thatstrong typing is better than weak typing; that static typing is betterthan dynamic; and that managed memory usage is better than un-managed. Further, that the defect proneness of languages in generalis not associated with software domains. Also, languages are morerelated to individual bug categories than bugs overall
источник

AV

Abyr Valg in Clojure — русскоговорящее сообщество
В вашей ссылке написано, что типы - это хорошо
источник