4 ms·

I find it funny that the author willingly gave up static typing to have Erlang process control—I made the opposite switch as I grew tired of the overhead and at

by tel 13y ago

I find it funny that the author willingly gave up static typing to have Erlang process control—I made the opposite switch as I grew tired of the overhead and attrition of modeling a complex domain in Erlang. I think the Erlang VM is easily my favorite place to live as a programmer, but I do with Erlang-the-language gave more.

lostcolony 13y ago
What were your thoughts re: Dialyzer?
- 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)