Claudio Salazar รีทวีตแล้ว

The issue with the Result type is that it forces you to think about error cases (good) but then leaves you up to your own devices to handle them (bad). It should be no surprise you will get it wrong or make bad assumptions at some point.
The whole point of Erlang/Elixir is to assume things will fail and provide a mental model around that. So when you mess up error handling somewhere, there are system-level mechanics in place.
A type system for Erlang/Elixir is an attempt at getting the best of both worlds. Trusting only one of those mechanisms to give you complete coverage is always going to be limited.
Tim McNamara@timClicks
Cloudflare generated many millions of HTTP 5XX responses today. They were triggered because code in a core proxy called .unwrap() on a Result for an operation that was expected to never fail.
English






















