I have read a lot of text about function type definitions, though what I am missing here is, will there be a way to deal with variable types?
I like to have variables in my functions, that collect the result of the type and I want to be able to “declare” them a Conn.t() or pos_interger() early, rather than relying on a type error when I pass it to the next function.
This is especially helpful if you have many intermediate results.
# imaginary syntax, the final result, if at all, will probably not be "inline"
seven $ int = 5 + 2.0
six = dec(seven)
This code should show me an error at assigning seven, not when calling dec/1.
Also, is there a branch/PR/issue we can track on GitHub for progress or playing around?
