Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's not so bad in Elixir for various reasons. Firstly, they're doing some work on set-theoretic types.

https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.h...

There's also tooling like dialyzer, and a good LSP catches a lot too. The language itself has some characteristics that catch errors too, like pattern matching and guard clauses.

With all that said, I'm still very keen for static typing. In the data world we mostly start with Python without mypy, and it's pretty hard to go back.



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

Search: