3 ms·
It's nice and once I learned how to use it I tried to be very consistent with it. The success types provide good documentation, but I found that the types still
by tel 13y ago
It's nice and once I learned how to use it I tried to be very consistent with it. The success types provide good documentation, but I found that the types still felt very flat. The fundamental component of Erlang abstraction is the process and the process tree, so your types reflect that and don't end up composing well.
- tel 13y ago(To clarify: rather your types end up composing much like messages between actors. That's a very fine way to compose things, but it's still just one way)