Евангелие от TIOBE

Rel, спецы любят универсальные решения с потенциально бесконечными иерархиями. А потом, вылавливают чудеса поведения. Это никакой чекер типов не способен отловить. А проверка динамики, сильно завязана на входные данные, если это не совсем грубые ошибки. Короче спецы как джип. Чем круче джип, тем дальше бежать за трактором.

M0rg0t, если коротко и по делу - я не знаю.

так мыслями могу поделиться. TDD культура пошла с джава. Потом всякие руби, шарп. Там развивались все инструменты, поэтому если в леоне от идеи нет поддержки юнит тестов, значит и в природе ее нет. Я на джава то не очень много знаю людей кто юзает тесты. Про си вообще ни разу не встречал. Спросил как-то одного тим-лида (он ходил по собеседованиям, везде модно спрашивали про тесты), так вот, спросил я его: "А ты когда код получаешь от смежников, он с тестами?". Ответ был примерно такой: "Нахер они мне нужны. Сам подумай, это же код. Как и любой код требует сопровождения. Времени на подобную работу нет.". Суть тестов, побороть психологическую проблему, физический страх, расковырять для правки и потом быть спокойным, большой старый проект. В эпоху гита и докера - это отходит на второй план. Благодаря докеру, твои эксперименты никак не влияют на жизнь проекта, а благодаря гиту - откатывайся как хочешь. Тест пишется до кода, иначе он не пишиться вообще. Организм ленив. Но после первых итераций - код меняется, и весь старый код и тем более тесты летят в корзину. Нормальных тестов на пользовательские интерфейсы вообще нет. Есть при переходе на функциональную парадигму что-то, но и то не 100% покрытие. Вроде как. Я в этом не профи. Реальность - это не ютуб и конференции.

 

Ну в функциональных языках это попроще. Когда у тебя есть чистые функции (которые не имеют сайд эффектов, то есть результат выполнения которых зависит только от входных параметров), для них куда проще и тесты делать и формальную верификацию. Сравните, например, Coq или F* и SPARK (который от AdaCore).

 

Второй месяц восьмое место (чуть-чуть до седьмого не дотянул ;о)

 

Обогнад пэхэпэ, какой молодец!

 

Возможно частично из-за растущей ИБ-индустрии и кол-ва малваре оналистов и прочих причастных.

 

Что за зубья в правой части графике (или это трава ;о)? Зумеры пытаются освоить Асм ;о)?

 

Хотя почему сразу зумеры? Возможно, что некоторое число любителей вошло в синхронизацию ;о)

 

Поисковые боты не могут между собой договориться?

 

Евангелие от кого?

 

Этот ресурс поднял Great, его с нами нет уже но изначально планировалось 2006 как ресурс по ядерному прог-ю. Сейчас это всё превратилось в какую то онлайн мед клинику по психиатрии