Re:What else are we getting wrong about programming languages?
by ZenoArrow on Sunday October 30, 2016 @07:08PM
(#12833065)
I don't know if such tools exist already, but it's conceptually similar to a linter, so perhaps you'll find something like this by investigating linters for languages with optional type annotations (such as Python).
EDIT: Found one for you:
Like tightening the bolts. This is a really interesting idea. I could also envision a utility wizard that you could run on a piece of code that could help guide you through making things more specific by asking you questions about the code. Are tools like this out there already? Like if you've defined a string and you run the utility it would ask: βIs this variable a number? Yes/No.β and then change to ensure it's a number in your source?