Серьезная команда / it-юмор :: geek (Прикольные гаджеты. Научный, инженерный и айтишный юмор)

У нас на работе херячат на IronPython - синтаксис питона, типы и библиотеки из C#. Вот это лютое Г!

Оффтоп, не сталкивался с МКЭ комплексом, что с API и можно было писать на C#.
Последний раз пересекался с Ансисом и там нужно было на фортрано подобном языке писать.

Там своя ООПшность. Нету наследования, реализация и данные разделены в исходнике. Каждый интерфейс для структуры реализуется в отдельном блоке. Но там самый сок в Rust - владение. Владеть ссылкой на объект может в один момент лишь один контекст. И это всё на уровне компиляции. Что бы делать что-то крутое - нужно самому прописывать принадлежность переменных к контекстам времени жизни (только так придумал это объяснить). А ещё макросы - расширение компилятора, со всеми вытекающими типо доступпа к АСД во время компиляции макроса

трейты типа всё на интерфейсах , но это не интерфейсы. https://rust-lang.ru/ очень хорошая документация и что самое главное есть перевод.

Нет, не так. В Rust не ООП, а другая система типов, которая ближе даже к функциональным языкам. Там есть трейты (traits, в других языках эта штука может называться typeclass), алгебрарические типы данных и прочие прелести.

Трейт - это хм... требования к типу. Тип является "Comparable" (в Rust - трейт Eq), если он определяет какой-то набор методов. Но это не интерфейс, который необходимо указать при объявлении класса, трейт определяется отдельно от типа. Еще тип можно расширить. Это позволяет очень круто и гибко компоновать разные куски из разных библиотек. На самом деле, я бы сказал, что это даже круче ООП.

Про Rust в первую очередь известно про его безопасную модель памяти, основанную на заимствованиях. В двух словах, у объекта может быть только один владелец, только одна мутабельная ссылка, либо много иммутабельных. Все это проверяется статически, и за нарушение компилятор карает тебя анально. Move-сементика в масштабах всего языка.

Но я бы заметил, что система типов Rust не менее интересна, чем безопасная работа с памятью. Использование крутой строгой системы типов и безопасной работы с памятью позволяет перенести ряд ошибок в ошибки компиляции.

Конечно, не без недостатков. По первой borrow checker трахает мозг; некоторые особенности синтаксиса системы типов и управления владением приводят к необходимости иногда писать синтаксически ебанутые конструкции; структуры данных со множественным владением (граф, список) на модель раста ложатся плохо, привет, аналог старого доброго shared_ptr. Еще в раст не завезли типы высшего порядка и труЪ монады, поэтому его система типов все же не такая труЪ, как во всяких хаскелях, что приводят к костылям и велосипедам от разработчиков раста.