Журналы, "сцена"... Куда все пропало?

Вчера ерунду сморозил. Построить ось с ГЦ можно, но не нужно. Куда лучше с механизмами явного высвобождения памяти.

 

Да, поэтому Раст выглядит хорошим кандидатом на это. Проблема канеш в том, что своими механизмами работы с памятью пользователи Раста серьезно так перекрутили себе яйки. Порог вхождения в Раст достаточно высокий. Да и многие там в принципе не смогут написать какой-нить двусвязный список, или что-то такое. Канеш есть unsafe блоки, но с ними весь смысл теряется.

В качестве продолжения оффтопа, был интересный экспериментальный проект языка Carp. Они хотели скрестить функциональный язык с овнершипом и боровинг из Раста. Давно уже за ним не следил, не знаю, что у них там вышло сейчас. Проблема в том, что они решили взять за основу Лисп, а не МЛ, так что вряд ли взлетит.

 

Ну о некоторых то плохие новости. Ares к примеру.
Помните может - BillPrissoner - скололся
Второй главред (root, Necromant еще как-то не помню) - вообще пропал, никто не видел его с 2018
Говорят проблемы со здоровьем были, теперь жив ли?
Первый (pr0mix) с 2014 - го, как война началась в Дон..нецке. Было слыхать что он оттуда то.
Кто-то сменил профиль кардинально. Аквалла вот под "яблоки" писать стал, сейчас не знаю.
А помню нам интервью неплохое дал записать
Были даже девочки ))
Многим то за 40 теперь, дети , кредиты, обыденность.
Да и потом все же под никами писали, потом их меняли, тут то и не поймешь теперь
))

 

Да, не всем же торговую марку держать. Rel - кстати тоже очень старый ник, я вроде только на васме Релом остался до сих пор.

 

для написания ядра оси катит лишь классика == с, ада, паскаль + асм. И вопреки всем нападкам, наилучшим кандидатом из яп-ов остаётся сишечка в силу легковесности её рантайма да удобству работы с памятью.

 

Да, принцип "делай любую херню с любой памятью, я не буду тебе мешать" канеш очень удобен. Только, если бы ядро было написано хотя бы на Аде, ну или если бы в то время существовал Раст, мы бы не увидели настолько дырявые ядра, да и не настолько дырявый софт в принципе.

 

прикол в том, что перехват ошибок сам по себе легко становится ошибкой, пч "вес" цикла растёт. А в управление внешними устройствами а-ля "умный дом" сейфовые яп-ы совсем ниАчмЪЪЪ, ибо РЕАЛТАЙМ тамо с электрикой да механикой. Тч либо знаешь (ЧТО ДЕЛАЕШЬ), либо сплошной ППЦЪЪЪ.

 

Чего вообще сказал? О чем? Зачем я вообще трачу свое время читая это? Не понимаю.

 

ну-если прям совсем коротко == на сишечке циклы получаются наиболее быстрыми

 

Вообще далеко не всегда. Конструкции типа for element in array не будут генерировать дополнительных проверок на переполнение и скомпилится ровно в тот же код, что и сишечка.

 

и в итоге сакраментальный Вопрос == если это всё те же яйки (хоть и в профиль), то нафуй ОНО всё такое красивое??? в ансейфе раст == сишечка

 

позже

 

Что за глупый вопрос? Не понимаешь очевидных вещей? Код такой же, но он в отличии от сишечки он проверен на этапе компиляции. В частности for element in array гарантирует, что ты не выйдешь за границы массива.

 

Rel, а что быстрее? челу перейти на раст, или налабать и протестить фаззерами варианты на си? И такой вопрос, не знаешь о кластерных микроядерных осях, о ком почитать можно?

 

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

--- Сообщение объединено, 25 июл 2020 ---

Да не особо. На МиражОс я наткнулся, когда смотрел Окамл, посмотрел несколько презентаций о ней на ютюбе, понравились идеи. Есть еще ErlangOnXen и Nerves в экосистемах Erlang/Elixir - тоже забавная вещь. Про остальное не знаю, можно погуглить на тему unikernels.