4 ms·
Elixir and Erlang still lack the ability to typecheck any process behaviors because messages can take any type anywhere.
by nv-vn 9y ago
Elixir and Erlang still lack the ability to typecheck any process behaviors because messages can take any type anywhere.
- yellowapple 9y agoYou can still pattern match when receiving, though (in fact, 'receive' in both Erlang and Elixir does pattern matching already in the same vein as 'case'); just match messages based on a tagged tuple or a record (Erlang) / struct (Elixir) signature or however else you want to define your "types".