Re:Strong arrows: a new approach to gradual typing
by Aerbil313 on Thursday September 21, 2023 @10:07PM
(#37607039)
Thanks for the detailed response. There’s no other mainstream language which has this fault tolerance built-in, right?
[ Parent
| on HN ]
Re:Strong arrows: a new approach to gradual typing
by OkayPhysicist on Monday September 25, 2023 @02:39PM
(#37648569)
Definitely nothing in the mainstream. The closest you get is a couple of Actor-model libraries for Java and C#, but since languages weren't built from the ground up around it, you end up with a lot of jagged edges that simply don't exist in Erlang or Elixir. Outside of the functional paradigm, there are a lot of things you can express that simply cannot be translated into a distributed environment.
The other "in the same ballpark" thing that is much more mainstream is microservice architecture. They aim for the same goal, of achieving concurrency-modeled parallelism and fault tolerance by translating a system into a distributed one, but since microservices tend to be hacked together with a variety of languages with no intrinsic support for the paradigm, you end up with an "ad hoc informally-specified bug-ridden slow implementation of half of Erlang."
There's a few projects even further outside the mainstream than Erlang and Elixir that are taking a swing at it, but they're all extremely obscure, and IMO haven't yet demonstrated any novelty worth sacrificing the vast libraries available on the BEAM.