То есть идея коммуникаций следующая: низкоуровневые действия типа подключения к nginx, очередь отправки, получения сообщений, создания потоков и асинхронная передача с переключением между tcp/udp написать на CompCert C. А более высокоуровневое поведение XMPP сервера отдать CakeML
Неблагодарный opensource: разработчик самого быстрого веб сервера по версии benchmark games удалил его репозиторий https://habr.com/ru/post/484436/ Tags: Open source, Программирование, Rust, кризис, rust, open source, выгорание AuthorPsyHaSTe #habr