4 ms·
What I would really like to see is a statically typed language on top of the Erlang VM (dialyzer was not amazing last time I checked it, which was admittedly ye
by uh_uh 6y ago
What I would really like to see is a statically typed language on top of the Erlang VM (dialyzer was not amazing last time I checked it, which was admittedly years ago).
- ricketycricket 6y agoGleam exists: https://gleam.run/ https://gleam.run/
- uh_uh 6y agoI'm looking at this now, thanks! Should have Google'd before typing.
- ff_ 6y agoAre you aware of PureScript on Erlang? https://github.com/purerl/purerl https://github.com/purerl/purerl
- uh_uh 6y agoI wasn't, thanks!
- ritchiey 5y agoYou can also compile OCAML/ReasonML to Erlang. https://caramel.run/ https://caramel.run/
- deleted 5y ago[deleted]
- Joker_vD 5y agoDialyzer is such a weird beast, it's overly optimistic IMO. We have code that almost literally is -record(outside_error, { reason :: term() }). -record(inside_error, { reason :: binary() }). -spec to_inside_error(#outside_error{}) -> #inside_error{}. to_inside_error(#outside_error{reason = Reason}) -> #inside_error{reason = Reason}. and it typechecks just fine. I mean, yeah, we actually always used to have binaries in #outside_error—until now. Now we've started to sometimes pass a map in it. And so, somewhere down the line calls to unicode:binary_to_characters/1 suddenly start crashing because a map is not a binary, duh, but! it all still typechecks. Amazing.