Rust Язык программирования

Rust — это универсальный язык программирования, разрабатываемый компанией Mozilla, три основных принципа которого: скорость, безопасность и эргономика.

Особенности Rust

• Язык является кроссплатформенным, поддерживаются Windows (>= 7, на данный момент только x86), а также Linux и MacOS (x86 и amd64);
• Компилятор Rust написан на Rust и использует LLVM;
• Многое было позаимствовано из мира ФП — лямбды, замыкания, кортежи, алгебраические типы данных, паттерн матчинг, fold, map, filter, переменные по умолчанию неизменяемы;
• Используется строгая статическая типизация с автоматическим выводом типов;
• В языке есть метапрограммирование (типизированное);
• Есть генерики, наследования как такового нет, только тайпклассы;
• Нет неявного преобразования типов, размер примитивных типов как правило не зависит от платформы, нет никакого null;
• Язык поддерживает Unicode, все строки хранятся в UTF-8 (подобно тому, как это сделано в Vala) вместе с длиной и могут содержать в себе нулевые символы;
• В стандартной библиотеке есть легковесные потоки (upd: выпилили) и типизированные каналы для взаимодействия между ними, а также футуры;
• У языка нет полноценного GC, данные размещаются либо в стеке, либо в куче, но память освобождается при выходе из скоупа, либо используются счетчики ссылок (для смелых есть и обычные ссылки);
• Компилятор очень жестко следит за тем, как вы работаете с памятью, например, если он заподозрит возможность состояния гонки, программа не скомпилируется;
• При очень сильном желании эти проверки можно обойти, что особенно удобно, например, если вы хотите слинковаться с кодом на Си;
• Rust имеет некоторый рантайм, но на языке также можно писать и без рантайма, что позволяет использовать Rust в задачах типа разработки ядра ОС.