[dinduks]

> It's _reasonably_ strongly typed

> time assurances of correctness _in a majority of cases_

So basically, let's do it and pray it works, maybe?

[dnautics]

You don't have to pray. In elixir/erlang the motto is let it fail. If it fails, it crashes, and you have supervisors that are nearly free, and your service will resume itself noncatastrophically. You're generally free to code the happy path.