forum.opennet.ru - "Проект Asterinas развивает ядро на языке Rust, совместимое с Linux" (53)

"Проект 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ообщить модератору

Оглавление

Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию код, Аноним (2), 12:55 , 16-Окт-24, (2) +7

Список по каким критериям раст лучше ады 1 Безопасность памяти Rust использует, Аноним (3), 13:01 , 16-Окт-24, (3) –8

Я тоже могу скопипастить ответ нейронки, как это сделал ты 1 Безопасность и над, Аноним (2), 13:10 , 16-Окт-24, (4) +7
Это заслуга С ного LLVM-бекенда, которым этот выразительный брейнфак собирает, Аноним (6), 13:13 , 16-Окт-24, (6) +4

Поговорил с ботом - день прошел не зря , Аноним (13), 13:23 , 16-Окт-24, (13) +1
1 А вот и нет Rust 8212 это не просто оболочка вокруг LLVM Его концепции , Аноним (3), 13:32 , 16-Окт-24, (18) +3

Какой бред не осиливших C , bOOster (ok), 14:12 , 16-Окт-24, (32) +2

толсто , Вася Пупкин (?), 17:20 , 16-Окт-24, (79)

По этому пункту Линус Торвальдс с вами не согласился , Аноним (11), 13:19 , 16-Окт-24, (11) +2

Так это по сравнению с адой, а не си Посмотри синтаксис ады там адок Особенно , Аноним (3), 13:24 , 16-Окт-24, (14) +1

Аду Торвальдс пока что даже и не рассматривал А вот некоторое время существован, Аноним (11), 13:35 , 16-Окт-24, (19) +2

Пока что Оптимист Я не имел счастья разрабатывать на Аде, но, посмотрев пр, Facemaker (?), 16:27 , 16-Окт-24, (60) –1

Скрыто модератором, ct (?), 16:39 , 16-Окт-24, (68)

1 Формальная верификация СПАРК разработан с учетом требований формальной вериф, Аноним (20), 13:35 , 16-Окт-24, (20)

1 Ой, формальная что Это звучит как что-то из научного фильма Но, наверное, е, Аноним (3), 13:57 , 16-Окт-24, (26) –2

1 А можно понятным техническим языком, что такое выразительно А то, лично для , BeLord (ok), 15:38 , 16-Окт-24, (47)
Вот тут поподробнее, пожалуйста Как мне собрать компилятор раста для архитектур, Аноним (63), 16:31 , 16-Окт-24, (63)

Мозилла уже миллион лет не имеет отношения к расту , Аноним (3), 16:47 , 16-Окт-24, (69)

У меня к расту только один вопрос что мешало сделать C-подобный синтаксис Заче, Аноним (5), 13:13 , 16-Окт-24, (5) +1

Ваш вопрос о синтаксисе Rust вполне оправдан Разработчики стремились создать яз, Аноним (3), 13:15 , 16-Окт-24, (10) –4

Хорошая попытка, ИИ К счастью, это все еще очень заметно даже невооруженным гла, Аноним (48), 15:39 , 16-Окт-24, (48) +2

Что тебе заметно Тут половина комментов ИИ ты только один вычислил Короткие ко, Аноним (3), 16:02 , 16-Окт-24, (53)

В сообществе Раст-евангелистов все настолько плохо, что даже пришлось привлечь G, Аноним (67), 16:36 , 16-Окт-24, (67) –1

Задуматся что с синтаксисом C что не ладно корона не позволяет , голос из леса (?), 13:23 , 16-Окт-24, (12) +2
У Rust C-подобный синтаксис во всех местах, где только возможно , Аноним (17), 13:29 , 16-Окт-24, (17) –1

Ну, разве что, основанный на блоках кода, оформляемых скобочками , Аноним (11), 13:37 , 16-Окт-24, (21) +1

С Растом да, но что с Golang-то не так У Го как раз-таки хороший и удобный Си-п, Аноним (27), 13:58 , 16-Окт-24, (27) +1

golang это вендорлок, нет смысла тратить время на его обсуждение, Аноним (-), 14:43 , 16-Окт-24, (39) +1

Какой вендорлок Го - свободное ПО, крупных реализаций компилятора даже две, ест, Аноним (73), 16:57 , 16-Окт-24, (73)
Дарю Copyright c 2009 The Go Authors All rights reserved Redistribution, голос из леса (?), 16:58 , 16-Окт-24, (74) –1

Разве речь шла про лицензию Нет , Аноним (2), 17:07 , 16-Окт-24, (75)

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

Тут дело не в синтаксисе, а привычке с ним работать Если работаешь с С-подобным, zeecape (ok), 14:18 , 16-Окт-24, (33) +1
Странная претензия Rust входит в число языков программирования с Си-подобным си, Facemaker (?), 16:35 , 16-Окт-24, (66)
Толпа требует прувов , Аноним (63), 16:34 , 16-Окт-24, (65)

Ага Значит как и все проекты на rust, пока не доделан А вот это зря Значит и н, Аноним (9), 13:15 , 16-Окт-24, (9) +2

Если в проект не вносят изменения, то этот некрокод уже никому не нужен Ну и обо, Аноним (-), 13:50 , 16-Окт-24, (23)

Тут речь о другом Он еще не работает на виртуалке Только собираются дожелать Э, Аноним (9), 15:14 , 16-Окт-24, (46)

Ну, пожелаем им успеха У каждого свое хобби Они сделали достаточно, чтобы код от, Аноним (49), 15:40 , 16-Окт-24, (49)

И дал он преимущества этим пользователям Или пока бонусы получает только менеджм, Аноним (9), 16:11 , 16-Окт-24, (56)

Но CoC md-то уже есть Что еще надо для освоения средствов но ресдох А в цело, нах. (?), 13:51 , 16-Окт-24, (24)

Скрыто модератором, голос из леса (?), 13:28 , 16-Окт-24, (16) +5

Скрыто модератором, Аноним (52), 16:01 , 16-Окт-24, (52) +1

Эй, мир 127757 ОС на Rust 8212 это будущее Спасибо, Опennet, за поддержк, Аноним (3), 14:05 , 16-Окт-24, (30) –1
они хотябы своё пилят и никому не мешают ну и пусть тогда пилят, может что норма, cs (?), 14:20 , 16-Окт-24, (34) +2
дальше не читал, опять будут иероглифы в репах и в комментахмертворожденноепро к, Аноним (-), 14:37 , 16-Окт-24, (36) +2

Китай самый перспективный рынок для подобных поделок А уже словив господдержку , Аноним (3), 14:57 , 16-Окт-24, (42)

Это хорошая новость Теперь все любители внедриться в ядро могут туда сваливать, Аноним (37), 14:37 , 16-Окт-24, (37) +3
Делайте ваши ставки на то, что из этого получится что-то жизнеспособное Текущий, Аноним (67), 16:32 , 16-Окт-24, (64) +1

Если сабж встроят хотя бы в систему управления кофеваркой это уже будет для него, Аноним (3), 16:48 , 16-Окт-24, (70)

Новый тип китайского микроядра микроядро внутри монолитного ядра , Аноним (71), 16:50 , 16-Окт-24, (71)
В линуксе abi постоянно ломается При этом хак на хаке едет и хаком погоняет Т , beck (??), 17:08 , 16-Окт-24, (76) +1
Страшно представить сколько времени такое ядро компилироваться будет , Аноним (78), 17:19 , 16-Окт-24, (78)

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

2. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +7 +/–

Сообщение от Аноним (2), 16-Окт-24, 12:55

Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию кода. Не осилили.

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

3. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –8 +/–

Сообщение от Аноним (3), 16-Окт-24, 13:01

Список по каким критериям раст лучше ады.
1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно.
2. Современный синтаксис: Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков. Это может способствовать более быстрому написанию кода и его обслуживанию в долгосрочной перспективе.
3. Экосистема и сообщество: Rust обладает активным сообществом и богатой экосистемой библиотек (крэтов), что позволяет разработчикам эффективно решать разнообразные задачи. Ada/Spark имеет более ограниченное количество доступных библиотек.
4. Кроссплатформенность: Rust разработан с учетом кроссплатформенной совместимости и отлично работает на различных операционных системах. Это делает его удобным для разработки приложений, которые должны функционировать на разных платформах.
5. Асинхронное программирование: Rust предлагает мощные инструменты для асинхронного программирования, что делает его подходящим для написания высокопроизводительных сетевых приложений. Ada/Spark также поддерживает параллелизм, но Rust имеет более развитые возможности в этой области.

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

4. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +7 +/–

Сообщение от Аноним (2), 16-Окт-24, 13:10

Я тоже могу скопипастить ответ нейронки, как это сделал ты:
1. Безопасность и надежность: Ada и Spark предлагают более строгую статическую проверку типов и формальные методы верификации, что делает их более подходящими для разработки критически важных систем, где безопасность и надежность являются ключевыми требованиями.
2. Встроенная поддержка параллелизма и многозадачности: Ada изначально разрабатывалась с учетом параллельных вычислений и многозадачности, что упрощает разработку многопоточных приложений.
3. Зрелость и промышленное применение: Ada и Spark имеют долгую историю использования в промышленности, особенно в аэрокосмической и оборонной отраслях, где они зарекомендовали себя как надежные и проверенные языки.
4. Поддержка реального времени: Ada и Spark предлагают встроенную поддержку реального времени, что делает их более подходящими для разработки систем, где важна предсказуемость и детерминированность.
5. Строгая типизация и модульность: Ada и Spark имеют более строгую типизацию и модульную структуру, что может упростить разработку и поддержку крупных проектов.
6. Формальная верификация: Spark предлагает мощные инструменты для формальной верификации кода, что позволяет доказывать свойства программ и обеспечивать их соответствие спецификациям.

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

6. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +4 +/–

Сообщение от Аноним (6), 16-Окт-24, 13:13

> 1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно.
Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.
> 2. Современный синтаксис: Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков. Это может способствовать более быстрому написанию кода и его обслуживанию в долгосрочной перспективе.
Это реально смешно.
> 3. Экосистема и сообщество: Rust обладает активным сообществом и богатой экосистемой библиотек (крэтов), что позволяет разработчикам эффективно решать разнообразные задачи. Ada/Spark имеет более ограниченное количество доступных библиотек.
Активно сообщество, к-е так ничего до сих пор не родило, только рассуждают и всячески о себе заявляют.
> 4. Кроссплатформенность: Rust разработан с учетом кроссплатформенной совместимости и отлично работает на различных операционных системах. Это делает его удобным для разработки приложений, которые должны функционировать на разных платформах.
Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.
> 5. Асинхронное программирование: Rust предлагает мощные инструменты для асинхронного программирования, что делает его подходящим для написания высокопроизводительных сетевых приложений. Ada/Spark также поддерживает параллелизм, но Rust имеет более развитые возможности в этой области.
Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.

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

13. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от Аноним (13), 16-Окт-24, 13:23

Поговорил с ботом - день прошел не зря.

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

18. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +3 +/–

Сообщение от Аноним (3), 16-Окт-24, 13:32

1. А вот и нет! Rust — это не просто оболочка вокруг LLVM. Его концепции и философия разрабатывались независимо от C++.

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

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

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

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

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

32. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

Сообщение от bOOster (ok), 16-Окт-24, 14:12

Какой бред не осиливших C++

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

79. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Вася Пупкин (?), 16-Окт-24, 17:20

толсто)

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

11. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

Сообщение от Аноним (11), 16-Окт-24, 13:19

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

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

14. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от Аноним (3), 16-Окт-24, 13:24

Так это по сравнению с адой, а не си. Посмотри синтаксис ады там адок. Особенно для питониста.

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

19. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

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

Аду Торвальдс пока что даже и не рассматривал. А вот некоторое время существования Rust в ядре уже дало ему повод сделать некоторые выводы.

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

60. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –1 +/–

Сообщение от Facemaker (?), 16-Окт-24, 16:27

"Пока что"... Оптимист! Я не имел счастья разрабатывать на Аде, но, посмотрев примеры, предполагаю, что добровольно на таком никто не возьмётся программировать. Для армии, может, и подойдёт.
А вот Rust люди любят, в него влюбляются: https://habr.com/ru/companies/macloud/articles/557792

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

68. Скрыто модератором +/–

Сообщение от ct (?), 16-Окт-24, 16:39

дочитал до "Для начала загрузим rustup..." и команды для его запуска
вы на улице тоже всё в рот тащите неглядя?

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

20. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

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

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

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

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

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

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

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

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

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

26. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –2 +/–

Сообщение от Аноним (3), 16-Окт-24, 13:57

1. Ой, формальная что? Это звучит как что-то из научного фильма! Но, наверное, если это помогает не ошибаться, то круто!
2. Безопасность — это важно, особенно когда речь идет о жизни и смерти! Но я не знаю, что такое строгая типизация, звучит сложно!
3. Детерминированное поведение? Это как когда ты всегда знаешь, что будет на ужин? Звучит удобно!
4. Убрать исключения? О, боже, это как убрать слезы из комедии! Значит, все будет предсказуемо?
5. Программирование на основе контрактов? Это как когда ты на кухне записываешь, что готовишь по рецепту! Умно, наверное!
6. Устаревшие вещи — это как старая сумка из гардероба! Но если она работает в аэрокосмосе, значит, она, наверное, супер надёжная!
7. Инструменты для верификации? Как отвертка для программистов! Если они помогают проверять, то здорово!
В целом, звучит, как будто Раст просто не дотягивает до сложности всего этого!

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

47. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от BeLord (ok), 16-Окт-24, 15:38

1. А можно понятным техническим языком, что такое выразительно? А то, лично для меня, макросы masm выразительны, практически впрямую транслируются в диалекты русского языка.
2. Синтаксис стоит далеко не на первом месте при долгосрочном обслуживании, раньше стоит понимание прикладной задачи и архитектура решения, я могу на Бейсике сварганить такую хрень, что черт ногу сломит, могу на Perl написать прозрачный и понятный код, есть код на асме он в продакшене
4. Сообщество штука динамичная сегодня оно активное, завтра пассивное, возвращаемся к долгосрочной перспективе.
5. Ada тоже кросплатформенное решение. Более того, сама по себе кросплатформенность мало о чем говорит, зависит от того, насколько полно решение работает на разных платформах.
6. Давайте вернемся к технике, мощные инструменты, развитые возможности это не технические параметры, а скорее продажная шелуха, вы на примерах свою мысль продемонстрировать можете?

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

63. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (63), 16-Окт-24, 16:31

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

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

69. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (3), 16-Окт-24, 16:47

Мозилла уже миллион лет не имеет отношения к расту.

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

5. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от Аноним (5), 16-Окт-24, 13:13

У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис? Зачем постоянно пытаются изобретать кривые велосипеды для годных технологий?
Так-же и с GoLang, очень хорошая технология, но жуткий синтаксис с неисправимыми болячками.

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

10. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –4 +/–

Сообщение от Аноним (3), 16-Окт-24, 13:15

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

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

48. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

Сообщение от Аноним (48), 16-Окт-24, 15:39

Хорошая попытка, ИИ. К счастью, это все еще очень заметно даже невооруженным глазом.

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

53. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (3), 16-Окт-24, 16:02

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

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

67. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –1 +/–

Сообщение от Аноним (67), 16-Окт-24, 16:36

В сообществе Раст-евангелистов все настолько плохо, что даже пришлось привлечь GPT.

Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

12. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

Сообщение от голос из леса (?), 16-Окт-24, 13:23

Задуматся что с синтаксисом C++ что не ладно корона не позволяет?

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

17. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –1 +/–

Сообщение от Аноним (17), 16-Окт-24, 13:29

У Rust C-подобный синтаксис во всех местах, где только возможно.

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

21. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от Аноним (11), 16-Окт-24, 13:37

Ну, разве что, основанный на блоках кода, оформляемых скобочками {...}

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

27. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от Аноним (27), 16-Окт-24, 13:58

С Растом да, но что с Golang-то не так? У Го как раз-таки хороший и удобный Си-подобный синтаксис. Не даром Кен Томпсон был в команде разработки

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

39. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от Аноним (-), 16-Окт-24, 14:43

golang это вендорлок, нет смысла тратить время на его обсуждение

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

73. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (73), 16-Окт-24, 16:57

Какой вендорлок? Го - свободное ПО, крупных реализаций компилятора даже две, есть от GCC. Репозитория пакетов типа cargo нет. Где лок-то?

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

74. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –1 +/–

Сообщение от голос из леса (?), 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.

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

75. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (2), 16-Окт-24, 17:07

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

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

77. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от голос из леса (?), 16-Окт-24, 17:18

В таком формате все вендер-лоск. Где-то компания "вендер-лоск", где-то человек или группа.
>> Разве речь шла про лицензию? Нет.
Пятками назад? ну-ну

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

33. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от zeecape (ok), 16-Окт-24, 14:18

Тут дело не в синтаксисе, а привычке с ним работать. Если работаешь с С-подобными языками, то работа с Go или Rust может казаться отвратной из-за непривычных конструкций. (Пы.Сы: Rust на самом деле довольно сильно похож по синтаксису к C/C++)

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

66. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Facemaker (?), 16-Окт-24, 16:35

>У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис?
Странная претензия. Rust входит в число языков программирования с Си-подобным синтаксисом.
А если конкретнее? Например, могу пояснить, почему был выбран синтаксис функции с ключевым словом 'fn', а не такой, как в Си.

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

65. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (63), 16-Окт-24, 16:34

> позволяет писать классный код!
Толпа требует прувов!

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

9. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

Сообщение от Аноним (9), 16-Окт-24, 13:15

> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64
Ага. Значит как и все проекты на rust, пока не доделан.
> Начиная со следующего года основное внимание планируют переключить на реализацию поддержки оборудования и других архитектур CPU
А вот это зря. Значит и не доделают.
Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин) - задача которая rust'у по плечу.
Как только от неё отойдут - утонут в лавине кода.

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

23. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (-), 16-Окт-24, 13:50

>> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64
> Ага. Значит как и все проекты на rust, пока не доделан.
Если в проект не вносят изменения, то этот некрокод уже никому не нужен)
Ну и обобщение "как и все проекты на rust" классическая манипуляция.
> А вот это зря. Значит и не доделают.
Миллиард китайцев и не доделают?
> Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин) - задача которая rust'у по плечу.
> Как только от неё отойдут - утонут в лавине кода.
Гугл как-то не утонул, и амазон тоже.
Хотя может китайцам достаточно одной архитектуры лонгсунги)

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

46. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (9), 16-Окт-24, 15:14

> Если в проект не вносят изменения, то этот некрокод уже никому не нужен)
Тут речь о другом. Он еще не работает на виртуалке. Только собираются дожелать.
> Ну и обобщение "как и все проекты на rust" классическая манипуляция.
Это деформация из-за новостей опен-нет про очередных переписчиков которые или собираются достигнуть паритета или даже не собираются заявляя об избыточности функциональности оригинала.
Все вопросы к тем кто эти новости писал.
> Миллиард китайцев и не доделают?
У них сейчас новая игрушка от Ху... кхм Хуавея.
> Гугл как-то не утонул, и амазон тоже.
Они доделали? Или все еще делают?
> Хотя может китайцам достаточно одной архитектуры лонгсунги)
Судя по новости, кто то идеально выбрал нишу для rust: работа в виртуалке прокладкой.
Но пришел менеджер и все испортил.

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

49. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (49), 16-Окт-24, 15:40

> Это деформация из-за новостей опен-нет про очередных переписчиков которые или собираются
> достигнуть паритета или даже не собираются заявляя об избыточности функциональности оригинала.
Ну, пожелаем им успеха.
У каждого свое хобби.
>> Гугл как-то не утонул, и амазон тоже.
> Они доделали? Или все еще делают?
Они сделали достаточно, чтобы код отправился к пользователям.
И работал у миллионах юзеров андроида.
У клоудфари тоже работает.
Ты лучше ответь, ядро линукс оно уже доделано или еще нет)?

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

56. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (9), 16-Окт-24, 16:11

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

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

24. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от нах. (?), 16-Окт-24, 13:51

> Ага. Значит как и все проекты на rust, пока не доделан.
Но CoC.md-то уже есть! Что еще надо для освоения средствов?!
> Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин)
> - задача которая rust'у по плечу.
но ресдох...
А в целом новость надо читать (как обычно с новостями про хруст): команда китайских разработчиков с именами из квадратиков собралась начать переписывать линукс на хрусте и уже родила нечто, что канпелируется, но не работает даже на виртуалочке.
Планов у них громадье, дарагие инвесторы, несите денег мешками и побольше мешки выбирайте!

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

16. Скрыто модератором +5 +/–

Сообщение от голос из леса (?), 16-Окт-24, 13:28

Offtop
Нейросети убили интернет. Что не топик, то нейроблудство.
То что половина комментов в соцсетях и каналах от таких ботов, это полбеды.
Проблема, что они дальше будут на этом Г. обучаться на следующих итерациях.

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

52. Скрыто модератором +1 +/–

Сообщение от Аноним (52), 16-Окт-24, 16:01

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

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

30. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." –1 +/–

Сообщение от Аноним (3), 16-Окт-24, 14:05

Эй, мир! 🌍 ОС на Rust — это будущее! Спасибо, Опennet, за поддержку! Хейтеры, ваше время прошло!

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

34. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

Сообщение от cs (?), 16-Окт-24, 14:20

они хотябы своё пилят и никому не мешают.
ну и пусть тогда пилят, может что нормальное получится(а нет так нет, нежалко)

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

36. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +2 +/–

Сообщение от Аноним (-), 16-Окт-24, 14:37

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

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

42. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (3), 16-Окт-24, 14:57

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

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

37. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +3 +/–

Сообщение от Аноним (37), 16-Окт-24, 14:37

Это хорошая новость. Теперь все любители внедриться в ядро могут туда сваливать

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

64. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от Аноним (67), 16-Окт-24, 16:32

Делайте ваши ставки на то, что из этого получится что-то жизнеспособное. Текущий коэффициент 1:2000

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

70. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (3), 16-Окт-24, 16:48

Если сабж встроят хотя бы в систему управления кофеваркой это уже будет для него победа.

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

71. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (71), 16-Окт-24, 16:50

Новый тип китайского "микроядра": "микроядро" внутри монолитного ядра.

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

76. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +1 +/–

Сообщение от beck (??), 16-Окт-24, 17:08

> ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него
В линуксе abi постоянно ломается. При этом хак на хаке едет и хаком погоняет.
Т.е. они хотят сделать ядро, такое же, но другое, потому что в первом есть фатальный недостаток. Даже два.
И постоянно это ядро переписывать,  потому abi постоянно изменяется.
Отличная инициатива.

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

78. "Проект Asterinas развивает ядро на языке Rust, совместимое с..." +/–

Сообщение от Аноним (78), 16-Окт-24, 17:19

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

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

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

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

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

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


	3. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	–8 +/–
	Сообщение от Аноним (3), 16-Окт-24, 13:01
	Список по каким критериям раст лучше ады. 1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно. 2. Современный синтаксис: Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков. Это может способствовать более быстрому написанию кода и его обслуживанию в долгосрочной перспективе. 3. Экосистема и сообщество: Rust обладает активным сообществом и богатой экосистемой библиотек (крэтов), что позволяет разработчикам эффективно решать разнообразные задачи. Ada/Spark имеет более ограниченное количество доступных библиотек. 4. Кроссплатформенность: Rust разработан с учетом кроссплатформенной совместимости и отлично работает на различных операционных системах. Это делает его удобным для разработки приложений, которые должны функционировать на разных платформах. 5. Асинхронное программирование: Rust предлагает мощные инструменты для асинхронного программирования, что делает его подходящим для написания высокопроизводительных сетевых приложений. Ada/Spark также поддерживает параллелизм, но Rust имеет более развитые возможности в этой области.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	4. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+7 +/–
	Сообщение от Аноним (2), 16-Окт-24, 13:10
	Я тоже могу скопипастить ответ нейронки, как это сделал ты: 1. Безопасность и надежность: Ada и Spark предлагают более строгую статическую проверку типов и формальные методы верификации, что делает их более подходящими для разработки критически важных систем, где безопасность и надежность являются ключевыми требованиями. 2. Встроенная поддержка параллелизма и многозадачности: Ada изначально разрабатывалась с учетом параллельных вычислений и многозадачности, что упрощает разработку многопоточных приложений. 3. Зрелость и промышленное применение: Ada и Spark имеют долгую историю использования в промышленности, особенно в аэрокосмической и оборонной отраслях, где они зарекомендовали себя как надежные и проверенные языки. 4. Поддержка реального времени: Ada и Spark предлагают встроенную поддержку реального времени, что делает их более подходящими для разработки систем, где важна предсказуемость и детерминированность. 5. Строгая типизация и модульность: Ada и Spark имеют более строгую типизацию и модульную структуру, что может упростить разработку и поддержку крупных проектов. 6. Формальная верификация: Spark предлагает мощные инструменты для формальной верификации кода, что позволяет доказывать свойства программ и обеспечивать их соответствие спецификациям.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	6. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+4 +/–
	Сообщение от Аноним (6), 16-Окт-24, 13:13
	> 1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно. Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается. > 2. Современный синтаксис: Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков. Это может способствовать более быстрому написанию кода и его обслуживанию в долгосрочной перспективе. Это реально смешно. > 3. Экосистема и сообщество: Rust обладает активным сообществом и богатой экосистемой библиотек (крэтов), что позволяет разработчикам эффективно решать разнообразные задачи. Ada/Spark имеет более ограниченное количество доступных библиотек. Активно сообщество, к-е так ничего до сих пор не родило, только рассуждают и всячески о себе заявляют. > 4. Кроссплатформенность: Rust разработан с учетом кроссплатформенной совместимости и отлично работает на различных операционных системах. Это делает его удобным для разработки приложений, которые должны функционировать на разных платформах. Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается. > 5. Асинхронное программирование: Rust предлагает мощные инструменты для асинхронного программирования, что делает его подходящим для написания высокопроизводительных сетевых приложений. Ada/Spark также поддерживает параллелизм, но Rust имеет более развитые возможности в этой области. Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.
	Ответить \| Правка \| К родителю #3 \| Наверх \| Cообщить модератору


	13. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+1 +/–
	Сообщение от Аноним (13), 16-Окт-24, 13:23
	Поговорил с ботом - день прошел не зря.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	18. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+3 +/–
	Сообщение от Аноним (3), 16-Окт-24, 13:32
	1. А вот и нет! Rust — это не просто оболочка вокруг LLVM. Его концепции и философия разрабатывались независимо от C++. 2. Не переоценивай роль LLVM! Это лишь инструмент. Сам язык задания и его безопасность — это заслуга разработчиков Rust. 3. В чем проблема? Если LLVM помогает, то это только плюс! Какой язык не использует мощные инструменты для оптимизации? 4. Выразительность языка — это его сила, а не слабость. Проблема, если не понимаешь, как это работает. 5. Неудобно? Значит, пора учиться, а не сваливать на инструменты. Rust даёт больше возможностей, чем ты думаешь.
	Ответить \| Правка \| К родителю #6 \| Наверх \| Cообщить модератору


	32. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+2 +/–
	Сообщение от bOOster (ok), 16-Окт-24, 14:12
	Какой бред не осиливших C++
	Ответить \| Правка \| Наверх \| Cообщить модератору


	79. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+/–
	Сообщение от Вася Пупкин (?), 16-Окт-24, 17:20
	толсто)
	Ответить \| Правка \| Наверх \| Cообщить модератору


	11. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+2 +/–
	Сообщение от Аноним (11), 16-Окт-24, 13:19
	>Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков По этому пункту Линус Торвальдс с вами не согласился.
	Ответить \| Правка \| К родителю #3 \| Наверх \| Cообщить модератору


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


	19. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+2 +/–
	Сообщение от Аноним (11), 16-Окт-24, 13:35
	Аду Торвальдс пока что даже и не рассматривал. А вот некоторое время существования Rust в ядре уже дало ему повод сделать некоторые выводы.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	60. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	–1 +/–
	Сообщение от Facemaker (?), 16-Окт-24, 16:27
	"Пока что"... Оптимист! Я не имел счастья разрабатывать на Аде, но, посмотрев примеры, предполагаю, что добровольно на таком никто не возьмётся программировать. Для армии, может, и подойдёт. А вот Rust люди любят, в него влюбляются: https://habr.com/ru/companies/macloud/articles/557792
	Ответить \| Правка \| Наверх \| Cообщить модератору


	68. Скрыто модератором	+/–
	Сообщение от ct (?), 16-Окт-24, 16:39
	дочитал до "Для начала загрузим rustup..." и команды для его запуска вы на улице тоже всё в рот тащите неглядя?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	20. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+/–
	Сообщение от Аноним (20), 16-Окт-24, 13:35
	1. Формальная верификация: СПАРК разработан с учетом требований формальной верификации. Она позволяет разработчикам доказывать отсутствие определенных классов ошибок (таких как исключения во время выполнения, гонки данных и переполнения буфера) с помощью формальных методов. Это может привести к повышению надежности критически важных систем, например, используемых в аэрокосмической промышленности и медицине. 2. Безопасность и надежность: СПАРК обеспечивает строгую типизацию и предоставляет функции, которые помогают предотвратить распространенные ошибки программирования. Его дизайн поощряет написание безопасного кода, что может иметь решающее значение в системах с высокой степенью надежности. Хотя Rust также делает упор на безопасность, возможности формальной верификации СПАРК обеспечивают дополнительный уровень гарантии. 3. Детерминированное поведение: Дизайн СПАРК способствует детерминированному поведению, что очень важно для приложений реального времени и приложений, критичных к безопасности. Возможности языка помогают обеспечить предсказуемость поведения программы, что может быть сложнее гарантировать в Rust из-за его модели параллелизма. 4. Отсутствие исключений во время выполнения: СПАРК разработан для устранения исключений во время выполнения, которые могут быть источником непредсказуемости в системах. Это особенно важно для критически важных приложений, где неожиданное поведение может иметь серьезные последствия. 5. Программирование на основе контрактов: СПАРК поддерживает программирование на основе контрактов, позволяя разработчикам указывать предварительные и последующие условия, а также инварианты. Это может повысить надежность и удобство сопровождения кода, поскольку позволяет определить предполагаемое поведение функций. 6. Устаревшие и специфичные для конкретного домена приложения: СПАРК имеет долгую историю применения в таких областях, как аэрокосмическая, оборонная и автомобильная промышленность, где часто требуются формальные методы. Для проектов в этих областях СПАРК может быть более подходящим из-за его устоявшегося использования и наличия инструментов для формальной верификации. 7. Инструментарий для верификации: СПАРК поставляется со специализированными инструментами для формальной верификации, такими как набор инструментов SPARK Pro, который может анализировать код на предмет корректности. Хотя в Rust есть инструменты для статического анализа и тестирования, возможности формальной верификации в SPARK более развиты. Иными словами, раст совершенно неконкурентоспособен и ему нечего предложить, кроме базвордов, таких как "современный" синтаксис, "сильное" сообщество и "отличная" поддержка параллельного программирования.
	Ответить \| Правка \| К родителю #3 \| Наверх \| Cообщить модератору


	26. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	–2 +/–
	Сообщение от Аноним (3), 16-Окт-24, 13:57
	1. Ой, формальная что? Это звучит как что-то из научного фильма! Но, наверное, если это помогает не ошибаться, то круто! 2. Безопасность — это важно, особенно когда речь идет о жизни и смерти! Но я не знаю, что такое строгая типизация, звучит сложно! 3. Детерминированное поведение? Это как когда ты всегда знаешь, что будет на ужин? Звучит удобно! 4. Убрать исключения? О, боже, это как убрать слезы из комедии! Значит, все будет предсказуемо? 5. Программирование на основе контрактов? Это как когда ты на кухне записываешь, что готовишь по рецепту! Умно, наверное! 6. Устаревшие вещи — это как старая сумка из гардероба! Но если она работает в аэрокосмосе, значит, она, наверное, супер надёжная! 7. Инструменты для верификации? Как отвертка для программистов! Если они помогают проверять, то здорово! В целом, звучит, как будто Раст просто не дотягивает до сложности всего этого!
	Ответить \| Правка \| Наверх \| Cообщить модератору


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


	63. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+/–
	Сообщение от Аноним (63), 16-Окт-24, 16:31
	> 4. Кроссплатформенность: Вот тут поподробнее, пожалуйста! Как мне собрать компилятор раста для архитектуры, для которой мозилла не выложила уже готовый бинарник?
	Ответить \| Правка \| К родителю #3 \| Наверх \| Cообщить модератору


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

5. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+1 +/–
Сообщение от Аноним (5), 16-Окт-24, 13:13
У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис? Зачем постоянно пытаются изобретать кривые велосипеды для годных технологий? Так-же и с GoLang, очень хорошая технология, но жуткий синтаксис с неисправимыми болячками.
Ответить \| Правка \| Наверх \| Cообщить модератору


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


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


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


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


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


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


	21. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+1 +/–
	Сообщение от Аноним (11), 16-Окт-24, 13:37
	Ну, разве что, основанный на блоках кода, оформляемых скобочками {...}
	Ответить \| Правка \| Наверх \| Cообщить модератору


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


	39. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	+1 +/–
	Сообщение от Аноним (-), 16-Окт-24, 14:43
	golang это вендорлок, нет смысла тратить время на его обсуждение
	Ответить \| Правка \| Наверх \| Cообщить модератору


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


	74. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."	–1 +/–
	Сообщение от голос из леса (?), 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.
	Ответить \| Правка \| К родителю #39 \| Наверх \| Cообщить модератору