В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

801 membersпожаловаться на группу
2020 January 26

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Думается, эффект будет особенно заметен для сравнительно многословных, но тем не менее весьма безопасных языков типа Go.
Haskell они тоже посчитали. Там есть небольшой эффект от строгости, но не такой уж и фееричный. И скорее это эффект от иммутабельности (или от того, что на Haskell пишут seniorы), потому на Clojure тоже меньше багов в среднем.
источник
19:54пожаловаться#1

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Haskell они тоже посчитали. Там есть небольшой эффект от строгости, но не такой уж и фееричный. И скорее это эффект от иммутабельности (или от того, что на Haskell пишут seniorы), потому на Clojure тоже меньше багов в среднем.
Но там и программы не идентичные, наверное, сравнивали, да? 😉
источник
19:56пожаловаться#2

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Но там и программы не идентичные, наверное, сравнивали, да? 😉
Ну. По семантике нет, а по структуре коммитов (истоия там, зрелость) старались выбрать похожие
источник
19:58пожаловаться#3

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Ну. По семантике нет, а по структуре коммитов (истоия там, зрелость) старались выбрать похожие
Они будут разные не только по семантике, но и по архитектуре, дизайну и объёму функционала (в единицах функционала, например). Что должно сильно влиять.
Как, например, посчитать количество багов на 100 строк кода в C++ реализции Darcs, которую авторы вообще не осилили написать? 😉
источник
20:01пожаловаться#4

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Они будут разные не только по семантике, но и по архитектуре, дизайну и объёму функционала (в единицах функционала, например). Что должно сильно влиять.
Как, например, посчитать количество багов на 100 строк кода в C++ реализции Darcs, которую авторы вообще не осилили написать? 😉
Тогда заявить, что сравнивать вообще бессмысленно, и качество языка определяется только пользователем в конкретном проекте?
источник
20:03пожаловаться#5

AT

Alexander Tchitchigin in Compiler Development
Т.е. лично мне всё ещё не очевидно, что в Rust реализации даже при в несколько раз большем объёме кода не может быть меньше ошибок благодаря, например, на порядок меньшей частоте их появления.
источник
20:03пожаловаться#6

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Тогда заявить, что сравнивать вообще бессмысленно, и качество языка определяется только пользователем в конкретном проекте?
Нет. Общий вывод-то я нисколько не оспариваю. Чем меньше строк - тем меньше багов. Более того, количество багов на 100 строк более-менее постоянно для конкретного программиста на конкретном языке.
источник
20:04пожаловаться#7

AT

Alexander Tchitchigin in Compiler Development
А вот сравнивать между языками и программистами - реально тяжело и недостоверно... 😞
источник
20:05пожаловаться#8

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Т.е. лично мне всё ещё не очевидно, что в Rust реализации даже при в несколько раз большем объёме кода не может быть меньше ошибок благодаря, например, на порядок меньшей частоте их появления.
А как это доказать? Перепутать ссылки легко и в Rust, и в Си, и в Haskell. Поэтому утверждение не особо конструктивно.
источник
20:07пожаловаться#9

AV

Alexander Vershilov in Compiler Development
Вот согласен с тем, чтоколичество багов пропорционально количеству кода
источник
20:09пожаловаться#10

AV

Alexander Vershilov in Compiler Development
При этом я не уверен, что коэффициенты одинаковые для команды, языка, проекта
источник
20:09пожаловаться#11

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
А как это доказать? Перепутать ссылки легко и в Rust, и в Си, и в Haskell. Поэтому утверждение не особо конструктивно.
А что именно "доказать"? Результаты такого опыта могут различаться в обе стороны в зависимости от кода и программистов. На самом деле, влияние других практик - типа TDD, Model-Based Design, Requirements Tracing и т.п. - отдельный интересный открытый вопрос.
источник
20:09пожаловаться#12

AV

Alexander Vershilov in Compiler Development
Поэтому иногда увеличение числа строк может легко уменьшить число багов в программе. Если взять какой-нибудь экстремум то на j будет мало строк и символов (проектов правда тоже мало)
источник
20:10пожаловаться#13

А⚙

Антон ⚙️ in Compiler Development
Михаил Бахтерев
А как это доказать? Перепутать ссылки легко и в Rust, и в Си, и в Haskell. Поэтому утверждение не особо конструктивно.
В смысле "перепутать ссылки"?
источник
20:10пожаловаться#14

AT

Alexander Tchitchigin in Compiler Development
Alexander Vershilov
При этом я не уверен, что коэффициенты одинаковые для команды, языка, проекта
Я весьма уверен (на 98%), что коэффициенты разные. Или даже сильно разные, с большой сигмой.
источник
20:11пожаловаться#15

AT

Alexander Tchitchigin in Compiler Development
Alexander Vershilov
Поэтому иногда увеличение числа строк может легко уменьшить число багов в программе. Если взять какой-нибудь экстремум то на j будет мало строк и символов (проектов правда тоже мало)
Экстремум тогда, скорее уж, какой-нибудь NASA-код, в котором очень много строк C-кода, но близкое к 0 количество багов. По понятным причинам.
источник
20:12пожаловаться#16

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
А что именно "доказать"? Результаты такого опыта могут различаться в обе стороны в зависимости от кода и программистов. На самом деле, влияние других практик - типа TDD, Model-Based Design, Requirements Tracing и т.п. - отдельный интересный открытый вопрос.
Ну вот сажусь я решать задачу X. Как мне выбрать язык, на котором я сделаю наиболее эффективно? Сейчас даже аргумент с-runtime/без-runtime не особо работает, потому что народ научился в 5 килобайтов кода впихивать мощные сборщики мусора.
источник
20:13пожаловаться#17

AV

Alexander Vershilov in Compiler Development
Набрать необходимый опыт, кажется
источник
20:13пожаловаться#18

AT

Alexander Tchitchigin in Compiler Development
Антон ⚙️
В смысле "перепутать ссылки"?
Это когда НЕ пользуешься state monad и благодаря копипасте передаёшь ссылку на устаревший стейт. 😂
источник
20:13пожаловаться#19

AV

Alexander Vershilov in Compiler Development
Это ж личное
источник
20:13пожаловаться#20