What guarantees does Gleam's type system provide when decoding dynamic Erlang terms at runtime?
Context Gleam's static type system provides strong compile-time guarantees for code written entirely within the language. However, interoperability with the Erlang ecosystem inevitably requires decoding untyped Dynamic values received from Erlang processes, ports, or NIFs. Goal Understand the exact safety boundaries when using gleam/dynamic to decode externa
gleam