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

Тема в разделе "WASM.HEAP", создана пользователем KyberMax, 23 апр 2021.

  1. q2e74

    q2e74 Active Member

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

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

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

    Rel Well-Known Member

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

    KyberMax New Member

    Публикаций:
    0
    Регистрация:
    8 дек 2020
    Сообщения:
    17
    Второй месяц восьмое место (чуть-чуть до седьмого не дотянул ;о)
    Tiobe052021.png
     
  4. Rel

    Rel Well-Known Member

    Публикаций:
    2
    Регистрация:
    11 дек 2008
    Сообщения:
    5.241
    Обогнад пэхэпэ, какой молодец!
     
  5. MaKaKa

    MaKaKa Member

    Публикаций:
    0
    Регистрация:
    25 ноя 2020
    Сообщения:
    53
    Возможно частично из-за растущей ИБ-индустрии и кол-ва малваре оналистов и прочих причастных.
     
  6. KyberMax

    KyberMax New Member

    Публикаций:
    0
    Регистрация:
    8 дек 2020
    Сообщения:
    17
    Что за зубья в правой части графике (или это трава ;о)? Зумеры пытаются освоить Асм ;о)?

    Tiobe122021Asm.png
     
  7. KyberMax

    KyberMax New Member

    Публикаций:
    0
    Регистрация:
    8 дек 2020
    Сообщения:
    17
    Хотя почему сразу зумеры? Возможно, что некоторое число любителей вошло в синхронизацию ;о)
     
  8. KPG

    KPG Member

    Публикаций:
    0
    Регистрация:
    13 янв 2021
    Сообщения:
    121
    Поисковые боты не могут между собой договориться? :)
     
  9. aa_dav

    aa_dav Active Member

    Публикаций:
    0
    Регистрация:
    24 дек 2008
    Сообщения:
    439
    Евангелие от кого?
     
  10. Indy_

    Indy_ Well-Known Member

    Публикаций:
    4
    Регистрация:
    29 апр 2011
    Сообщения:
    4.775
    Этот ресурс поднял Great, его с нами нет уже но изначально планировалось 2006 как ресурс по ядерному прог-ю. Сейчас это всё превратилось в какую то онлайн мед клинику по психиатрии :dntknw: