Pure aside from the Gleam discussion, but this is exactly where multiple structs + protocols fit in for Elixir for me. It’s actually pretty intuitive to represent in Elixir even if you can’t do it via complicated type invariants. One struct per implementation and polymorphic behaviour by protocol, even if all that behaviour is is a validation pass + post-parse conversion into a known good common struct type.

Not ever starting a flame war either but I don’t see why would I abandon a well-maintained ecosystem like Elixir’s for a new language. I am a sucker for Rust so Gleam I loved trying but of course having to invent much of the goodies in the ecosystem – or waiting for somebody else to do it – was, and likely still is, a deal-breaker.

I am no longer the early adopter type. Plenty of other people to take up the torch.

I wish Gleam – and every stricter language really – best of luck. They really do need it, especially in the age of LLMs.

The gap for me is the type system. Gleam type system is so damn good. Very simpler and catch most of the errors that I usually face, even on languages like Elixir. I do hope that the new type system in Elixir cover this gap.