Исходное сообщение
"Обновление варианта GNU Coreutils, переписанного на языке Ru..." Отправлено Аноним, 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 - пишут!!!

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> > Зачем на 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 - пишут!!!
	Введите код, изображенный на картинке: