https://www.opennet.ru/openforum/vsluhforumID3/135321.html Стартап Trasec развивает язык программирования TrapC, представляющий собой диалект языка Си, обеспечивающий безопасную работу с памятью. Для блокирования ошибок при работе с памятью, таких как выход за границы выделенного буфера, в TrapC применяется фундаментально иной способ работы с указателями и специальный механизм обработки ошибок. Заявлено, что особенности работы с указателями по возможности не будут нарушать привычный уклад и будут реализовываться на этапе компиляции. Исходный код компилятора для TrapC планируют открыть в 2025 году...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=62224<br> https://www.opennet.ru/openforum/vsluhforumID3/135321.html#210 Sat, 23 Nov 2024 13:42:19 GMT а! Зоркий Глаз заметил! ты воспринимаешь mc как файловый менеджер, о чём и написал открытым текстом. а в оригинале nc назывался &#171;visual shell&#187;, и был именно этим: шелл плюс удобные панельки для разных операций, которые красиво на панельки ложатся. не то чтобы в досе был нормальный шелл, конечно, но идея-то именно такая. файловый менеджер же &#8212; это что-то типа XTree.<br><br>соответственно, для меня миднайт &#8212; это именно расширение шелла, а не просто менеджер файлов. отсюда и желание его достраивать как мне удобно. конечно, можно обходиться и просто шеллом и его скриптами. а можно &#8212; не теряя этого &#8212; получить ещё одно дополнительное измерение для разных интересных операций (и не только файловых, хотя в основном и). ну да, вопрос привычки.<br> https://www.opennet.ru/openforum/vsluhforumID3/135321.html#209 Sat, 23 Nov 2024 13:04:25 GMT &gt; Скриптовать файловый манагер кажется мне несколько оверкилом<br><br>А это и есть оверкилл. При чём это не всегда плохо, но почти всегда - непопулярно. В идеале если есть небольшое крепкое комьюнити или один упоротый (в хорошем смысле) разраб-фанатик, проект будет долго жить и радовать это самое небольшое комьюнити. <br> https://www.opennet.ru/openforum/vsluhforumID3/135321.html#208 Sat, 23 Nov 2024 12:53:37 GMT У меня уже давно есть полушутейный критерий "Это достаточно кривая хрень, чтобы стать популярной".<br> https://www.opennet.ru/openforum/vsluhforumID3/135321.html#207 Fri, 22 Nov 2024 19:30:46 GMT ну так я ж тебя не агитирую. просто лично мне проект показался очень удобным: я всегда первым делом запускаю двухпанельку, и очень много всего делаю именно из неё. не вижу смысла отказываться от удобств: и шелл под рукой, и панельки. соответственно, лично мне эти самые панельки часто хочется снабдить новыми фичами, и чтобы не пересобирать mc каждый раз.<br><br>как будто панельки накладывают заклятие &#171;умение в шелл минус сто&#187;, право.<br><br>p.s.: редактор для проектов у меня вообще давно самописный.<br> https://www.opennet.ru/openforum/vsluhforumID3/135321.html#206 Fri, 22 Nov 2024 18:31:56 GMT &gt; понимаю. муффи имечко выбрал такое, что фиг найдёшь даже если знаешь, что <br>&gt; ищешь. вот: https://www.geek.co.il/~mooffie/mc-lua/docs/html/ <br><br>Забавная вундерфафла. И да, кажется я впервые про это слышу.<br><br>&gt; фактически, он сделал доступ ко всем потрохам mc из Lua. не просто <br>&gt; &#171;пару методов высунули&#187;, а всё. можно дополнять, можно писать новые фичи,<br><br>Скриптовать файловый манагер кажется мне несколько оверкилом. У меня и так терминалка с табами, а то что там несколько разных ms c разными state, при том некоторые вообще over serial или ssh (в чем ключевой аргумет за консольный FM и состоит).<br><br>Вот links keys в mc я оценил, сделало навигацию быстрой. И еще исправили наконец заскоки с запоминанием дир и что там в шелле напечатано с ctrl+o vs без. А где мне спичило поскриптить околофайловые операции - я себе на баше весьма навороченые вещи сделал. Типа кастомных генераторов и враперов виртуалок и тому подобного, в общем повторяющиеся (около)файловые действия и проч, в этом смысле я кажется с файлов https://www.opennet.ru/openforum/vsluhforumID3/135321.html#205 Fri, 22 Nov 2024 18:24:49 GMT &gt;&gt; а не надо кодировать. надо программировать. это во-первых.<br>&gt; Смотря что под этим понимать. Заметная часть фирмвары состоит из довольно рутинных <br>&gt; и неинтересных вещей, далеких от полета мысли Вирта и прочих Кнутов. <br>&gt; То-есть на уровне алгоритмики многие вещи в упраляющих системах - совершенно <br>&gt; ничего эпичного.<br><br>а программирование &#8212; это вовсе не про эпичность. это про рутину done right. про эпичность &#8212; это как раз &#171;йа закодел!&#187;<br><br>&gt;&gt; формальные доказательства не просто так придумали.<br>&gt; Реальный мир не очень хорошо формализуется.<br><br>а тебе не надо формализовать реальный мир. тебе надо формализовать решение для автомата, который ведёт себя полностью предсказуемо. и тогда из картины можно исключить проблемы софтвари, оставив обработку проблем хардвари.<br><br>&gt; Всякие MISRA и ко придумали свои рулесы не просто так.<br><br>конечно, не просто так. это следствие выбора неправильного языка (и методологии). вот и получаем попытки хоть как-то починить результат костылями.<br><br>&gt;&gt; а во-вторых &#82 https://www.opennet.ru/openforum/vsluhforumID3/135321.html#204 Fri, 22 Nov 2024 18:02:27 GMT &gt; там выше речь про дельфи зашла. который очень-очень изуродованый, но всё ещё <br>&gt; паскаль. отсюда и появились &#171;виртовские языки&#187;.<br><br>А, я этот момент упустил.<br><br>&gt;&gt; Всю жизнь мечтал чтобы у меня управляющий фирмвар в рантайме брякнулся.<br>&gt; а не надо кодировать. надо программировать. это во-первых.<br><br>Смотря что под этим понимать. Заметная часть фирмвары состоит из довольно рутинных и неинтересных вещей, далеких от полета мысли Вирта и прочих Кнутов. То-есть на уровне алгоритмики многие вещи в упраляющих системах - совершенно ничего эпичного.<br><br>&gt; формальные доказательства не просто так придумали.<br><br>Реальный мир не очень хорошо формализуется. Он довольно хаотичный и сложный. Де факто лучше всего работает здравый смысл и эмпирика. А также здоровая порция пессимизма по части "should never happen - не про нас". И просто "antibug coding" на максималках. Всякие MISRA и ко придумали свои рулесы не просто так.<br><br>&gt; а во-вторых &#8212; ты предпочитаешь, чтобы вместо этого просто молча ерунду выдавало?<br><br>Именн https://www.opennet.ru/openforum/vsluhforumID3/135321.html#203 Fri, 22 Nov 2024 17:37:09 GMT &gt; Представь что у тебя есть какой-то агрегат.<br><br>Представь себе что ты это все рассказываешь тому кто фирмвари кодит. Просто представь себе.<br><br>&gt; Например рентгеновский аппарат и в фирмваре произошла ЧУДОВИЩНАЯ ОШИБКА <br>&gt; И у тебя есть два стула: <br>&gt; - брякнуть фирмварь и вырубить аппарат <br><br>Простите но в слове panic нигде нет ни звука про "вырубить аппарат". Это собссно небольшой нюансик того подхода и есть - если оно НЕКОНТРОЛИРУЕМО брякается, без особых возможностей рекавери и обработки - это ну такое себе :)<br><br>Характерный пример - Rust VS LinuxKernel. Не, оказывается, совсем вынести ядро ОС в панику от всего лишь нехватки RAM - это совсем не круто, и даже идет вразрез с вон теми желаниями. Ибо какой, нахрен, корректный шатдаун чего либо при внезапной панике, не говоря о восстановлении state после этого?!<br><br>&gt; - отправить на управление трубкой рандомное число после, напр. переполнения <br>&gt; Думаю пациент не будет в восторге от второго) <br><br>Когда мне говорят что у меня только 2 опции, я начинаю призадумываться https://www.opennet.ru/openforum/vsluhforumID3/135321.html#202 Fri, 22 Nov 2024 05:14:43 GMT &gt;&gt; затем, что виртовские языки не защищают от идиота. чтобы защитить от идиота <br>&gt;&gt; &#8212; надо идиота просто не допускать к программированию.<br>&gt; 1) Си это немного не виртовский язык вроде бы?<br><br>там выше речь про дельфи зашла. который очень-очень изуродованый, но всё ещё паскаль. отсюда и появились &#171;виртовские языки&#187;.<br><br>&gt;&gt; один из видов защиты &#8212; трапнуться в рантайме, если обнаружено что-то не то.<br>&gt; Всю жизнь мечтал чтобы у меня управляющий фирмвар в рантайме брякнулся.<br><br>а не надо кодировать. надо программировать. это во-первых. формальные доказательства не просто так придумали. а во-вторых &#8212; ты предпочитаешь, чтобы вместо этого просто молча ерунду выдавало? причём вполне возможно, что ерунда будет расползаться, если какие-то данные повредили.<br><br>никто не мешает тебе поставить обработчик рантайм-трапов, в котором как-то куда-то что-то сигнализировать (это уже зависит от наличия подобного), и, например, перезапускать из безопасного состояния. или другое всякое делать, что понадобится.