Idris really, really interests me but felt so hard to build nontrivial programs with it. But it felt like a limitation of me, not the language. This explains a bit of where Elixir has gotten, that seems to swing for the middle ground youre speaking of https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.html
Comments
thanks for the link! that does seem pretty cool!