My only concern is it won’t be optional because I’d rather not use it.
To elaborate.. Prior to Elixir I used to be all about strong typed languages. Within days of using it, I realized that Elixir does not need strong typing. I learned to appreciate Elixir’s minimalism and readability that typed languages can’t have.
In my view a clear-cut separation of typing as it is done with typespecs is just fine while any mandatory typing would make the code less readable.
Therefore, whatever you do, please, make it optional.
Thanks
@josevalim
Maybe we better ask why thinking of a typing system in the first place.
What Elixir bought me with was its efficiency, but what kept me with it was its intrinsic beauty (and efficiency :))
In C++ I used to spend 80% of the time describing what should not happen (what the user cannot do with my constructs). In Elixir I spend 100% of the time on what should happen. Please, do not spoil that.
