hi, What with HiPE and Dialyzer, seems like optional/soft/pluggable typing in Erlang (ideally with some inference) isn't such an odd thing. Googling around it appears there have been various developments along those lines - is there anything currently active? many thanks.