Still, it was a suggestion.
I watched a sentence “I solved something about colon” for a while. I think you missed about my word “To Solve” - for me, to have a mathematical solution. “To Learn” - to have something from the manual.
Maybe I have the use of words of mathematician, you have the ones of logician. I solved something about colon, it means, I worked with it’s mathematical rule, I did not analyze the cases of it’s logic.
I think to solve a mathematical rule means, to solve something about this syntax, not the cases it has.
To solve the cases it has, it is rather logical, I think it really has the cases you described.
julia> 22im < 23im
ERROR: MethodError: no method matching isless.
Do you see it sees it is not mathematically provable, which one is less, given this operator means mathematical is less operator, or do you see no method is implemented for this operator?
Do you want to implement is less operator on your own, or do you want to go on with mathematics of this operator?
In manual, do you see mathematics is written there, or the disassembled bytecode?
Are you happy if your code works as if it works or if it follows the meanings as defined?
Maybe I would say combine where you say solve?Or, what is the difference between HTML 2.0 <i> and <cite> tags