История изменений
Исправление tailgunner, (текущая версия) :
Только вот ADT нет, печаль
как нет?Просто нет.
Разверните мысль, пожалуйста.
Язык D включен в коллекцию компиляторов GNU (gcc 9) (комментарий)
Чем именно они гибче?
свойства (включая .stringof).
Ок.
полная интроспекция для любого типа.
Это применимо где-нибудь, кроме CTFE? Потому что CTFE - это не часть системы типов.
явный тип делегата
Я никогда не мог понять, что такое «делегат» (все называют этим словом слегка разные сущности), но если это что-то вроде std::function в Си++, то в Rust это, конечно же, есть - Fn traits: https://doc.rust-lang.org/book/second-edition/ch13-01-closures.html
интерфейсы (у производных пользовательских типов)
Это лучше, чем traits в Rust?
применимость квалификаторов типов (const, immutable, (inout) (shared)) к любому типу
Не уверен, что const, shared и immutable в D являются именно частью _типа_, ну да ладно. За исключением ненужного inout не нужен, остальное есть и в Rust.
преобразование типов
Ну это смешно. Преобразования типов есть примерно везде.
и возможность преобразования immutable/mutable shared/non-shared только при строгом выполнении безопасных условий
immutable может внезапно стать mutable shared? O_o IIRC, immutable нельзя преобразовать вообще никуда.
P.S. Ты не мог бы оформлять цитаты нормально?
Исходная версия tailgunner, :
Только вот ADT нет, печаль
как нет?Просто нет.
Разверните мысль, пожалуйста.
Язык D включен в коллекцию компиляторов GNU (gcc 9) (комментарий)
Чем именно они гибче?
свойства (включая .stringof).
Ок.
полная интроспекция для любого типа.
Это применимо где-нибудь, кроме CTFE? Потомку что CTFE - это не часть системы типов.
явный тип делегата
Я никогда не мог понять, что такое «делегат» (все называют этим словом слегка разные сущности), но если это что-то вроде std::function в Си++, то в Rust это, конечно же, есть - Fn traits: https://doc.rust-lang.org/book/second-edition/ch13-01-closures.html
интерфейсы (у производных пользовательских типов)
Это лучше, чем traits в Rust?
применимость квалификаторов типов (const, immutable, (inout) (shared)) к любому типу
Не уверен, что const, shared и immutable в D являются именно частью _типа_, ну да ладно. За исключением ненужного inout не нужен, остальное есть и в Rust.
преобразование типов
Ну это смешно. Преобразования типов есть примерно везде.
и возможность преобразования immutable/mutable shared/non-shared только при строгом выполнении безопасных условий
immutable может внезапно стать mutable shared? O_o IIRC, immutable нельзя преобразовать вообще никуда.
P.S. Ты не мог бы оформлять цитаты нормально?