Will gradual typing allow Elixir to implement any new performance optimizations? Adding typing to dynamic languages like Elixir (or Python or Ruby) means developers pay a compile-time cost but still pay a runtime cost for the VM's dynamic type checking.