Rust is not safe!

До сих пор не понимаю, почему столько желающих писать на rust и так мало на ada и spark?

https://youtu.be/vfMpIsJwpjU?si=8QujCu3agsiz_9XW

Да ты, наверное, просто шутишь.

Назвать это уязвимостью можно с большой-большой натяжкой. Так можно и использование unsafe назвать уязвимостью.

https://github.com/rust-lang/rust/issues/25860

вот тут есть в более человеческом виде

так мало на ada и spark

Экосистемы нет. А на SPARK писать гораздо сложнее, в добавок, чем на Rust.

То есть экосистема развилась изрза простоты прежде всего и общего интереса к языку.

Конечно сложнее, там дале неявного приведения типов нет (специально), не говоря о прочих фичах.

То есть экосистема развилась изрза простоты прежде всего и общего интереса к языку.

Нет. Она развилась, потому что мозилловцы были заинтересованы и выкладывали в впопенсорц кучу всего. Первые несколько лет ржавый особо никому не всрался, пока к нему базовый набор библиотек на каждый чих не наплодили.

Конечно сложнее, там дале неявного приведения типов нет (специально), не говоря о прочих фичах.

Его и в Rust нет. Проблема в том, что там нет многих штук, которые сегодня считаются довольно базовыми для ЯП. Например, пакетного менеджера и общего репозитария библиотек.

Например, пакетного менеджера и общего репозитария библиотек.

Уже кто-то из итальянского универа запилил alire.

Всем бы языкам такую «проблему», лол.

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

Во-вторых, этот баг компилятора же можно исправить?

Например, пакетного менеджера и общего репозитария библиотек.

Уже кто-то из итальянского универа запилил alire.

А.. ну, возрадуемся же! Когда я раньше интересовался, этого не было.

Хотя там меньше 400 библиотек и они довольно мелкие все. Для языка с 40-летней историей как-то уныленько.

Даже если бы была экосистема, ну не будут люди писать:

function Func (Var : Integer) return Integer
is
begin
   ...
end Func;

Вместо:

fn func(i: i32) -> i32
{
...
}

Даже если бы была экосистема, ну не будут люди писать:

fn func(i: i32) -> i32
{
...
}

Вместо:

f i = ...

Починил, не благодари.

Но вообще, синтаксис – это далеко не самая хорошая и годная часть в Rust. Когда дело доходит до типов с двумя-тремя параметрами, на которые ещё ограничения есть, это просто дикий ужас!

Хотя, я тут глянул как в Ada пишутся параметрические типы, и мне что-то COBOL вспомнился.

Но оба варианта намного лучше, чем

int func(int i)
{
...
}

РастЕШЕТО.

Да нет, краткость побеждает.

->

Вот только для > нужно shift нажимать.

почему столько желающих писать на rust и так мало на ada

пофиксил

До сих пор не понимаю, почему столько желающих писать на rust и так мало на ada и spark?

А вообще, на них пишут. Из последнего крутого, что я находил, есть Muen.

https://muen.codelabs.ch/

Muen is an Open Source separation kernel (SK) for the Intel x86/64 architecture that has been formally proven to contain no runtime errors at the source code level.

Починил, не благодари.

И ещё: в Аде нет анонимных функций. Чисто ООП язык с параллелизмом и модулями из коробки, без каких либо, даже минимальных шажков в сторону гудисов. Нет даже арифметического оператора ++. Нельзя даже написать «i += 1», только «i = i + 1».

f i = …

Это где так?

только «i = i + 1»

хотя нет, тут я наврал. В стандарте 2018 года (2018, Карл!) ввели такой синтаксис:

Very_Long_Variable_That_I_Do_Not_Want_To_Repeat = _ + 1;

Тихий ужас…

И ещё: в Аде нет анонимных функций.

Да, это неприятно. Хотя тем же сишникам это вот вообще не мешает.

Чисто ООП язык с параллелизмом и модулями из коробки,

Восьмидесятые – они такие.

Нет даже арифметического оператора ++. Нельзя даже написать «i += 1», только «i = i + 1».

Вот на это вообще насрать.

Я тут могу заявить, что в Rust нельзя новые операторы создавать. Даже в Scala можно, а в Rust – нет.

Но это всё реально мелочи. С Ada гораздо хуже то, что большая часть интересного тулинга напрочь проприетарна. Если помимо компилятора ты хочешь каких-то плюшек, изволь платить бабла. Ada Core хотят бабла за свои приблуды и абсолютно не стесняются этого: у них прямо на сцайте жырная кнопка Request Pricing, прям на главной.

А почему так вышло? Потому что основной пользователь Ada сегодня – американская военка и около. Потому что они её и заказывали 40 лет назад, и теперь вокруг них эти конторки и пляшут.

f i = …

Это где так?

Haskell лол. Да и в прочих ML-подобных типа OCaml аналогично.

Видел клон Ады (Ада++) с Си-подобным синтаксисом, но с каких-то пор их сайт у меня почему-то не открывается. Да и судя по репозиторию проект помер.

https://www.phoronix.com/news/Ada-Plus-Plus-Language

https://github.com/AdaPlusPlus/gcc

P. S. Я так понимаю инкременты/декременты не стали вводить в синтаксис дабы лишний раз избежать ошибок с опечатками и привести весь код к единому стилю.

А почему так вышло? Потому что основной пользователь Ada сегодня – американская военка и около. Потому что они её и заказывали 40 лет назад, и теперь вокруг них эти конторки и пляшут.

Если бы мои клиенты были эйрбасы, локхеды мартины и прочие аэропорты, я бы тоже не стеснялся с них драть в три шкуры. А что? у них такое бабло крутится, что грех с них не слупить.

Проекты не обязаны быть в общем доступе.

Зачем нужен Rust, если давно изобретен Modula-2.

То есть нужно проверять, что в куче подтянутых зависимостей не используется unsafe.

Полное спокойствие может дать человеку только страховой полис

давно изобретен Modula-2

MODULE hello ;

FROM StrIO IMPORT WriteString, WriteLn ;

BEGIN
   WriteString ('hello world') ; WriteLn
END hello.

Ну не знаю…

The following data types are supported: INTEGER, LONGINT, SHORTINT, CARDINAL, LONGCARD, SHORTCARD, BOOLEAN, REAL, LONGREAL, SHORTREAL, COMPLEX, LONGCOMPLEX, SHORTCOMPLEX and CHAR.

An equivalence table is given below:

GNU Modula-2              GNU C
======================================
INTEGER                   int
LONGINT                   long long int
SHORTINT                  short int
CARDINAL                  unsigned int
LONGCARD                  long long unsigned int
SHORTCARD                 short unsigned int
BOOLEAN                   bool
REAL                      double
LONGREAL                  long double
SHORTREAL                 float
CHAR                      char
SHORTCOMPLEX              complex float
COMPLEX                   complex double
LONGCOMPLEX               complex long double

Лонги, шорты, кардиналы…

В Аде можно создавать подмножества целочисленных типов с автоматическим контролем границ. Есть вещественные с фиксированной точкой из коробки.

В Аде можно создавать подмножества целочисленных типов с автоматическим контролем границ

Ну и что? В Zig тоже можно.

При чём здесь зиг? Это был ответ на «зачем ада, когда уже давно модула-2».

Нет.

Зачем нужен Rust, если давно изобретен Modula-2.

Всё через хак с типом функции, хотя это антипаттерн даже в C++ или через хаки с transmute, который тоже по умолчанию сродни гранаты без чеки. Очень натянутые проблемы, в Rust есть с soundness и веселее баги.

в модуле-2 это тип интервал, пишется кажется так

TYPE XX = [some_const1 , some_const1];

или так

[a..b]

Ой…

или через хаки с transmute, который тоже по умолчанию

В том и фишка, что std::mem::transmute — это unsafe-функция, а тут реализация transmute в полностью safe коде.

Он тоже на том же хаке с функцией работает, вот у нормальных людей transmute это unsafe.

Ну ты б хоть не на ютуб, а на статью ссылку принёс. Проявил бы хоть каплю уважения к Ъ.

До сих пор не понимаю, почему столько желающих писать на rust и так мало на ada и spark?

А каким образом кто-то вообще может хотеть писать на этой архаике?

Предлагаю тебе отложить стандарт 83 года и взять более новый 2023.

С этим багом уже столько лет носятся как с писаной торбой, что уже все хоть немного интересующиеся в курсе.

и так мало на ada

А есть хоть какой-то более-менее известный проект на Ada?

Как я понял, ТС – толстый тролль?

Известный кому?

Комплекс стандартного пилотажно-навигационного и связного оборудования для российского самолета-амфибии Бериев Бе-200.

Достаточно известный самолёт? Нет? Тогда возьмём Boeing-777.

На самом деле ada малораспространён, потому, что не является языком программирования общего назначения и слишком заточен для использования в своей нише.

Известный кому?

Хоть кому-то.

На самом деле ada малораспространён

Ok.

Какая производительность у этих ваших spark? На уровень php хоть выйдет?

https://blog.vacs.fr/vacs/blogs/post.html?post=2018/11/16/Ada-Java-and-Python-database-access развлекайся.