Elixir支持動態類型和靜態類型檢查的方式是通過Pattern Matching和Dialyzer。
在Elixir中，可以使用Pattern Matching來確保數據的正確類型。Pattern Matching允許您在匹配模式時根據值的類型執行不同的邏輯。
另外，Elixir還可以使用Dialyzer這個靜態類型檢查工具來幫助開發者檢查代碼中的類型錯誤。Dialyzer可以在編譯時分析代碼，并檢查是否存在類型錯誤或潛在的錯誤。
通過結合使用Pattern Matching和Dialyzer，Elixir可以支持動態類型和靜態類型檢查，幫助開發者編寫更加健壯和可靠的代碼。
