Beefy Boxes and Bandwidth Generously Provided by pair Networks
Keep It Simple, Stupid
 
PerlMonks  

Comment on

( #3333=superdoc: print w/ replies, xml ) Need Help??

Programmers will be necessary until someone solves the halting problem. The automatic programming problem (writing a program that writes programs for you) has been proven NP-complete.

Even then, programmers will be necessary, because what programmers really do is translate human assumptions into symbols that a computer can manipulate. OOP, declarative programming, functional programming, descriptive programming.. they're all just frameworks on which to arrange our thoughts. Perl, C, C++, Java, Lisp.. they're just collections of symbols and primitive operations that we hang on a particular framework.

The really hard part of programming is learning to think without contradicting oneself. When you tell a computer to contradict itself, it can extrapolate that contradiction into a database full of gibberish right smart quick. Humans, OTOH, are so good at dealing with ambiguity that we can hold self-contradictory opinions without ever noticing.

Human thought is by nature fuzzy and ill-defined. We can identify a bear well enough to run away from it, while we're still far enough away that running will work. We don't care about its exact weight, or how many hairs are in its pelt, because finding out has never been a major survival trait.

Computers, by contrast, are excruciatingly precise. the C code:

float x, y; x = 1; y = 1; if (x == y) { printf ("they match.\n"); } else { printf ("close, but no cigar.\n"); }
will fail as often as not, due to microscopic differences in the interpreted values of those two variables.

Programmers take ideas from the fuzzy, human, "oh crap, a bear!" realm, and polish them until they work in the meticulous, "can't tell if 1 really equals 1" computer realm.

That's not easy.

You can always find people who'll say that computers should be able to write programs that whatever we tell them we want, and in a sense, that's true. The problem is that most people don't know what they want well enough to explain it to another human, let alone a computer.

mike
.


In reply to Re: Re: (OT) Where is programming headed? by mstone
in thread (OT) Where is programming headed? by Ovid

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post; it's "PerlMonks-approved HTML":



  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • Outside of code tags, you may need to use entities for some characters:
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.
  • Log In?
    Username:
    Password:

    What's my password?
    Create A New User
    Chatterbox?
    and the web crawler heard nothing...

    How do I use this? | Other CB clients
    Other Users?
    Others making s'mores by the fire in the courtyard of the Monastery: (8)
    As of 2014-08-23 14:41 GMT
    Sections?
    Information?
    Find Nodes?
    Leftovers?
      Voting Booth?

      The best computer themed movie is:











      Results (174 votes), past polls