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

> Dialyzer/dialyxyr typespecs are useless most of the time

I did Elixir for a year or so. I have to agree. I had to routinely jump up several layers of call sites to understand what I could do with the arguments.

Development where teams share stuff benefits so much from static types. For teams, the best I have experienced is Go.

The BEAM is great and all other systems are just partial and poor implementations of it, as they say. But k8s does a lot. If I could get typing that actually helped me, like in Go, Elixir would jump up my recommendation list



Worth pointing out typing is coming in rapidly, built into the compiler. It’s already doing some checks, and 1.19 is actively adding more. See: https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.h...




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

Search: