The OpenNET Project / Index page

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



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

Оглавление

Обновление варианта GNU Coreutils, переписанного на языке Rust, opennews (??), 31-Янв-22, (0) [смотреть все]

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


421. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +1 +/
Сообщение от Прохожий (??), 01-Фев-22, 13:35 
>Зачем на Rust? Кому оно будет нужно?

Мне. Этого, считаю, вполне достаточно.

> Вот написали бы на верифицируемом SPARK - это истинная безопасность.

Речь не только о безопасности, но ещё и кроссплатформенности и скорости выполнения. Если всё перечисленное выше возможно реализовать на SPARK - дерзай.

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

426. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (419), 01-Фев-22, 14:05 
> > Зачем на Rust? Кому оно будет нужно?
> Мне. Этого, считаю, вполне достаточно.

Зачем тебе оно на Rust?

> Речь не только о безопасности, но ещё и кроссплатформенности и скорости выполнения. Если всё перечисленное выше возможно реализовать на SPARK - дерзай.

Заявлена потдержка:
OS:
Linux, Microsoft Windows, Mac OS X https://en.wikipedia.org/wiki/SPARK_(programming_language)
FreeBSD, Linux, Solaris/SPARC, Microsoft Windows, Mac OS X https://en.wikipedia.org/wiki/GNAT
Платформ:
amd64 https://packages.gentoo.org/packages/dev-lang/spark


Приоритет у SPARK высокая надежность и безопасность https://www.adacore.com/about-spark

За скорость верификации, компиляции и исполнения бинаря я не знаю :(

Язык поддерживает програмирование систем реального времени как и C: http://www.getadanow.com/ Бортовые системы в авиации, системы управления вооружением, прошивки в микроэлектронике не будут писать на тормознутом языке, а на SPARK - пишут!!!

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

430. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +1 +/
Сообщение от Прохожий (??), 01-Фев-22, 14:19 
Ок, если всё действительно так хорошо, разрешаю тебе начать писать coreutils на SPARK. Ты начни, главное. А там, глядишь, и другие подтянутся.
Ответить | Правка | Наверх | Cообщить модератору

608. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (608), 02-Фев-22, 17:00 
Когда то говорили что комерческие компиляторы SPARK лучше, теперь говорят что GNU компилятор стал очень хорош и пригоден для промышленного SPARK.

Начать не вопрос. Мне даже первому начинать не смущает.

Вопрос кому оно надо? Где спрос? Кто за это даст мне мешок денег?

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

640. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Прохожий (??), 04-Фев-22, 00:46 
> Вопрос кому оно надо? Где спрос? Кто за это даст мне мешок денег?

Как это кому? Людям, у кого повышенные требования к безопасности софта (авиация, космонавтика, энергетика, медицина и т.п. сферы).
А вот насчёт других - уже сомневаюсь. Чем безопасней софт, тем дороже обходится его разработка при прочих равных.

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

645. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (645), 04-Фев-22, 17:53 
> Чем безопасней софт, тем дороже обходится его разработка при прочих равных.

За язык программирования SPARK уже заплатили. Платили мешками зеленых бумажек более 40 лет. GNU утверждает что компилятор SPARK наконец готов!!!

Разработка ПО на SPARK теперь обойдется не дороже разработки на Rust или C. А по надежности и безопасности SPARK на первом месте, как бонус получаешь математическую верификацию всего кода на SPARK на отсутствие уязвимостей.

Верифицируемое ПО дешевле писать на SOARK. Rust и C требуют ручной верификации глазами и мозгами человека...

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

432. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  –3 +/
Сообщение от Прохожий (??), 01-Фев-22, 14:28 
> Зачем тебе оно на Rust?

А зачем оно до сих пор на Си было? Раст более безопасный язык, в остальном ничем не уступающий Си. Почему бы не сделать мир чуточку лучше?

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

567. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Олег (??), 02-Фев-22, 08:59 
Что бы сделать мир чуточку хотя бы лучше, надо писать что-то новое, а не переписывать то, что и так работает хорошо и протестировано годами использования. Какой-то мартышкин труд. Очень похоже на какие-то комплексы и отсутствие реально полезных идей у людей.
Ответить | Правка | Наверх | Cообщить модератору

606. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от freecoderemail (ok), 02-Фев-22, 16:48 
Когда-то и в проекте GNU занимались переписыванием UNIX-программ, разве нет?


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

644. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +1 +/
Сообщение от Dmitry (??), 04-Фев-22, 16:52 
это юридический вопрос
Ответить | Правка | Наверх | Cообщить модератору

622. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Наноним (?), 02-Фев-22, 21:47 
Очень смешно, учитывая что многие (большинство?) утилиты из GNU Coreutils - переписанные под GNU варианты старых UNIX утилит
Ну вот, пришло время переписать из заново. И в отличие от тупого переписывания на том же языка под другую лицензию, это переписывание имеет явные преимущества. Кроссплатформенность, например.
Ответить | Правка | К родителю #567 | Наверх | Cообщить модератору

653. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (653), 05-Фев-22, 09:15 
> явные преимущества. Кроссплатформенность, например.

https://www.opennet.me/openforum/vsluhforumID3/126614.html#426

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

609. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  –1 +/
Сообщение от Аноним (608), 02-Фев-22, 17:04 
> Раст более безопасный язык, в остальном ничем не уступающий Си.

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

Сделай мир еще лучше перепиши все с Rust на SPARK.

На счет задач жесткого реального времени не знаю может ли SPARK сравнится с C.

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

639. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Прохожий (??), 04-Фев-22, 00:42 
> А SPARK еще более надежен и еще более безопасен.

Можно ли SPARK использовать для системного программирования?

> Сделай мир еще лучше перепиши все с Rust на SPARK.

Кто предложил, тот и делает обычно. Так что давай, клаву в руки и вперёд.

> На счет задач жесткого реального времени не знаю может ли SPARK сравнится с C.

Есть мягкое реальное время?

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

646. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (645), 04-Фев-22, 18:07 
> Можно ли SPARK использовать для системного программирования?

SPARK это верифицируемое подмножество языка програмирования ADA.

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

Пример OS на SPARK: https://muen.sk

> Кто предложил, тот и делает обычно. Так что давай, клаву в руки и вперёд.

Идея ищет мешок денег для реализации.

> > На счет задач жесткого реального времени не знаю может ли SPARK сравнится с C.
> Есть мягкое реальное время?

На ASM и C можно такты процессора считать, для жесткого реального времени.

Необходим програмист который писал задачи жесткого реального времени на C чтобы он глянул возможности языка SPARK (ADA).

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

648. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Прохожий (??), 04-Фев-22, 18:40 
> Пример OS на SPARK: https://muen.sk

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

> Идея ищет мешок денег для реализации.

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

> На ASM и C можно такты процессора считать, для жесткого реального времени.

ИМХО, система реального времени - это ведь не про то, быстро или медленно. Это про гарантированное время исполнения.

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

649. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (649), 04-Фев-22, 19:42 
> Не понимаю, почему его так не пиарят, как тот же Rust.

За этот язык платило DoD US, хорошего компилятора свободного не было. Только недавно, говорят, GNU удалось написать хороший компилятор этого языка.

Пиарить язык программирования на котором ведется разработка ПО в департаменте обороны США не хотели или не могли.

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

Меня ; после end чуток напрягает. А так код кажись читабельнее и понятнее получается чем в C.

> ИМХО, система реального времени - это ведь не про то, быстро или медленно. Это про гарантированное время исполнения.

Ща сишники придут и расскажут что они смогут дать гарантии исполнения за определенное количество тактов процессора, а все остальное это "мягкое" реальное время.

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

650. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Прохожий (??), 04-Фев-22, 21:18 
> Меня ; после end чуток напрягает. А так код кажись читабельнее и
> понятнее получается чем в C.

Очень похож на PL/SQL. Смотрю на SPARK, вижу Oracle PL/SQL. :)

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

652. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (653), 05-Фев-22, 09:09 
>> Меня ; после end чуток напрягает. А так код кажись читабельнее и
>> понятнее получается чем в C.
> Очень похож на PL/SQL. Смотрю на SPARK, вижу Oracle PL/SQL. :)

Базовый синтаксис языка SPARK(ADA) придумали Французкие математики в конце 1970-тых.

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

656. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (656), 06-Фев-22, 21:15 
Ну так и Oracle PL/SQL основан на Ada.
Ответить | Правка | Наверх | Cообщить модератору

647. "Обновление варианта GNU Coreutils, переписанного на языке Ru..."  +/
Сообщение от Аноним (645), 04-Фев-22, 18:26 
https://git.codelabs.ch/?p=muen.git;a=tree;f=kernel/src

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

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

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

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




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

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