A case for inline type annotations

Thats a stellar example, which also show separation of concern, with one of Erlang’s super power, multiply function clauses.

I think most people that want inline type annotations are coming from those languages and it might be their first time with a BEAM language. If they stay here long enough, they’ll learn that the grass can actually be greener.

1 Like