sorry I can't remember where I read it. one quote I found: Q: "Erlang is currently a dynamically typed language. Are you saying you would like some static typ

sorry I can't remember where I read it. one quote I found: Q: "Erlang is currently a dynamically typed language. Are you saying you would like some static type as optional typing or both, or would you change the nature of Erlang to static typing?" A: "No, I wouldn't change it, but I would like subdomains where it is statically typed. You could actually encapsulate parts in statically typed." So it sounds like he stands by dynamic as the correct choice for Erlang, although not all of the time.