3 ms·
I'm surprised Erlang fits into that strict static model. I have thought it better to make a language that is typed from the get-go, that compiles to BEAM. Tha
by throwaway81523 4y ago
I'm surprised Erlang fits into that strict static model. I have thought it better to make a language that is typed from the get-go, that compiles to BEAM. That has been done at least a few times: Purescript has a BEAM back end, and there was something called Alpaca that is more ML-like.
- rkangel 4y agoThe leading contender for type safe languages on the BEAM at the moment seems to be Gleam: https://gleam.run/ https://gleam.run/ It's looking very promising Adding a type checker to Erlang does make some sense, in the same way that adding types to Python makes sense. It adds to the checking in areas where you're added types while allowing perfect interop with the rest of the world.