Вообще я редко защищаю раст потому что нахожу его несколько вербозным, но для системного программироваеия он как раз подходит наверное идеально

Thnx!

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

А Redox, как я понимаю, работает по стандартной UNIX-схеме с тяжёлыми процессами, обменом данными через файлы, дефрагментацией через VM и постоянную трансляцию адресов.

Сейчас браузеры во много раз сложнее некоторых ОС, более того, способны их эмулировать:
https://www.reddit.com/r/webdev/comments/98ufca/windows_2000_emulated_in_webassembly

Ну, перенесли QEMU под виртуальный стековый процессор, которым WebAssembly, по сути, является. Браузер же при этом не работает без операционки. Да и QEMU без операционки не работает.

Это не означает, что браузер проще операцинки. Но это означает, что браузеру не нужно решать те проблемы, которые в UNIX-style операционках и в mirage-style операционках решаются очень по-разному.

И в unix-style операционках эти решения более громоздкие и ресурсоёмкие. Я тут всё время говорю о постоянной трансляции адресов. Она съедает 30% производительности. SUN меряла когда-то. Ту статью не могу найти, но вот более свежая, тут меряли только потери от использованиям MMU, и насчитали в среднем 15%. SUN учитывала и затраты операционки на поддержку таблиц трансляции.

http://pages.cs.wisc.edu/~swift/papers/iiswc14-mmu.pdf

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

https://sentient-lang.org/

Sentient is a high-level, declarative programming language that lets you describe what your problem is and not how to solve it. Sentient tries to figure that out for itself. It provides a rich toolkit to allow programmers to express their problems in a familiar way.

Хмм любопытно, он через сат-солверы это решает чтоль?

сам спросил @ сам ответил
https://sentient-lang.org/solvers/overview

Ещё один miniKanren или есть существенные отличия?

Очередной фронтенд к minisat. Сегодня подобные dsl — это проект для выходных.

не знал про miniKanren

Тогда имеет смысл ещё и на уже упоминавшийся тут https://flix.dev/ взглянуть. Похоже, его активно пилят. Во всяком случае, быстрее, чем документацию обновляют.

хочу там тайпклассы

Тогда либо ждать когда авторы до них доберутся, либо пилить PR. 😊

я не создатель) я пользователь

Интероп с JVM тоже бы не повредил, но он тоже в разработке...

Как участнику компиляторного чата нужно level up. 😃

я только на хаскель/пурскрипт языки примитивны делал

Ну, да, на Scala будет сложнее. Но не так тяжело, как на "голой" Java! 😃