Advanced typing and type validation mechanism for Elixir - runtime type checking and contract enforcement for BEAM applications
productivity elixir otp validation functional-programming beam static-analysis typing erlang-vm contracts type-safety type-checking type-system type-inference type-annotations development-tools gradual-typing static-typing runtime-validation
-
Updated
Oct 8, 2025 - Elixir