Erlang also has an optional type system, you can put type hints at function heads (these can also be built using typer, which is built into erlang). there is al

Erlang also has an optional type system, you can put type hints at function heads (these can also be built using typer, which is built into erlang). there is also dialyzer which does static type analysis. It doesnt use loops because it doesnt have variables, once a 'Variable' has been bound to a value, it cant be changed