Replies: 2 comments
-
I think that the first example could yield false positives. I recommend to avoid magic stuff as much as possible and instead be explicit. My 2 cents. |
Beta Was this translation helpful? Give feedback.
0 replies
-
I am sure you could implement that using plugins. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Just a thought about type inference...
Sometimes it feels redundant to annotate the type for a function when it might seem obvious. I wonder if, in a system like this, a user could supply type "matchers" or "hints" to let the type inference system have a better guess about an unannotated type.
In this example a new keyword "typematcher" might tell the system that a parameter named "circ" or "circle" may be of type "circle".
Another example ...
Beta Was this translation helpful? Give feedback.
All reactions