Эликсир, но с огромным количеством фич?
https://github.com/akkadotnet/getakka.net/blob/master/src/docs/FSharp%20API.md

да

Вообще нет, типа akka вообще под jvm был всегда, а это под .net
Они немного украли основные моменты типа супервайзинга, message-passing-а и всего  такого, но у них всё равно кооперативная многозадачность, STW GC, такая себе изоляция ошибок и интроспекция на порядок хуже

Единственный момент, когда можно использовать scala + akka вместо erlang/elixir это когда уже есть развитая экосистема на jvm и кучи jvm-разработчиков

Всякие фичи типа нескольких messagebox-ов, конечно, прикольные, но без них все легко обходятся

Например, у whatsapp есть патч для BEAM на посылку сообщений в начало очереди, но от него отказались (как я слышал по последним докладам) за ненадобностью

Ошибки в статически типизированных языках всё же встречаются на порядок реже.
Можно поподробнее про отличия многозадачности?

Во всяких там корутинных языках yield может сработать на парочке io функций, в то время как в эрланге - на любой вообще.
Благодаря этому распределение времени между акторами - максимально равномерное.

Это позволяет даже при максимальной нагрузке на сервак и подвисании какой-то части запросов все ещё иметь адекватные времена ответов на другие параллельные запросы

Кроме того, разделение памяти - на уровне ВМ а не самописное, что исключает падение соседних акторов что-бы там не происходило (ну разве что есть баги в ВМ, но их за 30 лет вроде как более менее отладили)

Но это не гарантирует корректное поведение приложения. Гарантировать корректное поведение мы можем только используя (юнит) тесты
К тому же, нельзя списывать со счетов продуктивность самих разработчиков, где Elixir выигрывает за счет в тч динамических  типов.  К тому же, это часто упирается в туллинг.
Я сомневаюсь, что предполагая сильную команду и похожие входные данные, Akka + F# или Akka  + Scala в конечном итоге выиграют у Elixir по:
- Продуктивности
- Observability
- ???

крч, все хвалят свое болото)

простите за занудство, но:

> Гарантировать корректное поведение мы можем

мы практически не можем гарантировать корректное поведение. Гарантии на софт столь сложны, что практического коммерческого применения им нет

Гарантировать корректное поведение можно только с завтипами

Писать на ЯП с завтипами здоровый человек долго не сможет

Scala + Akka сильно конечно, но у меня не сложилось, потому что jvm - это отдельный мир.

А еще intellyj медленнее работает у меня чем vscode, так что пришлось выбрать эликсир...

Скала сама по себе отдельный мир...

а где пролегает эта граница? точно так же можно сказать что на языке со статической типизацией здоровый человек писать долго не сможет

поцоны, а что за завтипы?

Я про то, что ради эксперимента какую-нибудь свистоперделку написать ещё можно, но вот поддерживать продукт несколько месяцев/лет, как это обычно происходит, человека не хватит, слишком сильная когнитивная нагрузка

Заведующий типами наверное… Хз что это

Можешь глянуть на Agda/Idris