004. Rust: код может быть одновременно безопасным и быстрым - Степан Кольцов

Последние 15 лет между разработчиками на Java и на C ведётся спор о том, какой язык программирования хуже — Java или C . Программы на C глючат, падают, и в них утекает память. Программы на Java тормозят и требуют слишком много памяти. Rust — новый язык программирования, разрабатываемый компанией Mozilla — решает проблемы Java и C : программы, написанные на Rust, одновременно быстрые и безопасные. Rust является таким же низкоуровневым, close-to-metal языком программирования, как и C , однако в язык встроены конструкции, позволяющие на этапе компиляции доказывать, что в программе не случится обращения к неинициализированной памяти (механизм borrowed pointers). Большая часть моего рассказа будет посвящена описанию этого механизма. Кроме того, Rust исправляет многие ошибки, допущенные при проектировании C и Java. Например, шаблоны в Rust, в отличие от C , статически типизированы, а вместо дженериков Java используется механизм, похожий на тайпклассы Haskell. Про это я тоже немного расскажу. В данный м