undefined | Better HN

0 pointsphtrivier7y ago0 comments

Purely anecdotal: our experience with Dialixir was rather disapointing (slow, lots of false positive, hard to express types coming from external libraries and generated code.)

Unfortunately, the tradeoff at the time made us stop using specs altogether.

0 comments

yawaramin7y ago

Surprised to hear about false positives, that's supposed to be impossible by the design of Dialyzer (it only reports provable type errors).

j / k navigate · click thread line to collapse

0 comments

yawaramin7y ago

Surprised to hear about false positives, that's supposed to be impossible by the design of Dialyzer (it only reports provable type errors).

j / k navigate · click thread line to collapse