3 ms·
Is Elixir/Erlangs Dyalizer/Dyalixir similar to Clojure's spec? I'd very much like to read more on this topic, but because my knowledge of type systems pretty m
by mercer 8y ago
Is Elixir/Erlangs Dyalizer/Dyalixir similar to Clojure's spec?
I'd very much like to read more on this topic, but because my knowledge of type systems pretty much started with, and is limited to TypeScript, I don't know what to ask specifically. Have you written anything about this, or could you point me to any articles that discuss this difference?
Basically, I've become convinced that TypeScript, at least for anything nontrivial, is worth using over just JavaScript. There's nothing like it in the Elixir world, but I've been meaning to check out Dialyzer because I do sometimes miss what TypeScript offers.
- yogthos 8y agoDyalizer is more of a linter from my understanding. Instead of aiming for formal correctness it looks for cases that are obviously incorrect instead. Meanwhile, the goal of Spec is to provide the ability to specify runtime contracts for what the code is meant to be doing. I think that both approaches compliment each other in practice. I don't know any articles comparing the two though.