Maybe what we need is intelligent code-editing software that inserts declarations as needed and queries the coder in cases where it's not able to deduce the coder's intent. It should be tuneable, like autocorrect features for text-editors. Or do modern code-editors already include such features? (Is it time to stop writing my C code in vi?) Jim On Monday, June 9, 2014, Warren D Smith <warren.wds@gmail.com> wrote:
Well, what is wrong with just declaring the types of all the variables, dammit?
Sure, maybe many of the types could be "deduced" without you declaring them, but I think forcing you to declare them clarifies thinking and makes the code easier to understand when reading it, at little cost, so this is a feature not a bug. It is like the "cast of characters" at the beginning of the script of a play. Sure, you could deduce it. Hah.
And if it is really turing undecidable, then at least sometimes, it is damned hard to make the deductions, proving the necessity of My Way.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com <javascript:;> https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun