The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Проект Asterinas развивает ядро на языке Rust, совместимое с Linux"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Проект Asterinas развивает ядро на языке Rust, совместимое с Linux"  +/
Сообщение от opennews (??), 16-Окт-24, 12:51 
Группа разработчиков из Китая развивает ядро Asterinas,  написанное на языке Rust и предназначенное для использования в операционных системах общего назначения. Для упрощения интеграции с уже разработанными системными компонентами ядро предоставляет ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него. Код проекта распространяется под лицензией MPL (Mozilla Public License)...

Подробнее: https://www.opennet.me/opennews/art.shtml?num=62061

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения [Сортировка по ответам | RSS]

2. Сообщение от Аноним (2), 16-Окт-24, 12:55   +10 +/
Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию кода. Не осилили.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #3, #131, #160

3. Сообщение от Аноним (3), 16-Окт-24, 13:01   –14 +/
Список по каким критериям раст лучше ады.

1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно.

2. Современный синтаксис: Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков. Это может способствовать более быстрому написанию кода и его обслуживанию в долгосрочной перспективе.

3. Экосистема и сообщество: Rust обладает активным сообществом и богатой экосистемой библиотек (крэтов), что позволяет разработчикам эффективно решать разнообразные задачи. Ada/Spark имеет более ограниченное количество доступных библиотек.

4. Кроссплатформенность: Rust разработан с учетом кроссплатформенной совместимости и отлично работает на различных операционных системах. Это делает его удобным для разработки приложений, которые должны функционировать на разных платформах.

5. Асинхронное программирование: Rust предлагает мощные инструменты для асинхронного программирования, что делает его подходящим для написания высокопроизводительных сетевых приложений. Ada/Spark также поддерживает параллелизм, но Rust имеет более развитые возможности в этой области.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #4, #6, #11, #20, #47, #63, #90, #226

4. Сообщение от Аноним (2), 16-Окт-24, 13:10   +9 +/
Я тоже могу скопипастить ответ нейронки, как это сделал ты:

1. Безопасность и надежность: Ada и Spark предлагают более строгую статическую проверку типов и формальные методы верификации, что делает их более подходящими для разработки критически важных систем, где безопасность и надежность являются ключевыми требованиями.

2. Встроенная поддержка параллелизма и многозадачности: Ada изначально разрабатывалась с учетом параллельных вычислений и многозадачности, что упрощает разработку многопоточных приложений.

3. Зрелость и промышленное применение: Ada и Spark имеют долгую историю использования в промышленности, особенно в аэрокосмической и оборонной отраслях, где они зарекомендовали себя как надежные и проверенные языки.

4. Поддержка реального времени: Ada и Spark предлагают встроенную поддержку реального времени, что делает их более подходящими для разработки систем, где важна предсказуемость и детерминированность.

5. Строгая типизация и модульность: Ada и Spark имеют более строгую типизацию и модульную структуру, что может упростить разработку и поддержку крупных проектов.

6. Формальная верификация: Spark предлагает мощные инструменты для формальной верификации кода, что позволяет доказывать свойства программ и обеспечивать их соответствие спецификациям.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

5. Сообщение от Аноним (5), 16-Окт-24, 13:13   +6 +/
У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис? Зачем постоянно пытаются изобретать кривые велосипеды для годных технологий?
Так-же и с GoLang, очень хорошая технология, но жуткий синтаксис с неисправимыми болячками.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #10, #12, #17, #27, #33, #66, #65, #122, #164, #168, #176, #212

6. Сообщение от Аноним (6), 16-Окт-24, 13:13   +8 +/
> 1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно.

Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.

> 2. Современный синтаксис: Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков. Это может способствовать более быстрому написанию кода и его обслуживанию в долгосрочной перспективе.

Это реально смешно.

> 3. Экосистема и сообщество: Rust обладает активным сообществом и богатой экосистемой библиотек (крэтов), что позволяет разработчикам эффективно решать разнообразные задачи. Ada/Spark имеет более ограниченное количество доступных библиотек.

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

> 4. Кроссплатформенность: Rust разработан с учетом кроссплатформенной совместимости и отлично работает на различных операционных системах. Это делает его удобным для разработки приложений, которые должны функционировать на разных платформах.

Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.

> 5. Асинхронное программирование: Rust предлагает мощные инструменты для асинхронного программирования, что делает его подходящим для написания высокопроизводительных сетевых приложений. Ada/Spark также поддерживает параллелизм, но Rust имеет более развитые возможности в этой области.

Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #13, #18

9. Сообщение от Аноним (220), 16-Окт-24, 13:15   +2 +/
> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64

Ага. Значит как и все проекты на rust, пока не доделан.

> Начиная со следующего года основное внимание планируют переключить на реализацию поддержки оборудования и других архитектур CPU

А вот это зря. Значит и не доделают.

Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин) - задача которая rust'у по плечу.

Как только от неё отойдут - утонут в лавине кода.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #23, #24

10. Сообщение от Аноним (3), 16-Окт-24, 13:15   –9 +/
Ваш вопрос о синтаксисе Rust вполне оправдан. Разработчики стремились создать язык, который бы сочетал безопасность и функциональность, внося новшества. Синтаксис Rust может показаться сложным из-за его особенностей управления памятью и параллелизма, но эти меры направлены на избегание распространённых ошибок, делающих код более надежным.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #48, #67

11. Сообщение от Аноним (117), 16-Окт-24, 13:19   +5 +/
>Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков

По этому пункту Линус Торвальдс с вами не согласился.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #14, #140

12. Сообщение от голос из леса (?), 16-Окт-24, 13:23   +1 +/
Задуматся что с синтаксисом C++ что не ладно корона не позволяет?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

13. Сообщение от Аноним (13), 16-Окт-24, 13:23   +9 +/
Поговорил с ботом - день прошел не зря.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #117

14. Сообщение от Аноним (3), 16-Окт-24, 13:24   +/
Так это по сравнению с адой, а не си. Посмотри синтаксис ады там адок. Особенно для питониста.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #19

16. Сообщение от голос из леса (?), 16-Окт-24, 13:28    Скрыто ботом-модератором+6 +/
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #52

17. Сообщение от Анонимemail (17), 16-Окт-24, 13:29   –3 +/
У Rust C-подобный синтаксис во всех местах, где только возможно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #21

18. Сообщение от Аноним (3), 16-Окт-24, 13:32   +/
1. А вот и нет! Rust — это не просто оболочка вокруг LLVM. Его концепции и философия разрабатывались независимо от C++.


2. Не переоценивай роль LLVM! Это лишь инструмент. Сам язык задания и его безопасность — это заслуга разработчиков Rust.


3. В чем проблема? Если LLVM помогает, то это только плюс! Какой язык не использует мощные инструменты для оптимизации?


4. Выразительность языка — это его сила, а не слабость. Проблема, если не понимаешь, как это работает.


5. Неудобно? Значит, пора учиться, а не сваливать на инструменты. Rust даёт больше возможностей, чем ты думаешь.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6

19. Сообщение от Аноним (117), 16-Окт-24, 13:35   +3 +/
Аду Торвальдс пока что даже и не рассматривал. А вот некоторое время существования Rust в ядре уже дало ему повод сделать некоторые выводы.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14 Ответы: #60

20. Сообщение от Аноним (20), 16-Окт-24, 13:35   +/

1. Формальная верификация: СПАРК разработан с учетом требований формальной верификации. Она позволяет разработчикам доказывать отсутствие определенных классов ошибок (таких как исключения во время выполнения, гонки данных и переполнения буфера) с помощью формальных методов. Это может привести к повышению надежности критически важных систем, например, используемых в аэрокосмической промышленности и медицине.


2. Безопасность и надежность: СПАРК обеспечивает строгую типизацию и предоставляет функции, которые помогают предотвратить распространенные ошибки программирования. Его дизайн поощряет написание безопасного кода, что может иметь решающее значение в системах с высокой степенью надежности. Хотя Rust также делает упор на безопасность, возможности формальной верификации СПАРК обеспечивают дополнительный уровень гарантии.


3. Детерминированное поведение: Дизайн СПАРК способствует детерминированному поведению, что очень важно для приложений реального времени и приложений, критичных к безопасности. Возможности языка помогают обеспечить предсказуемость поведения программы, что может быть сложнее гарантировать в Rust из-за его модели параллелизма.


4. Отсутствие исключений во время выполнения: СПАРК разработан для устранения исключений во время выполнения, которые могут быть источником непредсказуемости в системах. Это особенно важно для критически важных приложений, где неожиданное поведение может иметь серьезные последствия.


5. Программирование на основе контрактов: СПАРК поддерживает программирование на основе контрактов, позволяя разработчикам указывать предварительные и последующие условия, а также инварианты. Это может повысить надежность и удобство сопровождения кода, поскольку позволяет определить предполагаемое поведение функций.

6. Устаревшие и специфичные для конкретного домена приложения: СПАРК имеет долгую историю применения в таких областях, как аэрокосмическая, оборонная и автомобильная промышленность, где часто требуются формальные методы. Для проектов в этих областях СПАРК может быть более подходящим из-за его устоявшегося использования и наличия инструментов для формальной верификации.


7. Инструментарий для верификации: СПАРК поставляется со специализированными инструментами для формальной верификации, такими как набор инструментов SPARK Pro, который может анализировать код на предмет корректности. Хотя в Rust есть инструменты для статического анализа и тестирования, возможности формальной верификации в SPARK более развиты.


Иными словами, раст совершенно неконкурентоспособен и ему нечего предложить, кроме базвордов, таких как "современный" синтаксис, "сильное" сообщество и "отличная" поддержка параллельного программирования.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #26

21. Сообщение от Аноним (117), 16-Окт-24, 13:37   +3 +/
Ну, разве что, основанный на блоках кода, оформляемых скобочками {...}
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #17 Ответы: #218

23. Сообщение от Аноним (-), 16-Окт-24, 13:50   +1 +/
>> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64
> Ага. Значит как и все проекты на rust, пока не доделан.

Если в проект не вносят изменения, то этот некрокод уже никому не нужен)
Ну и обобщение "как и все проекты на rust" классическая манипуляция.

> А вот это зря. Значит и не доделают.

Миллиард китайцев и не доделают?

> Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин) - задача которая rust'у по плечу.
> Как только от неё отойдут - утонут в лавине кода.

Гугл как-то не утонул, и амазон тоже.
Хотя может китайцам достаточно одной архитектуры лонгсунги)


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9 Ответы: #46, #152

24. Сообщение от нах. (?), 16-Окт-24, 13:51   +2 +/
> Ага. Значит как и все проекты на rust, пока не доделан.

Но CoC.md-то уже есть! Что еще надо для освоения средствов?!

> Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин)
> - задача которая rust'у по плечу.

но ресдох...

А в целом новость надо читать (как обычно с новостями про хруст): команда китайских разработчиков с именами из квадратиков собралась начать переписывать линукс на хрусте и уже родила нечто, что канпелируется, но не работает даже на виртуалочке.

Планов у них громадье, дарагие инвесторы, несите денег мешками и побольше мешки выбирайте!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

26. Сообщение от Аноним (3), 16-Окт-24, 13:57   –3 +/
1. Ой, формальная что? Это звучит как что-то из научного фильма! Но, наверное, если это помогает не ошибаться, то круто!

2. Безопасность — это важно, особенно когда речь идет о жизни и смерти! Но я не знаю, что такое строгая типизация, звучит сложно!

3. Детерминированное поведение? Это как когда ты всегда знаешь, что будет на ужин? Звучит удобно!

4. Убрать исключения? О, боже, это как убрать слезы из комедии! Значит, все будет предсказуемо?

5. Программирование на основе контрактов? Это как когда ты на кухне записываешь, что готовишь по рецепту! Умно, наверное!

6. Устаревшие вещи — это как старая сумка из гардероба! Но если она работает в аэрокосмосе, значит, она, наверное, супер надёжная!

7. Инструменты для верификации? Как отвертка для программистов! Если они помогают проверять, то здорово!

В целом, звучит, как будто Раст просто не дотягивает до сложности всего этого!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20

27. Сообщение от Аноним (27), 16-Окт-24, 13:58   +2 +/
С Растом да, но что с Golang-то не так? У Го как раз-таки хороший и удобный Си-подобный синтаксис. Не даром Кен Томпсон был в команде разработки
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #39, #98

33. Сообщение от zeecape (ok), 16-Окт-24, 14:18   +1 +/
Тут дело не в синтаксисе, а привычке с ним работать. Если работаешь с С-подобными языками, то работа с Go или Rust может казаться отвратной из-за непривычных конструкций. (Пы.Сы: Rust на самом деле довольно сильно похож по синтаксису к C/C++)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

34. Сообщение от cs (?), 16-Окт-24, 14:20   +6 +/
они хотябы своё пилят и никому не мешают.
ну и пусть тогда пилят, может что нормальное получится(а нет так нет, нежалко)
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #116

37. Сообщение от Аноним (37), 16-Окт-24, 14:37   +7 +/
Это хорошая новость. Теперь все любители внедриться в ядро могут туда сваливать
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #103

39. Сообщение от Аноним (-), 16-Окт-24, 14:43   +2 +/
golang это вендорлок, нет смысла тратить время на его обсуждение
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #73, #74, #106

46. Сообщение от Аноним (220), 16-Окт-24, 15:14   +/
> Если в проект не вносят изменения, то этот некрокод уже никому не нужен)

Тут речь о другом. Он еще не работает на виртуалке. Только собираются дожелать.

> Ну и обобщение "как и все проекты на rust" классическая манипуляция.

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

Все вопросы к тем кто эти новости писал.

> Миллиард китайцев и не доделают?

У них сейчас новая игрушка от Ху... кхм Хуавея.

> Гугл как-то не утонул, и амазон тоже.

Они доделали? Или все еще делают?

> Хотя может китайцам достаточно одной архитектуры лонгсунги)

Судя по новости, кто то идеально выбрал нишу для rust: работа в виртуалке прокладкой.

Но пришел менеджер и все испортил.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #49

47. Сообщение от BeLord (ok), 16-Окт-24, 15:38   +/
1. А можно понятным техническим языком, что такое выразительно? А то, лично для меня, макросы masm выразительны, практически впрямую транслируются в диалекты русского языка.
2. Синтаксис стоит далеко не на первом месте при долгосрочном обслуживании, раньше стоит понимание прикладной задачи и архитектура решения, я могу на Бейсике сварганить такую хрень, что черт ногу сломит, могу на Perl написать прозрачный и понятный код, есть код на асме он в продакшене
4. Сообщество штука динамичная сегодня оно активное, завтра пассивное, возвращаемся к долгосрочной перспективе.
5. Ada тоже кросплатформенное решение. Более того, сама по себе кросплатформенность мало о чем говорит, зависит от того, насколько полно решение работает на разных платформах.
6. Давайте вернемся к технике, мощные инструменты, развитые возможности это не технические параметры, а скорее продажная шелуха, вы на примерах свою мысль продемонстрировать можете?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

48. Сообщение от Аноним (48), 16-Окт-24, 15:39   +11 +/
Хорошая попытка, ИИ. К счастью, это все еще очень заметно даже невооруженным глазом.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #53

49. Сообщение от Аноним (49), 16-Окт-24, 15:40   +/
> Это деформация из-за новостей опен-нет про очередных переписчиков которые или собираются
> достигнуть паритета или даже не собираются заявляя об избыточности функциональности оригинала.

Ну, пожелаем им успеха.
У каждого свое хобби.

>> Гугл как-то не утонул, и амазон тоже.
> Они доделали? Или все еще делают?

Они сделали достаточно, чтобы код отправился к пользователям.
И работал у миллионах юзеров андроида.
У клоудфари тоже работает.

Ты лучше ответь, ядро линукс оно уже доделано или еще нет)?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #46 Ответы: #56, #224

52. Сообщение от Аноним (52), 16-Окт-24, 16:01   +1 +/
Они убили не только профессию рерайтера и копирайтера, но и оставили многих художников и дизайнеров (ремесленников среднего достатка) без работы, а так же подогнали тексты начитываемые блогерами в ютубе под одну кальку, где прям сразу с первых строк понимаешь, что автор даже поленился переписать это всё с нейросетевого на человеческий язык. И да, каждая итерация обучения будет основываться на предыдущем сгенерированном.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16

53. Сообщение от Аноним (3), 16-Окт-24, 16:02   +/
Что тебе заметно? Тут половина комментов ИИ ты только один вычислил. Короткие комменты вычислить практически невозможном.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48 Ответы: #137, #143

56. Сообщение от Аноним (220), 16-Окт-24, 16:11   +/
> Они сделали достаточно, чтобы код отправился к пользователям.

И дал он преимущества этим пользователям?

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

> Ты лучше ответь, ядро линукс оно уже доделано или еще нет)?

Сравнил полностью написанное ядро с кусочками переписанного.

Слабая попытка.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #80

60. Сообщение от Facemaker (?), 16-Окт-24, 16:27   –3 +/
"Пока что"... Оптимист! Я не имел счастья разрабатывать на Аде, но, посмотрев примеры, предполагаю, что добровольно на таком никто не возьмётся программировать. Для армии, может, и подойдёт.

А вот Rust люди любят, в него влюбляются: https://habr.com/ru/companies/macloud/articles/557792

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19 Ответы: #68, #227

63. Сообщение от Аноним (63), 16-Окт-24, 16:31   +/
> 4. Кроссплатформенность:

Вот тут поподробнее, пожалуйста! Как мне собрать компилятор раста для архитектуры, для которой мозилла не выложила уже готовый бинарник?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #69

64. Сообщение от Аноним (67), 16-Окт-24, 16:32   +2 +/
Делайте ваши ставки на то, что из этого получится что-то жизнеспособное. Текущий коэффициент 1:2000
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #70

65. Сообщение от Аноним (63), 16-Окт-24, 16:34   +/
> позволяет писать классный код!

Толпа требует прувов!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

66. Сообщение от Facemaker (?), 16-Окт-24, 16:35   +1 +/
>У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис?

Странная претензия. Rust входит в число языков программирования с Си-подобным синтаксисом.

А если конкретнее? Например, могу пояснить, почему был выбран синтаксис функции с ключевым словом 'fn', а не такой, как в Си.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #126

67. Сообщение от Аноним (67), 16-Окт-24, 16:36   +1 +/
В сообществе Раст-евангелистов все настолько плохо, что даже пришлось привлечь GPT.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10

68. Сообщение от ct (?), 16-Окт-24, 16:39    Скрыто ботом-модератором+3 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60

69. Сообщение от Аноним (3), 16-Окт-24, 16:47   +/
Мозилла уже миллион лет не имеет отношения к расту.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #63 Ответы: #134

70. Сообщение от Аноним (3), 16-Окт-24, 16:48   +/
Если сабж встроят хотя бы в систему управления кофеваркой это уже будет для него победа.  
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #64

71. Сообщение от Аноним (71), 16-Окт-24, 16:50   +/
Новый тип китайского "микроядра": "микроядро" внутри монолитного ядра.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #163

73. Сообщение от Аноним (73), 16-Окт-24, 16:57   –1 +/
Какой вендорлок? Го - свободное ПО, крупных реализаций компилятора даже две, есть от GCC. Репозитория пакетов типа cargo нет. Где лок-то?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39 Ответы: #82, #96

74. Сообщение от голос из леса (?), 16-Окт-24, 16:58   +/
Дарю

=====
Copyright (c) 2009 The Go Authors. All rights reserved.

Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

   * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.    

   * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.    

   * Neither the name of Google Inc. nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39 Ответы: #75, #84

75. Сообщение от Аноним (2), 16-Окт-24, 17:07   +/
Разве речь шла про лицензию? Нет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #74 Ответы: #77

76. Сообщение от beck (??), 16-Окт-24, 17:08   +1 +/
> ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него

В линуксе abi постоянно ломается. При этом хак на хаке едет и хаком погоняет.

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

И постоянно это ядро переписывать,  потому abi постоянно изменяется.

Отличная инициатива.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #141

77. Сообщение от голос из леса (?), 16-Окт-24, 17:18   +/
В таком формате все вендер-лоск. Где-то компания "вендер-лоск", где-то человек или группа.

>> Разве речь шла про лицензию? Нет.

Пятками назад? ну-ну

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #75 Ответы: #86

78. Сообщение от Аноним (78), 16-Окт-24, 17:19   +2 +/
Страшно представить сколько времени такое ядро компилироваться будет.
Ответить | Правка | Наверх | Cообщить модератору

80. Сообщение от Аноним (-), 16-Окт-24, 17:22   +/
> И дал он преимущества этим пользователям?

Да. Меньше ошибок и уязвимостей, меньше шансов что товй телефон ломанут прислав специально оформленную картинку или видео.
Следовательно пользователям лучше.

Вот можешь почитать security.googleblog.com/2024/09/eliminating-memory-safety-vulnerabilities-Android.html

А вот относительно старая статья про 13 дроид security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
С хорошим показателем
"To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code."

> Сравнил полностью написанное ядро с кусочками переписанного.

Так "полностью написанное" или нет?
А когда версия 1.0 вышла, уже было "полностью" или еще кучу версий просто от нечего делать дописали?

> Слабая попытка.

Ты вертишься как уж на сковородке, а смотреть приятно)
И это я молчу про регулярные дыры с повышением привилегий или запуском левого кода.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #88

81. Сообщение от голос из леса (?), 16-Окт-24, 17:23   +1 +/
Нет доверяю Я китайским погромистам (C)


На интуитивном уровне при поиске пакетов избегаю те, где автор(ы) с квадратными именами. Заметил, что он бросают многие репы с багами, тикетами,  недоделками -  просто бросили и все, как умерли.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #87, #139, #173, #182

82. Сообщение от Аноним (82), 16-Окт-24, 17:23   –1 +/
Ты бы почаще в методичку эксперта заглядывал, чтобы такие вопрос не задавать.

1) Го для глупых программистов 2) его сделал гугл чтобы экономить на них 3) поэтому на го программируют те кто не умеет программировать 4) это выгодно гуглу 5) поэтому го поддерживается гуглом 6) поэтому го зависит от гугла 7) Гугл это M$ №2

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #73 Ответы: #85

84. Сообщение от Аноним (73), 16-Окт-24, 17:27   –1 +/
И где тут вендор-лок? Как раз тут текст одной из самых свободных лицензий - 3 clause BSD
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #74

85. Сообщение от Аноним (73), 16-Окт-24, 17:28   +3 +/
Мне пофиг что там выгодно Гуглу, если оно даёт выгоду и мне. Язык рабочий, дела делаются, программы пишутся. А не только сказки про безопасную память сказываются, как у некоторых
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82

86. Сообщение от Аноним (73), 16-Окт-24, 17:30   +/
> В таком формате все вендер-лоск

Так и где Лок? Редистрибьютить можно, форкать можно. Да все почти можно, что может понадобиться, это ж BSD license

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #77

87. Сообщение от Аноним (87), 16-Окт-24, 17:36   +/
А есть еще всякие jin tan'ы - такие еше и уязвимостей напихают
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81 Ответы: #148

88. Сообщение от Аноним (220), 16-Окт-24, 17:40   +/
> С хорошим показателем

Ага. Значит менеджеры щеки надувают.

И дальше:

> А когда версия 1.0 вышла, уже было "полностью" или еще кучу версий просто от нечего делать дописали?

А затем:

> Ты вертишься как уж на сковородке, а смотреть приятно)

Явно видно, что осознаешь свое положение.
Сравнивать полностью функциональное ядро и кусочки кода. А затем сводить тему на версию 1.0.

Красавец.

Так доделал google, или нет?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #80 Ответы: #91

89. Сообщение от Хру (?), 16-Окт-24, 17:41   +1 +/
А чем это лучше Maestro? Там на начало 2024 года вроде как была реализована поддержка 115 syscalls
Ответить | Правка | Наверх | Cообщить модератору

90. Сообщение от Аноним (90), 16-Окт-24, 17:57   +/
Это ChatGPT нагенерил? Особеноно про "Rust предлагает мощные инструменты для асинхронного программирования" смешно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #104

91. Сообщение от Аноним (-), 16-Окт-24, 18:16   +/
> Ага. Значит менеджеры щеки надувают.

Т.е для тебя отсутсвите багов это "менеджеры щеки надувают"?
Твоя логика поражает воображение.
А CVEшки менеджеры находят или может они их пишут?

> Явно видно, что осознаешь свое положение.
> Сравнивать полностью функциональное ядро и кусочки кода. А затем сводить тему на версию 1.0.

Раз у тебя проблемы с пониманием спрошу еще раз, постараюсь максимально прямо:
ядро версии 6.11 это "функциональное ядро" и в него не придется дописывать код или нет ?

> Красавец.

Конечно.

> Так доделал google, или нет?

Полностью? Нет.
Но стало ли лучше для юзеров? Да.
Так же как и ядро. Или любая другая программа.

Но твой глупейший вброс "Значит как и все проекты на rust, пока не доделан" с обобщением, так и остался вбросом.
Старайся лучше.


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #88 Ответы: #95, #100

93. Сообщение от DEF (?), 16-Окт-24, 18:27   +1 +/
Китайцы? Эти смогут.
Ответить | Правка | Наверх | Cообщить модератору

95. Сообщение от Аноним (220), 16-Окт-24, 18:29   +/
Я спрашивал что получили пользователи. Меньше написанного кода - меньше багов.
И толстые щеки у менеджера.

>  в него не придется дописывать код или нет ?

Придется или нет - не важно. Важно полнота. Да оно полностью завершенное - рабочее.
Кусочки кода по определению не могут быть полностью завершенными.

> Полностью? Нет.
> Но стало ли лучше для юзеров? Да.

Это было в отчетах менеджеров которые своими таблицами оправдывали свое решение перед начальством и акционерами?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91 Ответы: #132

96. Сообщение от Вы забыли заполнить поле Name (?), 16-Окт-24, 18:31   +/
> есть от GCC

Что даже в пробе его используете? Нет? А толку тогда говорить об этом.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #73

97. Сообщение от Аноним (97), 16-Окт-24, 18:31   +/
> Компоненты ядра в Asterinas размещаются в общем адресном пространстве, а безопасность достигается на уровне логического разделения безопасного кода и кода в котором не исключено возникновение проблем с безопасностью.

Т.е. если взять обычное ядро Linux, и пометить функции, в которых 100% всё безопасно, то получится то самое логическое разделения безопасного кода.. И ядро сразу станет безопаснее без какой-либо правки кода!

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #107, #174

98. Сообщение от Вы забыли заполнить поле Name (?), 16-Окт-24, 18:33   +1 +/
> С Растом да, но что с Golang-то не так? У Го как раз-таки хороший и удобный Си-подобный синтаксис. Не даром Кен Томпсон был в команде разработки

Этот тот язык, где неиспользуемая переменная приводит к ошибке компиляции? Или где форматирование не по гайдам тоже?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #115

100. Сообщение от Аноним (220), 16-Окт-24, 18:34    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91

102. Сообщение от Аноним (102), 16-Окт-24, 18:38   –1 +/
Странная у вас справедливость и что же они возьмут и спишут микро ядро того chromium os 77 , а это магические цифры фактически числа бога семь дней. Не нарушает ли это закон бога что грозит последствиями
Ответить | Правка | Наверх | Cообщить модератору

103. Сообщение от Советский инженер (ok), 16-Окт-24, 18:45   +1 +/
>Теперь все любители внедриться в ядро могут туда сваливать

Купи себе свое ядро и там командуй.
А в Linux будут командовать уважаемые платиновые спонсоры.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #183

104. Сообщение от Аноним (20), 16-Окт-24, 18:57   +/
Естественно. Собственно, если асинхронные генераторы нормальные когда-нибудь завезут, язык станет вполне юзабельным. Но, что-то у меня сомнения уже, что это когда-то случится. А без этого язык жуткое легаси, на котором писать прикладной код невозможно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #90

105. Сообщение от Аноним (105), 16-Окт-24, 19:05   +1 +/
Если это будет иметь stable API/ABI, то оно имеет шанс заменить Линукс.

Zircon не взлетел, Google не дал, может, это взлетит.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #124, #138

106. Сообщение от _ (??), 16-Окт-24, 19:06   +1 +/
> golang это вендорлок, нет смысла тратить время на его обсуждение

Удивительно ... но они нас боятся :)

Никому не говори - GCC работают на Go и оно в принципе уже работает. Скоро включат в коллкшен.
Не бойтесь, мы вас по доброму от-иго-гошим, даже нежно! ;-D

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39

107. Сообщение от Аноним (71), 16-Окт-24, 19:08   –1 +/
> пометить функции, в которых 100% всё безопасно

Метить может только руст, ой, то есть gptchat, ой, ИИ в смысле машина.

Человеку нельзя.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #97

111. Сообщение от Аноним (111), 16-Окт-24, 19:13   +/
"широкое использование на виртуальных машинах" - это как? Если есть совместимость с линуксом, то в чем проблема запускать на любых машинах?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #121

114. Сообщение от neo one (?), 16-Окт-24, 19:31   +/
дизайн выглядит намного жизнеспособнее redox
Ответить | Правка | Наверх | Cообщить модератору

115. Сообщение от Аноним (73), 16-Окт-24, 19:31   +/
Насчет переменной - да, именно так. И что в этом плохого? Странная предъява. Если вдруг нужно реально не использовать какую-то переменную, явно присваиваете в _. Если нужно импортировать пакет без побочных эффектов, аналогично, import _ "package"

Насчет форматирования - это не актуально, потому что форматирование автоматически делается по стандарту утилитой или твоей IDEшкой. Впрочем, я прогал и без IDE, и ошибок за форматирование никаких никогда не было, это не Питон всё-таки

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #98 Ответы: #151, #208

116. Сообщение от Дидыemail (?), 16-Окт-24, 19:34   +/
Диды поддерживают!
Вот пишут же сами, а не других заставляют.
Удачи ребятам. Клёво будет, если у них получится. А не получится - тоже не плохо - опыта набирутся.
В любом случае продвинут к ответу вопрос - а можно-ли на rust чёнить сложное написать.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34

117. Сообщение от Аноним (117), 16-Окт-24, 19:43   +1 +/
>Неудобно? Значит, пора учиться, а не сваливать на инструменты.

Вот на Brainfuck неудобно писать. Ну чтож, значит, пора научиться, а не сваливать на инструмент.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13 Ответы: #217

120. Сообщение от kusb (?), 16-Окт-24, 19:52   +/
Есть ядро написанное на Ada.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #125, #129

121. Сообщение от kusb (?), 16-Окт-24, 19:52   +/
Может драйверов нет а совместимость бинарная с бинарниками...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #111

122. Сообщение от Аноним (122), 16-Окт-24, 20:08   +/
Вы сиподобный синтаксис видели?
char *(*(**foo[][8])())[];
[=, *this]{ };
[&, i]{};
A b(c);
A b(c d);
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

124. Сообщение от Аноним (117), 16-Окт-24, 20:25   +/
Ага, а кто модули ядра для железок им писать будет? Скорее всего, будут лепить внутрядерную прослойку с ABI/API Линукса для использования модулей оного. Ну и приводить в соотвествии там это с каждым мажорным релизом ядра Linux.
А-а, они будут делать совместимость только с ядрами LTS. Так и сам Линукс с LTS неплохо живёт. Вобщем, по затратности человеко-часов ничем не лучше оригинала.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #105 Ответы: #202

125. Сообщение от Аноним (125), 16-Окт-24, 20:29   +/
Какое?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #120 Ответы: #127

126. Сообщение от Аноним (73), 16-Окт-24, 20:31   +/
> Например, могу пояснить, почему был выбран синтаксис функции с ключевым словом 'fn', а не такой, как в Си.

А почему, действительно?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #66 Ответы: #144

127. Сообщение от kusb (?), 16-Окт-24, 20:34   +1 +/
https://ironclad.nongnu.org/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #125 Ответы: #161

129. Сообщение от Аноним (165), 16-Окт-24, 20:52   +/
Если посмотреть их сайт. То еще не написанное.

0.5.0     2023-Oct-31     Not stable

И почти год нет релизов.
Значит и не будет написано.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #120

130. Сообщение от Аноним (130), 16-Окт-24, 20:58   +2 +/
Попутного им ветра. Пусть расцветают сто цветов, победит сильнейший и всё такое. И, вдогонку, большая просьба — пускай заодно заберут с собой тех сидоров, которые сейчас пихают Rust в ядро.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #133, #136

131. Сообщение от Аноним (134), 16-Окт-24, 21:07   +/
> Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию
> кода. Не осилили.

Ну дык - так и быть, разрешаю вместо очередных комментов на опеннете "как надо было правильно!"  показать личным примером (или спонсировать-организовать единомышленников) все преимущества Ада ...
Или очередной опеннетный "не тактик, а стратег!"?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #142

132. Сообщение от Аноним (-), 16-Окт-24, 21:10   +/
> Я спрашивал что получили пользователи. Меньше написанного кода - меньше багов.

Тогда ты наверное советуешь пользователям какой-то FreeDOS?
Типа чем меньше кода, тем меньше багов.
У тебя просто генитальная логика.

> И толстые щеки у менеджера.

Возможно.
Тебя менеджер чем-то обидел? Ну там мамку твою из семьи увел или на ногу наступил и не извинился?
Откуда столько желчи?

> Придется или нет - не важно. Важно полнота. Да оно полностью завершенное - рабочее.

Ядро в котором есть такое "позволяющая локальному пользователю выполнить код на уровне ядра и поднять свои привилегии в системе" (opennet.ru/opennews/art.shtml?num=60860)
или эпичные "уязвимости, которые позволяют удалённо без прохождения аутентификации добиться выполнения своего кода с правами ядра" (opennet.ru/opennews/art.shtml?num=60668)

это еще "рабочее" или уже ближе к "кусок овнокода"?

> Это было в отчетах менеджеров которые своими таблицами оправдывали свое решение перед начальством и акционерами?

Не знаю. Это у тебя нездоровый интерес к менеджерам.
То что там решают акционеры меня мало волнует.
А меня интересует, чтобы код был не такой дырявый как был раньше.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #95 Ответы: #165, #166

133. Сообщение от Аноним (-), 16-Окт-24, 21:13   –2 +/
> Попутного им ветра. Пусть расцветают сто цветов, победит сильнейший и всё такое.

О, здравая мысль.
Именно поэтому у линукс столько ДЕ.

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

А это просто эпичная тупость.
Пока престарелые 321ы ставят палки в колеса новому языку.
Это понятно, так можно делать CVEшки и испралять их. А если раст в ядро попадет, то всю эту шоблу отправят на пенсию.

Но это не страшно, диды не вечны, может Тцо скоро помрет или в деменцию впадет.


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130 Ответы: #154, #180

134. Сообщение от Аноним (134), 16-Окт-24, 21:27   +/
> Мозилла уже миллион лет не имеет отношения к расту.

Ну не завезли еще в отдаленные вербовочные пункты "Военства Супротив Раста" современные методички ...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #69 Ответы: #157

136. Сообщение от Аноним (139), 16-Окт-24, 21:32   +1 +/
Это Линуса что ли? А то ведь это он пушит, если ты не знал)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130

137. Сообщение от Аноним55 (?), 16-Окт-24, 21:33   +2 +/
ИИ вычислить проще простого: формальная грамотность + абсолютная бессмысленность.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #53

138. Сообщение от Аноним (139), 16-Окт-24, 21:34   –1 +/
А когда это в линуксе отменили стейбл апи? С этого момента поподробнее.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #105 Ответы: #201

139. Сообщение от Аноним (139), 16-Окт-24, 21:35   +1 +/
Это не интуитивный уровень, а расистский. Надо отучаться.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81

140. Сообщение от pda (ok), 16-Окт-24, 22:01   +/
Торвальдс-то как раз не против Rust в ядре.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #149

141. Сообщение от X512 (?), 16-Окт-24, 22:11   +1 +/
Речь идёт о UABI -- ABI используемое программами режима пользователя, а не внутреннее ABI компонентов и модулей ядра. UABI в Линуксе стабильное.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #76

142. Сообщение от Аноним (142), 16-Окт-24, 22:37   +1 +/
Пожалуйста:
https://ironclad.nongnu.org/

Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user’s freedom.

Some of the supported features are:

A familiar POSIX-compatible interface.
True simultaneous preemptive multitasking.
Advanced cryptography and a security-centered architecture.
Mandatory Access Control (MAC).
Highly configurable, hard real-time scheduling.
Support for several architectures and boards.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #131

143. Сообщение от Аноним (143), 16-Окт-24, 23:10   +/
ИИ не существует.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #53 Ответы: #150

144. Сообщение от Facemaker (?), 16-Окт-24, 23:37   +/
>А почему, действительно?

Однозначность. Представим себе, что надо нагрепать в C++-проекте все функции...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #126 Ответы: #220, #221

148. Сообщение от голос из леса (?), 16-Окт-24, 23:58   +/
Китайское поделие не всегда, но имеет шанс взлететь, если начальство бьет палками по пяткам.

Если это проект "китайских товарищей на доверии", то 100% - забросят.

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


Короче: пиво, фисташки, чипсики и наблюдаем за попыткой товарищей продаться.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #87 Ответы: #175

149. Сообщение от _ (??), 17-Окт-24, 00:14   +/
Он моргнул дважды! (С)
Стало быть он давал интервью с элктрошокером в @ - Сатья большой перестраховщик! и знает толк(С):)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140 Ответы: #184

150. Сообщение от Neon (??), 17-Окт-24, 00:14   +1 +/
Зомбированный евангилист с промытыми мозгами чем не ИИ ?))
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #143

151. Сообщение от Вы забыли заполнить поле Name (?), 17-Окт-24, 00:14   +/
> Насчет переменной - да, именно так. И что в этом плохого? Странная
> предъява. Если вдруг нужно реально не использовать какую-то переменную, явно присваиваете
> в _. Если нужно импортировать пакет без побочных эффектов, аналогично, import
> _ "package"

При отладке временные неиспользуемые переменные - это ок. В нормальных языках это warning.  

> Насчет форматирования - это не актуально, потому что форматирование автоматически делается
> по стандарту утилитой или твоей IDEшкой. Впрочем, я прогал и без
> IDE, и ошибок за форматирование никаких никогда не было,

Автоматическое форматирование не отменяет факта, что я могу писать как хочу. clang-format тоже может код отформатировать, но до этого его можно написать и скомпилить в любом стиле.

> это не
> Питон всё-таки

Открывающую скобку нельзя разместить на след. строке из-за особенностей парсера

> For instance, the opening brace of a function cannot appear on a line by itself.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #115 Ответы: #153, #155

152. Сообщение от _ (??), 17-Окт-24, 00:18   +/
> Миллиард китайцев и не доделают?

Ну ты чё как маленький? Расту в китае ловит нечего, там главный пахан - Си 8-)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23

153. Сообщение от Аноним (73), 17-Окт-24, 00:28   +/
> При отладке временные неиспользуемые переменные - это ок. В нормальных языках это warning.

Ну опять же, добавите _ = если так уж надо, ничего страшного. Обычно всё равно советуют компилировать, что ворнинг = ошибки

> Автоматическое форматирование не отменяет факта, что я могу писать как хочу.

И вот зачем вам эта свобода "писать как хочу"? Чтобы что? Вам задачу решать или писать как хочется? Не знаю, вот на мой взгляд эти все решения в Go - пример максимального прагматизма. Язык сосредоточен на том, чтобы решать задачи и не было ничего лишнего. Ни дум о форматировании, ни висящих ненужных переменных

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #151 Ответы: #194, #196

154. Сообщение от _ (??), 17-Окт-24, 00:29   +1 +/
> Но это не страшно, диды не вечны, может Тцо скоро помрет или в деменцию впадет.

ППЦ... __единственная__ надежда ржавчикофф :-)

Вас вон тупица линус в ядро пустил (пусть и не по своей воле) - и что?
А сбежали, типо у нас - лапки :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #133

155. Сообщение от Аноним (73), 17-Окт-24, 00:30   +/
Я вдогонку еще вот что скажу. Я на Go профессионально пишу 3 года уже - вы не за те вещи его ругаете. То, за что вы его ругаете - за это я бы похвалил как раз. А вот действительно слабые моменты вы упускаете из виду
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #151 Ответы: #195

157. Сообщение от scriptkiddis (?), 17-Окт-24, 00:55   +/
Но ответа не последовало.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #134 Ответы: #207

158. Сообщение от Аноним (158), 17-Окт-24, 01:01    Скрыто ботом-модератором+3 +/
Ответить | Правка | Наверх | Cообщить модератору

160. Сообщение от квадратный (?), 17-Окт-24, 01:09   +1 +/
только Haskell/Agda
галюцинации чатжопаты в топку
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

161. Сообщение от мявemail (?), 17-Окт-24, 01:23   +/
вот это реально круто. судя по новостям в rss, проект живет.
спасибо за ссылку.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #127 Ответы: #170, #178

163. Сообщение от seykoemail (??), 17-Окт-24, 02:29   +1 +/
У них микроархитектура в одном адресном пространстве. Защита сервисов и ядра от ненадежного кода возлагается на проверки RUST. В общем, правильно. Ядро Linux тоже предпочитает работать в одном адресном пространстве. Да и подпроцессы имеет. Однако отсутствует явное деление на основу и сервисы и обмен между ними сообщениями. Новая архитектура предполагает, что и пользовательские программы, написанные на Rust, можно будет запускать в том же адресном пространстве: real time user space

PS: genode OS вполне себе здравствует, имеет кучу разных совместимых микроядер. Но до запуска ядра и сервисов в одном адресном пространсте пока не дошло.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #71 Ответы: #219

164. Сообщение от хлебушек (?), 17-Окт-24, 03:12   +/
у Go - тяжкое наследие языка Limbo, который использовался в plan9 ОС. (со-)Автор всех этих вещей - Роб Пайк.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

165. Сообщение от Аноним (165), 17-Окт-24, 03:18   +/
> Тогда ты наверное советуешь пользователям какой-то FreeDOS?

За мыслью уследить не смог. Прости. Я не телепат.

> Откуда столько желчи?

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

> это еще "рабочее" или уже ближе к "кусок овнокода"?

Вот совершенно левая попытка подменить понятия. Код работает. Свою функцию выполняет. Уязвимости и ошибки никак не влияют на его завршенность.

> Не знаю. Это у тебя нездоровый интерес к менеджерам.

А какой интерес здоровый? Вообще не замечать? Или делать вид что не замечаешь?

> То что там решают акционеры меня мало волнует.
> А меня интересует, чтобы код был не такой дырявый как был раньше.

Религиозные фанатики только об этом и говорят. О приходе миссии.
Одна проблема, увидеть его негде. Просто нет мест в которые бы он пришел. Только везде хотя бы на пол шишечки запихнуть его пытаются.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #132 Ответы: #177

166. Сообщение от Аноним (165), 17-Окт-24, 03:27   +/
>> то было в отчетах менеджеров которые своими таблицами оправдывали свое решение перед начальством и акционерами?
> Не знаю. Это у тебя нездоровый интерес к менеджерам.
> То что там решают акционеры меня мало волнует.
> А меня интересует, чтобы код был не такой дырявый как был раньше.

И да. Какая разница кого что волнует. Главное достоверность источника информации.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #132

168. Сообщение от Проходил мимо (?), 17-Окт-24, 07:32   +1 +/
Рассказы про "жуткий синтаксис" этих языков сразу указывают, что человек малость не в теме :D

1. Синтаксис Rust очень близок по стилю к синтаксису Си++. В нем единственно реально неудачная вещь - это задание времени жизни (к счастью, это в реальном коде требуется делать достаточно редко).
2. Синтаксис GoLang очень простой и понятный, единственная реальная претензия - требование писать открывающую фигурную скобку на той же строке, где находится if, for, название структуры/функции и т.п.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

170. Сообщение от Карлос Сношайтилис (ok), 17-Окт-24, 08:30   +/
Четыре релиза за прошлый год, ни одного за текущий.

Уже не очень живёт

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #161 Ответы: #189

171. Сообщение от Ember (?), 17-Окт-24, 09:39   –1 +/
Шёл 2024 год, а мыши всё продолжали переписывать операционную ситему из 60-х годов прошлого столетия.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #186, #216

173. Сообщение от Соль земли (?), 17-Окт-24, 10:09   +/
Китайцы почти в каждой репе на гитхабе есть. Просто не всегда создатели репы.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81

174. Сообщение от Соль земли (?), 17-Окт-24, 10:10   +/
Well yes, but actually no.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #97

175. Сообщение от пох. (?), 17-Окт-24, 10:45   +/
Проблема что как только начальство меняется - палки начинают бить других китайцев и старый проект летит в помойку, потому что никто не помнит этих квадратиков. Кто вон еще помнит - tengine ? А как дысал, как дысал...

> Шанс что подхватят корпы есть, потому и пиарят. Благо сейчас деглобализация, и прочей.

нету шанса. Есть шанс что глупые китайские спекулянты деньгами дадут немножко прямщас. Через неделю забудут.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #148

176. Сообщение от Соль земли (?), 17-Окт-24, 11:42   +/
Опять нытьё про синтаксис. Ничего нового.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

177. Сообщение от Аноним (-), 17-Окт-24, 11:59   +/
> За мыслью уследить не смог. Прости.

Не страшно. Я вижу что ты стараешься как можешь.
Ты написал "Меньше написанного кода - меньше багов."
Следует ли из этого, что "программы где меньше всего кода - лучше"? Или нет?

> Причем тут желчь? Я вижу реальность. В которой менеджеры заинтересованны в построении карьеры, в срубании бабла по-быстрому или в потоплении конкурентов.

Хм.. а что плохого в потоплении конкурентов? Это вполне человеческое действо?
Я вот не вижу примеров "срубании бабла по-быстрому", те менеджеры с которыми мне довелось работать имели стаж в проекте от 8 до почти двух десятков лет.
И они реально волновались за свое детище, при этом не стеснялись просить совета у программеров.
Возможно тебе просто не повезло.

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

Если это было бы правдой, то крупные корпорации уже разорились.
Но этого не произошло.

> Вот совершенно левая попытка подменить понятия. Код работает. Свою функцию выполняет. Уязвимости и ошибки никак не влияют на его завршенность.

Ненене, это ты не подменяй понятия.
Если код должен обеспечивать изоляцию, то любая дырень это не называется "Свою функцию выполняет". Так же как и denial of service.
Ты же не скажешь, что дверь с замком выполняет свою функцию, если по ней можно 3 раза постучать и она откроется)?

> А какой интерес здоровый? Вообще не замечать? Или делать вид что не замечаешь?

Не приплетать их без повода.
Ты ж думаешь, что менеджер прокрадывается в офис ночью и овнокодит?

> Религиозные фанатики только об этом и говорят. О приходе миссии.

А еще у них кругом теории заговоров, везде поддельные графики и в общем все куплены)

> Одна проблема, увидеть его негде. Просто нет мест в которые бы он пришел. Только везде хотя бы на пол шишечки запихнуть его пытаются.

Открываешь репу андроида и смотришь глазками.
Или репу Pingora или Hickory.
Niri, COSMIC - это все новые проекты, которые кстати уже работают.



Ответить | Правка | Наверх | Cообщить модератору
Родитель: #165 Ответы: #190

178. Сообщение от Аноним (184), 17-Окт-24, 12:13   +/
Кто вкурсе. Что такое SPARK: фреймворк на Ada, расширение Ada?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #161 Ответы: #191

180. Сообщение от Аноним (184), 17-Окт-24, 12:19    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #133 Ответы: #181

181. Сообщение от Аноним (-), 17-Окт-24, 12:24    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #180

182. Сообщение от Аноним (184), 17-Окт-24, 12:25    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81

183. Сообщение от Аноним (184), 17-Окт-24, 12:28   +/
А вы себе, так понимаю, купили Астра Линукс? Нет, не лицензию на использование, а в собственность? ;)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #103 Ответы: #188

184. Сообщение от Аноним (184), 17-Окт-24, 12:31    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #149

186. Сообщение от Аноним (184), 17-Окт-24, 12:38   +/
Во-первых, из 1990-х.
Во-вторых, так принципиально других-то и нет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #171 Ответы: #203, #206, #209

188. Сообщение от Советский инженер (ok), 17-Окт-24, 13:18   +/
> А вы себе, так понимаю, купили Астра Линукс? Нет, не лицензию на
> использование, а в собственность? ;)

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


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #183

189. Сообщение от мявemail (?), 17-Окт-24, 13:33   +/
если Вы из тех, кто жизнь измеряет по принципу "сколько раз за годик бафнули версию", то.. идите дальше под новости про systemd !
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #170 Ответы: #192

190. Сообщение от Аноним (220), 17-Окт-24, 13:33   +/
> Следует ли из этого, что "программы где меньше всего кода - лучше"? Или нет?

Опять подмена понятий. Имеют преимущество, очевидно, же. Меньше кода - легче поддерживать и понимать написанное. Но естественно не всегда.

> Хм.. а что плохого в потоплении конкурентов? Это вполне человеческое действо?

Вместе с проектом своей же компании или вообще своего же отдела?
Конкуренция между менеджерами естественно. И она есть везде и всегда.
Наверх, обычно, пролезают наиболее наглые и безпринцыпные.

> Если это было бы правдой, то крупные корпорации уже разорились.

Но этого не произошло.

Для этого ввели систему патентов. Это система бонусов фаворитам королей переделанная в систему бонусов крупному капиталу. В этой системы могут выжить только корпорации. Но они не эффективны. Чего только стоят попытки корпораций создать свои мессенджеры. В итоге покупают чужие наработки.

> Ты же не скажешь, что дверь с замком выполняет свою функцию, если по ней можно 3 раза постучать и она откроется)?

А если подойдут с болгаркой и она откроется? А если с дрелью пару дырок сделают?

Это чистой воды подмена понятий. Ядро работает. Крутится на почти всех серверах и устройствах. Значит функцию свою выполняет.

> Ты ж думаешь, что менеджер прокрадывается в офис ночью и овнокодит?

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

> А еще у них кругом теории заговоров, везде поддельные графики и в общем все куплены)

То есть. Когда у тебя один источник информации, заинтересованный в том, что информация была соответствующая ты веришь этому источнику? Ну... теперь я понял с кем говорю.

> Открываешь репу андроида и смотришь глазками.

То есть у них получилось полностью перейти на rust?

> Или репу Pingora

Что это? Где работает?

> или Hickory.

Что это? Где работает?

> Niri, COSMIC - это все новые проекты, которые кстати уже работают.

А! Новые проекты... А работают то где? Реальное применение хотя бы в значимой доле по сравнению с конкурентами?

Нет?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #177

191. Сообщение от мявemail (?), 17-Окт-24, 13:35   +/
это язык-надстройка.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #178

192. Сообщение от мявemail (?), 17-Окт-24, 13:42   +/
Зы. причина бугурта в том, что эти <слов цензурных нет> убрали возможность определения работы tomoyo через Condition из за того, что "проект не развивается".
при том, *****, что неапстримовые версии живут активной жизнью, а апстримовая уже 10 дет бьется головой об lsm, безуспешно пытаясь патчи в него протолкнуть для полноценной функциональности путеоснованных MACов.
спрашивается, **** они тебе там, *******, сделают, если, *****, линус рога выставил? ядро **** форкнут?
и это лично поцтеринг сделал.
до стх пор бомбит. вот по такой логике и действуюет "новая волна программистов", как я вижу
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #189 Ответы: #193, #213

193. Сообщение от мявemail (?), 17-Окт-24, 13:49   +/
а тут все еще проще: некоторые вещи дольше и сложнее реализуются, чем другие.
и в случае с ядрами, это очень ярко выражено. если пройдете по ссылке, то увидите, что у них уже там целый дистрибутив с гуем, исправно функционирующий. но работающий только в qemu.
если превзайдете добрую часть опеннета, пройдя по 2й ссылке на гитхаб, то увидите, что последний коммит в src 2 месяца назад был.
и судя по файлам, что-то мне подсказывает, что активно момент а запуском на чем-то, кроме виртуалок, решается.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #192 Ответы: #214

194. Сообщение от Вы забыли заполнить поле Name (?), 17-Окт-24, 14:05   +/
>> При отладке временные неиспользуемые переменные - это ок. В нормальных языках это warning.
> Ну опять же, добавите _ = если так уж надо, ничего страшного.
> Обычно всё равно советуют компилировать, что ворнинг = ошибки

Где советуют? У нормальных языков есть разные режимы сборки. В прод — да, в дев — не обязательно.

>> Автоматическое форматирование не отменяет факта, что я могу писать как хочу.
> И вот зачем вам эта свобода "писать как хочу"? Чтобы что? Вам
> задачу решать или писать как хочется? Не знаю, вот на мой
> взгляд эти все решения в Go - пример максимального прагматизма

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #153 Ответы: #198

195. Сообщение от Вы забыли заполнить поле Name (?), 17-Окт-24, 14:10   +/
> Я вдогонку еще вот что скажу. Я на Go профессионально пишу 3
> года уже - вы не за те вещи его ругаете. То,
> за что вы его ругаете - за это я бы похвалил
> как раз. А вот действительно слабые моменты вы упускаете из виду

Про отсутсвие нормальной системы типов, дурацкую обработку ошибок, паузы в гц?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #155 Ответы: #197

196. Сообщение от Вы забыли заполнить поле Name (?), 17-Окт-24, 14:21   +/
> Ну опять же, добавите _ = если так уж надо, ничего страшного

Вот есть у меня файл на 500 строк, где-то внизу вызов импортированной функции, я его закомментировал , потому что он временно не нужен, идёт процесс разработки и я не намерен фиксировать такой код. И тут он мне говорит, а вот фиг тебе, неиспользуемый импорт. И вот я как примат с пальмы должен скакать по коду и приводить его в конечный вид, но это НЕ конечный вид!  

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

// это мост
Мост

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #153 Ответы: #199

197. Сообщение от Аноним (73), 17-Окт-24, 15:24   +/
С типами да, они слабоваты. Обработка ошибок - скорее да, хотя исключения мне не очень нравятся. Обработка ошибок болит вот еще в дополнение с отсуствием поддержки кортежей как типов. Насчет пауз в ГЦ не скажу, а вот тупняки в C-Go интеропе имеются
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #195

198. Сообщение от Аноним (73), 17-Окт-24, 15:26   +/
> Как раз таки максимальные ограничения — это не про свободу разработки.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #194 Ответы: #200

199. Сообщение от Аноним (73), 17-Окт-24, 15:29   +/
Комментарии к каждой публичной сущности писать необязательно, уж во всяком случае ошибок компиляции от этого нет. Насчет импортов - ну у меня ИДЕ сама приводит, лишние импорты убивает, но в целом ну да - надо закомментировать или _ поставить. Кто-то может спорить, что получилось топорно, но в целом язык годный, мои задачи решает, и здравый смысл в этих решениях я вижу и принимаю
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #196

200. Сообщение от Вы забыли заполнить поле Name (?), 17-Окт-24, 15:50   +/
>> Как раз таки максимальные ограничения — это не про свободу разработки.
> Ну вот о чем и речь, нужна не свобода разработки, нужно выполнение
> задач. И в этом ключе я считаю правильной философию, что инструмент
> должен иметь ровно те возможности, которые нужны и ни фичей больше.

Смотря для кого. Для конторы, чтобы индусы писали код и шаг влево и вправо растрел, ок получилось.

> Это как принцип, что не нужно сидеть под админом

Принцип админа "больше возможностей, требуют большей ответственности". Тут же возможностей просто не дают. Потому что опять таки зачем индусам давать админа.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #198

201. Сообщение от Аноним (105), 17-Окт-24, 16:43   +1 +/
В ядре есть два API: internal and userspace (aka Linux syscalls).

Первое - 100% unstable, Google: Stable API nonsense.
Второе - 100% stable.

Все это гуглится за 3 минуты. Почему анонимы задают тупые вопросы - я не знаю.

В Windows internal API стальной стабильно для минимум одной версии ОС, по факту часто гораздо больше.

Некоторые драйверы для win 8 работают в win 10. Win 11 не проверял.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #138

202. Сообщение от Аноним (105), 17-Окт-24, 16:48   +/
> Ага, а кто модули ядра для железок им писать будет? Скорее всего,
> будут лепить внутрядерную прослойку с ABI/API Линукса для использования модулей оного.
> Ну и приводить в соотвествии там это с каждым мажорным релизом
> ядра Linux.
> А-а, они будут делать совместимость только с ядрами LTS. Так и сам
> Линукс с LTS неплохо живёт. Вобщем, по затратности человеко-часов ничем не
> лучше оригинала.

Они с ума сойдут повторять изменения API ядра. Это титаническая неблагодарная работа.

Скорее, будет так: изначально чисто enterprise с поддержкой стандартов (EFI, ACPI, TIMERS, AHCI, NVME, USB 2/3), и популярных сетевых карт.

Потом, если взлетит, ведоры подсуетятся или кто-то портирует драйвера из ОС с более permissive license, i.e. FreeBSD).

// b.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #124

203. Сообщение от _ (??), 17-Окт-24, 17:01   +/
Здрасьте вам - нет?! Полно. Просто ни одна _настолько_ не взлетела, это да :)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #186 Ответы: #205

204. Сообщение от Аноним 80_уровня (ok), 17-Окт-24, 17:49   +/
Kerla-2: иногда они возвращаются.
Ответить | Правка | Наверх | Cообщить модератору

205. Сообщение от Аноним (184), 17-Окт-24, 17:52   +/
А что вы считаете _принципиально_ другим: FreeBSD, OpenBSD? :) И родом они тоже из 1990-х. Да даже Хайка, в ней тоже - всё есть файл.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #203

206. Сообщение от Ember (?), 17-Окт-24, 21:15   +/
GNU/Linux - это клон того самого древнейшего UNIX из конца 60-х годов. Туда же относятся все *BSD и прочие Unix-like системы.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #186

207. Сообщение от Аноним (134), 17-Окт-24, 21:39   +/
> Но ответа не последовало.

О Великий Воен, судя по постановке вопроса - ответ вам все равно никуда не уперся (потому что из вопроса неясно, подразумевалась ли кросскомпиляция или добавление нового "таргета" или вообще, полноценное портирование компилятора - только вот при втором еще и стд. либу желательно портировать). Ну и да, есть такая штука, как доки - их даже не растовцы придумали:
https://rustc-dev-guide.rust-lang.org/building/how-to-build-...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #157

208. Сообщение от кьяроскуро (?), 17-Окт-24, 23:55   +/
Как только вы начинаете использовать препоцессор - начинается лютый оверинжиниринг.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #115

209. Сообщение от кьяроскуро (?), 17-Окт-24, 23:58   +/
Как нету ?? MacOS ! Мэйнфреймы !!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #186 Ответы: #222, #225

210. Сообщение от cheburnator9000 (ok), 18-Окт-24, 06:13   –1 +/
>>> Ядро разбито на две части, написанные на Rust: OS Framework и OS Services. В OS Services запрещено применение unsafe-блоков, а все низкоуровневые операции, требующие выполнения кода в блоках unsafe, вынесены в OS Framework и доступны только через высокоуровневый API. Все системные вызовы, файловые системы и драйверы реализуются на уровне OS Services и не могут включать unsafe-блоки.

Ничего что OS Services будет вызывать OS Framework который вызывает unsafe код? И в этом все растоящеры. Как будто на других ЯП нельзя вынести 'unsafe' код в отдельную библиотеку и работать через нее. Они реально считают это каким-то своим личным достижением. Вот только как было обращение с unsafe коду в проекте оно так и осталось.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #211

211. Сообщение от мявemail (?), 18-Окт-24, 08:35   +1 +/
в других ЯПах либо все потенциально небезопасно, либо ничего, а небезопасным кодом рулит супервизор в той или иной форме.
>только как было обращение с unsafe коду в проекте оно так и осталось.

..но не осталось шанса допустить нелогические ошибки на стороны вызывающего.
сделайте так же в С?
буквально вчера полдня код дебажила, пытаясь понять, почему strtok_r остаток контента зануляет.
а оказалось, что это компилятор порядок исполнения перетусовал.
в русте такого нет.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #210 Ответы: #229

212. Сообщение от Аноним (-), 18-Окт-24, 09:08   +/
> с неисправимыми болячками.

Вы занаете самый главный принцип в ветеринарии?
.
.
.
Лекарство не должно стоить больше чем новый пациент :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

213. Сообщение от Аноним (-), 18-Окт-24, 10:19   +/
SELinux продвигают, поэтому убрали. А жаль.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #192

214. Сообщение от Аноним (-), 18-Окт-24, 10:21   +1 +/
Пишут, что Gloire должна нормально работать на любой машине x86, будь то UEFI или BIOS.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #193

215. Сообщение от Аноним (-), 18-Окт-24, 10:26   +/
> широкого использования в виртуальных машинах с архитектурой x86-64

Реактос приветы передавал, у них там уже 20-й год побед идет. Или какой там.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #223

216. Сообщение от Аноним (-), 18-Окт-24, 10:27   +/
> Шёл 2024 год, а мыши всё продолжали переписывать операционную ситему из 60-х
> годов прошлого столетия.

Господа с plan9 пытались что-то такое изобразить. Оказалось что Неуловимый Джо и правда никому не интеересен чтобы еще за ним бегать.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #171

217. Сообщение от Аноним (217), 18-Окт-24, 10:46   +/
>>Неудобно? Значит, пора учиться, а не сваливать на инструменты.
> Вот на Brainfuck неудобно писать. Ну чтож, значит, пора научиться, а не
> сваливать на инструмент.

Что теряешься, Анон? Спроси у бота чем брейнфак лучше вон тех - и тоже запость сюда список преимуществ :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #117

218. Сообщение от Facemaker (?), 18-Окт-24, 11:44   +/
>Ну, разве что, основанный на блоках кода, оформляемых скобочками {...}

Ну вот, вы уже и торгуетесь. Глядишь, прочитаете книжку "Idiomatic Rust".

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #21

219. Сообщение от Аноним (220), 18-Окт-24, 14:13   +1 +/
> Новая архитектура предполагает, что и пользовательские программы, написанные на Rust, можно будет запускать в том же адресном пространстве: real time user space

Э... А если кому-то вздумается сделать свою модификацию rust?
Что бы спойкойно по памяти полазить.
Чего-то непонятно.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #163

220. Сообщение от Аноним (220), 18-Окт-24, 14:39   +/
Функций?
Указателей на функции?
Функторов?
Лямбд?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #144

221. Сообщение от Аноним (220), 18-Окт-24, 14:41   +/
>>А почему, действительно?
> Однозначность. Представим себе, что надо нагрепать в C++-проекте все функции...

А. Да... Еще методы и указатели на методы?

Что грепать собрался?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #144

222. Сообщение от Аноним (184), 18-Окт-24, 16:11   +/
>Мэйнфреймы !!

Таr они же родом из 1960-х?... или даже 1950-х. Тож получается, что они дренее того самого UNIX из конца 60-х годов.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #209

223. Сообщение от Аноним (184), 18-Окт-24, 16:14   +/
Как бы, since 1998.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #215

224. Сообщение от анонимус (??), 18-Окт-24, 16:17   +/
В Андроиде есть код на Го?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49

225. Сообщение от анонимус (??), 18-Окт-24, 16:35   +/
Макось — тот же старинный юникс поверх микроядра плюс красивый закрытый гуи.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #209

226. Сообщение от Александр (??), 18-Окт-24, 23:15   +/
1. Оценочное суждение. Что такое "более гибко" и "выразительно"? Это можно как-то численно оценить?
2. С каких пор закорючки и другие символы более удобочитаемые? Только потому, что Си эту практику ввёл?
3. Есть сравнение в цифрах?
4. На сколько знаю, Ada есть под GCC и LLVM.
5. Что понимается под "развитыми возможностями"?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

227. Сообщение от Александр (??), 18-Окт-24, 23:20   +/
Судя по всему только любят, а не пишут
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60

229. Сообщение от cnc (??), 21-Окт-24, 13:30   +/
Пример кода и какая версия компилятора, интересно стало. Хочу повторить, то что вы на 100% утверждаете.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #211


Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2025 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру