https://www.opennet.me/openforum/vsluhforumID3/110117.html Джоэль Якобсон (Joel Jacobson (https://github.com/gluefinance)) выступил с инициативой (https://www.postgresql.org/message-id/CAASwCXdQUiuUnhycdRvrUmHuzk5PsaGxr54U4t34teQjcjb%3DAQ%40mail.gmail.com) создания варианта СУБД PostgreSQL, переведённого на язык Rust. Порт будет развиваться под именем RustgreSQL. Перевод с Си на Rust планируется полностью автоматизировать и обеспечить трансляцию основной master-ветки PostgreSQL в представление на языке Rust c автоматической конвертацией всех новых коммитов, т.е. код RustgreSQL будет синхронизирован с PostgreSQL. <br><br><br><br><br><br><br>В качестве мотива создание порта называется избавление от необходимости оглядки на усложнённые детали при работе с памятью на языке Си и возможность задействования средств по обеспечению безопасного программирования, предоставляемых языком Rust. Автоматическое управление памятью в Rust избавляет разработчика от манипулирования указателями и защищает от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памя https://www.opennet.me/openforum/vsluhforumID3/110117.html#299 Wed, 01 Feb 2017 21:13:26 GMT &gt;&gt; ... сжирая гиг памяти только на голое ядро, которому до пингвина - <br>&gt;&gt; как до пекина раком. Я считаю да - обосpались с присвистом.<br>&gt; Так о том и речь, сидеть на сишной системе и софте рассказывая <br>&gt; о крутизне раст-о-манов как-то криво, чтоли. Вон Торвальдс за считанные месяцы <br>&gt; накидал скелетон которого хватило для работы редактора, выкинул миникс на свалку <br>&gt; а дальше у него выбора уже не оставалось и он сделал <br>&gt; ЗБС. Как минимум себе. <br><br>Да, и теперь вас до скончания времён будут иметь Люди В Погонах через уязвимости в быстром и грязном коде на сишечке. Направление задано.<br> https://www.opennet.me/openforum/vsluhforumID3/110117.html#298 Wed, 01 Feb 2017 21:00:31 GMT &gt;&gt; в ЯП фишки, позволяющие делать проверки в компайлтайме.<br>&gt; Я конечно понимаю что CS у россиян не в почете, но до <br>&gt; того как умничать - наверное азы типа halting problem стоит почитать? <br>&gt; Полный анализ поведения программы выполнить невозможно. Тюринг предствил математическое <br>&gt; доказательство, взяв для примера довольно простой случай, изучающий завершится ли программа <br><br>Существует такая вещь, как SMT-solver'ы. Они могут проверить граничные условия, заданные для какой-то функции и её частей.<br><br>Язык Ada Spark https://en.wikipedia.org/wiki/SPARK_(programming_language) такое может<br>и пример проекта http://blog.adacore.com/tetris-in-spark-on-arm-cortex-m4<br><br>Для языка Си давно уже существует Frama-C https://en.wikipedia.org/wiki/Frama-C который точно так же позволяет гарантировать некие условия, выполняющиеся функцией.<br><br>Эти вещи не применяются в разработке массового ПО, в том числе опенсорцного потому, что господа сишные хакеры в большинстве своём малограмотны в CS и не "заточены" под долгую кропотливую https://www.opennet.me/openforum/vsluhforumID3/110117.html#297 Tue, 31 Jan 2017 16:00:36 GMT &gt; клоун: ты бы хоть объяснил человеку в чём именно он не прав. <br><br>Это ты клоун, я не про NaN говорил, а про 0.1 + 0.2 = 0.300000000000000004. Это в любом языке так.<br> https://www.opennet.me/openforum/vsluhforumID3/110117.html#296 Sun, 15 Jan 2017 20:46:58 GMT &gt; QML лёгкий, быстрый и гибкий. Отрисовывается на OpenGL. Вручную так быстро рисовать <br>&gt; не получится.<br><br>Ты знаешь, компьютеры уже в конце 80-х рисовали быстрее чем вручную, так что сомнительное достоинство :)<br> https://www.opennet.me/openforum/vsluhforumID3/110117.html#295 Sat, 14 Jan 2017 04:52:18 GMT &gt; Да блин, скорее Маск обоснует поселение на марсе<br><br>Это ты просто в курсе ситуации с языками и не в курсе - с космическими разработками. Над маском те кто в курсе ржут так же, как местные сишники над редоксом.<br> https://www.opennet.me/openforum/vsluhforumID3/110117.html#294 Fri, 13 Jan 2017 23:23:51 GMT &gt; А теперь почитай прикидки, cколько десятков миллионов человекочасов ушло в пингвина <br><br>Для того чтобы пингвин стал чем-то юзабельным потребовался один студень и несколько месяцев. Дальше это начало обслуживать нужды студня, как минимум. <br><br>И таки да, с этими миллионами часов у студня неслабая такая фора. Миллионы часов туда бахали не потому что это круто, а потому что worksforme для толпени народа, и стало быть в их интересах.<br><br>&gt;&gt; Я считаю да - обосpались с присвистом.<br>&gt; Считальщик в курсе, что пилилась это ось почти в одно рыло? <br><br>Про присвист был какой-то другой кадр, но если на то пошло, Linux тоже изначально таки был написан торвальдсом в одно рыло. А сотни корпорасов набежали сильно потом. Когда оно делом доказало что работает и обслуживает немало народа. Ну а редокс вот это самое делом пока не доказал вроде. Как и его файлуха. Как мозильский недобраузер. И вот такие фееричные прожекты. Да блин, скорее Маск обоснует поселение на марсе.<br> https://www.opennet.me/openforum/vsluhforumID3/110117.html#293 Fri, 13 Jan 2017 23:18:45 GMT &gt; Мусье в курсе, что эта самая tfs собирается пока что только из <br>&gt; под самого редокса? Как-то не тянет на разработку в вижуалстудии и максималочке<br><br>Начало уже хорошее. Относительно реактоса. А теперь посмотрим хватит ли разработчиков пользоваться своим редоксом для чего-нибудь практического.<br><br>&gt; да и с 5 минутами времени работы заманаешься перезагружаться.<br><br>Зато можно позволить себе переписать кернел вот три раза. Объяснив двум предыдущим группам неудачников что они очень хорошо поработали на мусорный бак. В редоксе вроде этот почетный почин подхватили и ядро уже успели переписть, не?<br> https://www.opennet.me/openforum/vsluhforumID3/110117.html#292 Fri, 13 Jan 2017 23:15:47 GMT &gt; О, уважаемый разработчик ядра, btrfs и хрома в придачу в треде? Или <br>&gt; очередной болтунишка?<br><br>А ты наверное ярый фанат реактоса. В перерывах между фапами на hurd и minix.<br><br> https://www.opennet.me/openforum/vsluhforumID3/110117.html#291 Fri, 13 Jan 2017 23:09:56 GMT &gt; Что, кроме тюринга ничего больше не знаешь? А моежт еще стоит, до <br>&gt; того как влезать с тюрингом где можно и нельзя, азы компайлостроения почитать?<br><br>А что, кто-то смог сотворить чудо и сделать bounds checking без просадок скорости?<br><br>Ну вот смотри, есть у меня массив записей, число записей задается на основе внешних данных. Значит на фазе компиляции это никак невозможно просчитать, а всякие foreach будут вынуждены делать тот же bounds checking вид в профиль. Или его можно будет нае...ть, на выбоо.<br><br>&gt; Где ты увидел "полный анализ", болезный? Ну и следуя твоей логике, вообще <br>&gt; никакие проверки не нужны, ведь они не полные.<br><br>Я просто к тому что напирание на безопасность в этом случае как-то излишне оптимистично. Статические анализаторы штука хорошая, но и близко не панацея. К тому же вебмакаки показали много чудных способов как позволить разломать сервер вообще не пуская хакеров в управление памятью. Да и Bobby Tables любителям сабжа приветы передавал.<br><br>&gt; Ну давай, сформулируй для частного случая ана