[dozzie]

Oh, they can do surprisingly much. See how Erlang works with its optional typespecs and dialyzer.