Rust

Aug. 3rd, 2024 04:31 pm
techwork: (Default)
[personal profile] techwork
Что это такое и почему его так любит американская оборонка ?

На самом деле это развитие языка ADA который до сих пор широко используется в старом оборудовании американской военщины. Через SML .

Конечно же тесты этого языка лукавят убеждая всех переходить на него.

В среднем он несколько медленнее C++. В полтора два раза на разных задачах. Но у него есть то что избавляет от ошибок дебила - Affine type systems, что делает невозможным генерацию мусора.

Конечно в первую очередь матричный алгоритм обучения графов военка будет использовать на компиляторе этого языка так что перспективы у него в целом не плохие. Уже до конца США они успеют сделать хороший .

На самом деле C все равно быстрее НО выигрыш в скорости военке не нужен. А вот защита от дебила нужна. А также скорость разработки .

Разработка на Rust требует в среднем в 2,8 человеко-часов меньше а в отдельных задачах до 4 раз , при. Потере скорости всего до 2,3 раз. И экономия на тестерах.

Плюс латентность вызова у Rust действительно на уровне C++ что куда быстрее Java где то на порядок.

Таким образом это компромисс между медленной Java и быстрым C, C++ но требующих больших человеко-часов.

Да разработка на Rust медленнее чем на Java до 3 раз. Иногда всего в 1,7 раз. Но скорость выше до 4 раз. А иногда и более.

Так что у Rust хорошие перспективы как компромиссного языка.

Да C по прежнему самый быстрый. Но вот C++ да не скоро и не сразу но Rust его заменит. Также отказ от Java неизбежен но тоже очень не скоро. Так как в Web он будет держаться очень долго.

А вот от чего будет быстрый отказ - от всего остального. C#, Pyton, Haskell, ну и так далее. Rust их убийца. И ограничен только количество кодеров НО в Индии готовят уже именно на Rust для Windows экосистемы.

Swift уцелеет лишь пока есть Apple а это не очень много лет осталось. На самом деле Apple сейчас в положение 1987 Вроде бы всё прекрасно огромные продажи но вот только идей новых нет. Технически их экосистема завязана исключительно на американский патриотизм. Не будет его не будет и Apple. Так как технически её решения ущербны уже очень давно. Тот же Yoga уже был лучше Macbook. Просто Святые Трусы Джобса.

Так что из тех кто есть выживут C, C++, Rust и Java.

При этом когда доделают трактор тогда и наследуемый код исчезнет.

https://sam.gov/opp/1e45d648886b4e9ca91890285af77eb7/view

Так что да - учить Rust сейчас перспективнее всего. Хотя конечно не будет полного отказа от C, C++ в ближней перспективе. Но вот из языков для кривокодеров только Java не мусор.

Тот кто учит сейчас Pyton просто дурак. Потому что этот язык в подчете только в РФ. А в другом мире уже все учат Rust.

Да Rust сложнее и требует знаний математики. Ну как когда то Haskell да покоиться он без мира. Но тем кто его учил будет легче.

Опять таки Go это Модула от того он и хуже. Конечно Alphabet его продвигает но я бы точно не стал на нём разработку чего либо.

Это по сути более дерьмовый C++ но со сбором мусора. Конечно если бы не было Rust для некоторых задач он был бы полезен но с развитием компилятора Rust он просто мусор.

Так что для рынка говноподелий Java останется на долго.

А вот в более серьёзном грядут большие изменения.

Так что ждём Трактор. И после этого начнётся переход на Rust.

Но надо понимать что если языки халтурного уровня схлопнуться мгновенно то отказ от C будет долгий и не везде. А от C++ отказ будет быстрый только когда сделают Трактор для него хотя не понятно что такое All C если и C++ тоже то этому языку осталось жить очень не долго. Потому что разница в скорости на уровне разницы версий компилятора самого C++ а вот скорость разработки .... Единственное чем будет ограничен переход количеством Rust кодеров. И опять надо понимать C++ и так проектов в мире стало мало так как как он ни туда ни сюда. Для халтуры слишком дорогой а для реального времени и встройки медленно. Далеко от металла. Нет они есть и была перспектива роста но оказалось что DARPA озаботилось тракторами. И если в тракторе будет C++ то отмирание будет очень очень быстрым. Как раз таки C продержится долго так как Rust кодеры будут нужны на других задачах плюс железо если важна скорость то C без альтернативы. Но C++ уступает Rust но столь незначительно что выигрыш в скорости разработки и требование к квалификации покрывают всё. Плюс оптимизация компиляторов может это вообще в целом компенсировать. Тем более что по мимо собственно структуры языка в современных ОС куда большее влияние оказывают они сами. Помните как быстро работала XP ? А сейчас ....

Так что в целом в современной ОС даже и не в очень современной а например 7 больше уже влияние не языка между Rust и C++.

Так что да Microsoft вовсе не дураки. Деньги они считать умеют.

Rust очевидно хорошая замена C++.

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

Так что в итоге со временем и Java заменит Rust но вот это будет очень не скоро. Сменится поколение кодеров.

В общем что сейчас учить ? Rust.

Date: 2024-08-03 07:29 pm (UTC)
From: [personal profile] comment_daily
Rust это ML с Borrow Checker.

Borrow Checker можно сделать ( и сделаны ) и для С и для С++.

По факту Rust это не С который сделали более безопасным, а функциональный язык ML который сделали более быстрым, так как убрали типовую для функциональных языков сборку мусора и вместо нее добавили проверку владения.

Поэтому общий конвертор из C в Rust очень труден в разработке, так как C это низкоуровневый императивный язык, а Rust это высокоуровневый функциональный. Чтобы конвертировать из C в Rust надо как-то извлечь из низкоуровневого кода на C высокоуровневую идею которая в нем содержится и уже её сконвертировать в Rust. Собственно идею этого Tractor уже подвергли большому сомнению на профильных ресурсах.

Date: 2024-08-04 02:08 am (UTC)
From: [personal profile] comment_daily
Так кроме афинной есть еще линейная логика например в Linear Haskell, другое дело, что обычно это все ортогонально производительности и массовому программированию. Конечно, выглядит перспективным писать доказательства вместо программ или программы вместе с доказательством ( типа Idris с Agda ), но по факту если программа без доказательства приносит деньги, деньги будут вкладываться в такие программы. Вообще говоря, типизированные программы и есть частично такие доказательства, которые пишутся вместе с программами, но даже тут кода на нетипизированных языках написано гораздо больше ( согласен что ламерами ), но машинка крутится и конца пока не видно.

Profile

techwork: (Default)
techwork

July 2025

S M T W T F S
   12345
6789101112
13141516171819
20212223242526
2728293031  

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 1st, 2025 07:04 pm
Powered by Dreamwidth Studios