Typing++ для C++ — заставляем компилятор думать за вас :: Крис Гиринг скачать в хорошем качестве

Typing++ для C++ — заставляем компилятор думать за вас :: Крис Гиринг

Доклад на конференции Core C++ 2025, Тель-Авив. C++ позволяет нам писать мощные системы — и столь же мощные ошибки. Его слабая типизация даёт нам свободу, но не всегда безопасность. В этом докладе я буду утверждать, что типизация — это не вычислительная, а лингвистическая концепция. Разрабатывая выразительные типы — от базовых целых чисел до богатых структур классов — мы можем перейти от «я думаю, что это правильно» к «я знаю, что это правильно», выявляя ошибки на этапе компиляции, а не во время выполнения. Ожидайте практических примеров, нескольких ошибок (в основном моих) и методов, которые сделают ваш компилятор партнёром в обеспечении корректности, а не просто пассивным синтаксическим анализатором. ==== Крис Гиринг Я ведущий инженер-программист в Mobileye, который предпочитает тихое удовлетворение от решения проблем с помощью хорошо написанного кода. Меня привлекает C++, где мне нравится задача проектирования систем, которые одновременно выразительны и удобны в сопровождении. Я испытываю определенную гордость, когда пишу код, который с возрастом становится лучше — более податливым, менее хрупким и, в идеале, менее неожиданным. В последнее время я больше времени уделяю тому, чтобы помочь другим оценить программное обеспечение как форму инженерии с художественным подтекстом. Когда это делается вдумчиво, это одновременно мощно и приносит удовлетворение — хотя «вдумчиво» — это расплывчатый термин, который не поддается точному определению, вероятно, поэтому я постоянно к нему возвращаюсь. Когда я не пишу и не занимаюсь рефакторингом кода, я часто езжу на мотоцикле, наслаждаясь скоростью, которая не требует компилятора.