selectrix
selectrix copied to clipboard
ityonemo
Static Typechecker for Elixir
Happy New Year! After taking a bit longer than I expected updating zigler, I am back in the saddle on working on Selectrix. Over in mavis_inference land, I ran into...
I'm trying to understand this at a very high level. My current understanding is that upon compilation this will be able to uncover issues by inferring types "when it reasonably...
The declared typespec for the function is incorrect because: - one of the inputs is disjoint with its declared type - the return is disjoint with its declared type
two functions in the code are hooked up in such a way that the output type of one might conflict with the input type of the other.
two functions are hooked up in such a way that the output of one is guaranteed to cause an error in the other
the spec mismatches the function, either because: - one of the declared input types is overbroad - the declared output is overbroad - the declared output is underbroad
This is going to be a first stage system for doing this correctly, but probably there should be some sort of behaviour built into the messages itself to correctly pretty...