4 ms·
A little disappoint that it doesn't have message passing, one of the most powerful weapons of the Erlang family. But the language looks clean and neat. I can un
by mshockwave 6y ago
A little disappoint that it doesn't have message passing, one of the most powerful weapons of the Erlang family. But the language looks clean and neat. I can understand it within couple of minutes
- macintux 6y agoPeople have been trying for, IIRC, 15+ years to add a full-fledged type system to Erlang, and the distributed nature keeps defeating them. This problem may never be solved.
- brightball 6y agoAt some point, I think it has to be accepted in the same way that we accept that REST APIs aren’t typed.
- virtualwhys 6y agoSee Akka Typed (based on the Actor model) for an example of typed message passing in a distributed system. Not sure what compromises were made, but it was a sore point for users of the library for years to throw around untyped messages when the host language (Scala) provided such a powerful type system.
- lpil 6y agoAkka Typed is not capable of expressing everything Erlang's OTP commonly does I'm afraid, so it's not a complete solution here. We do however have typed message passing libraries in Gleam that are in part inspired by Akka Typed.
- maxmcd 6y agoThere seems to be some work on that here: https://github.com/gleam-experiments/otp_process https://github.com/gleam-experiments/otp_process
- lpil 6y agoIt does have message passing, just implemented as a library rather then as a core language feature.