4 ms·
> That way you could start with something quick and dirty for a prototype and then gradually lock it down through progressive iterations. Like tightening the b
by err4nt 10y ago
> That way you could start with something quick and dirty for a prototype and then gradually lock it down through progressive iterations.
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?
- ZenoArrow 10y agoI 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: http://mypy-lang.org/ http://mypy-lang.org/