>>"In reality, gradual typing ends up giving you the worst of both dynamic and static typing: you get the uncertainty and lack of safety (in dynamically typed contexts) of dynamic typing, and the cost of trying to fit your ideas into a statically typed type system. I also found that the use of gradual typing didn't actually make me more productive compared to using static typing."
The Elixir team didn’t get that memo because they are actively in the process of researching and working on a gradual type implementation.[1]
The Elixir team didn’t get that memo because they are actively in the process of researching and working on a gradual type implementation.[1]
[1] https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua...