Looks similar
Elixir v1.20: Now a gradually typed language(elixir-lang.org)
959 points by cloud8421 | 377 comments
Official Elixir blog post by José Valim announcing Elixir v1.20, which adds type inference and gradual type checking to every Elixir program without annotations.






