Agreed. While I think matz is a great language designer, I loved Alan Kay's philosophy. I'd like some language that is OOP centric in nature, fast, has an elegant syntax and learns from erlang's model (elixir isn't it unfortunately, but some ideas it got right).
If you want OOP than, yes, Elixir isn't it... maybe Pony? Curious what else you don't like about Elixir though besides not being OOP... it's definitely got messaging!
I don’t want OOP. I just want the language to include a system for imposing constraints that prevent entire categories of bugs and make it easier to safely do large scale refactoring.
It’s really hard to go back to living without this once you’re used to it.
Coq, Idris, et. al. are over there if that's what you really want, but there is probably good reason why no "real world" programs are written in languages with proper type systems.
For one, there's little ability to avoid message passing in our modern world. You can take it out of the language, but that just means pushing it to another abstraction (e.g. sockets), and all the same lack of type safety comes right back.
Literally the first sentence: More than half of the European Union’s (EU) electricity came from renewables in the second quarter of 2025, and solar is leading from the front.
Oh and in the past people had diseases whithout a vaccine and sometimes got immunity (and didn't straight up die), hence vaccines are not needed? The logic in this comment is poor.
reply