На самом деле — tiobe что=то странное почти всегда показывает. Реальность совсем другая (на следующей неделе опубликую опрос по языкам c неожиданностями )
Угу — можно було б додати: «якою мовою ви хочете бачити це опитування наступного року ?.» Не додумався, спитаю через рік.
якщо вибирати ’Other’ - з’являється поле, де можна самому мову вписати.
Да (Там же перед этим — сможете ли вы выделить тот язык, которым пользуетесь чаще всего ? ) Ну и про дополнительные языки дальше вопрос есть.
это довольно большая тема. Есть верификация моделей, есть верификация кода. Даже не очень понятно что посоветовать, если неясно, какие задачи надо решать. Ну, наверное можно посоветовать ознакомиться с каким-то прувером (самый распостраненный — coq, но есть и другие) и попытаться сформировать свою задачу, читая статьи о том, что сделано. Линка с которой можно начать: coq.inria.fr/related-tools
Update:
1. Тема рассказа Романа Ткаленко: Advanced OOP in Scala (Optics: Ontology & Properties)
2. Виктор Полищук не сможет выступить :(
Сорри, сейчас исправим ( не знаю что нашло ;)
это фича а не бага — return 0 в книге не было до
Ну на практике — в большинстве случаев, где был бы риск memory leak в C/C++ там его нет в ownity сценариях. То есть с одной стороны вы правы — вобще не гарантирует, но все таки помогает. Кому интересно — детали в doc.rust-lang.org/nomicon/leaking.html
все. У Rust и Go — разные ниши. Rust — продвинутый С/C++ без мемори ликов (и как и C/C++ -
без сбора мусора). ; Go — нечто типа кривого но быстрого и простого системного питона.
как раз от застройщиков они независимы (можете посмотреть форумы по проблемным объетам). рекламу — трут.
на forum.domik.ua есть обсуждение новостроек (для каждого адреса — по ветке).
Cпасибо!
Спасибо ! Если есть возможность — страничку спикеров бы обновить. (там сейчас 25 спикеров из
Там для типа может быть имплементация trait (можно отоджествлять с implicit преобразованием в scala) — получаются typeclass-ы