Elixir has _something_ similar: Behaviors - http://elixir-lang.org/getting-started/typespecs-and-behaviours.html http://elixir-lang.org/getting-started/typespec

Elixir has _something_ similar: Behaviors - http://elixir-lang.org/getting-started/typespecs-and-behaviours.html http://elixir-lang.org/getting-started/typespecs-and-behavio... While this isn't exactly what you like, I thought I'd throw it out there because I find it a fair substitute, especially when paired with Dialyzer - a static code analysis tool: http://erlang.org/doc/man/dialyzer.html http://erlang.org/doc/man/dialyzer.html