Joe Armstrong, RIP, also stated they tried to add type to Erlang later on but gave up.