sheriff

Há transformação de análise para valores de erlang de verificação de tipo em tempo de execução. https://github.com/extend/sheriff.git Aqui está um exemplo: -compile({parse_transform, sheriff}).-type my_type() :: {integer(), binary()}.check_some_types(Val) -> true = …