News for hackers. Stuff that matters.
Re:What else are we getting wrong about programming languages? by err4nt on Sunday October 30, 2016 @05:58PM (#12832618)
> 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?

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:

http://mypy-lang.org/