6 ms·
I love the developer-friendliness of Elixir syntax and the robustness + power of the Erlang VM. However, I really miss the type system and cool mathy things of
by yewenjie 5y ago
I love the developer-friendliness of Elixir syntax and the robustness + power of the Erlang VM. However, I really miss the type system and cool mathy things of Haskell (eta reduction for example).
Is there a language on the BEAM that has strong functional features of Haskell?
- juicypt 5y agoHere's an interesting effort in creating an Ocaml for the BEAM VM: https://github.com/AbstractMachinesLab/caramel https://github.com/AbstractMachinesLab/caramel It's still pretty new though, so I don't know how well it works just yet.
- chrischen 5y agoGleam is already pretty close to ocaml.
- ch4s3 5y agoThere's Purerl[1] which is purescript erlang backend. [1]https://github.com/purerl/purerl https://github.com/purerl/purerl
- throwaway894345 5y agoCan you elaborate on the benefits of the BEAM? I'm of the impression that Erlang's robustness is largely a property of its use of supervision trees (OTP?) rather than the VM directly? What exactly does the VM do that makes it better than other kinds of VMs?
- lpil 5y agoThe supervision trees require a few features of the VM that are hard to replicate in other runtimes. Links and process isolation being the main ones. Robustness aside the BEAM has other nice properties such as the concurrency model, the concurrent and predictably low latency GC, and it's distributed and parallel computing features.