Why Can t Erlang And Elixir Have Stronger Types

Erlang and Elixir both support type annotation but the type system is not nearly as robust as it is in say Elm or Haskell. Why is that and what design goals would be lost in order to create that support. . . . . If you would like my help getting started with Elixir or Erlang feel free to book a time to talk to me https://calendly.com/zkessin/elixir. . To Suggest ideas for Videos: https://goo.gl/forms/nnUH2HBvOHbzsVuu2 . . Follow me on twitter https://twitter.com/zkessin. LinkedIn: https://www.linkedin.com/in/zacharykessin/