Hacker News new | past | comments | ask | show | jobs | submit login

Debatable in practice, given the lack of a type system that actually enforces checks -- Dialyzer's even less complete, not to mention its poor error messages.

Elchemy, Alpaca, and Gleam try bringing static typing to the BEAM, but they're still too immature, unfortunately.




Agreed, but even with the above issues, Dialyzer still gives you, let's say, more than 50% of what you'd be getting with an ML-like type system.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: