Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl: the Markov chain saw
 
PerlMonks  

Re^7: Unparseability is A Good Thing

by Zen (Deacon)
on Aug 28, 2009 at 15:46 UTC ( #791944=note: print w/replies, xml ) Need Help??


in reply to Re^6: Unparseability is A Good Thing
in thread Unparseability is A Good Thing

This is true of any language, though. Consider a function pointer in C. You can prototype all day long, but what if your prototype leads to a function pointer that gets borked partway through and you get a dump? What about NullPointerException in Java? This is all halting problem material, too. This isn't a perl issue. Part of the turing machine in models of computation is the tape and the read head; nowhere does it say that the Turing machine is omniscient of the entire input stream.

Am I the only one unimpressed?

As for reference material, I often wrongly assume everyone went through comp sci. I did undergrad and grad modcomp from two different- but now out of print- textbooks. There are different books now, such as the one by Michael Sipser (Introduction to the Theory of Computation) that should cover computability theory, turing machines, and automata.

If it matters any, I remember /facepalm'ing many times through both of those courses at how obvious and unimpressive it was, just formalizations and proofs of what you already (probably) know.

Replies are listed 'Best First'.
Re^8: Unparseability is A Good Thing
by ikegami (Pope) on Aug 28, 2009 at 16:00 UTC

    but what if your prototype leads to a function pointer that gets borked partway through

    Sounds like you're talking about bugs, resource problems and other real-world considerations. Those are implementation issues, not algorithmic issues, and determinism is a property of algorithms.

    So yes, those are irrelevant. I never said they were.

    As for reference material, I often wrongly assume everyone went through comp sci.

    I have a B.CS. The course in which this was taught had a very boring teacher. I needed a booster.

      Bugs, yes, but also parseability problems by your definition. If the parser cannot be expected to compute bad programming in the C example due to execution details, how can it be expected to in perl or any language?

      I am convinced all mod comp courses are snoozefests. It's like being taught the identity property in middle school and gritting your teeth at how obvious it all is. Yet the textbook costs over $100- people get paid for this!

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://791944]
help
Chatterbox?
[Corion]: Meh. I need to find myself a better "programming" feed than r/programming (which is just HackerNews reposts and advertisements, very little code). Maybe I should select a list of links that I liked on r/programming and then google for ...
[Corion]: ... an aggregator site that also listed (ideally) all of these links once. And maybe also have an exclude list to blacklist some of the most spammy links that the site may have never mentioned at all
[marto]: I gave up reading HN at all, and feel much better for it :P
[Corion]: Now, how to best automate that Google search ... :-)
[Corion]: marto: Yeah, I'm also short of not reading it at all. I already stopped reading it in the morning because it gave me a foul mood.
[Corion]: The good posts on HN are the non-computing posts. Most of the other stuff is maybe relevant to you if you are 20 and live in Silicon Valley...
[Corion]: Two attributes that don't describe me.
[Corion]: Maybe I should also write a curator for HN or simply not read it anymore, like you do.

How do I use this? | Other CB clients
Other Users?
Others cooling their heels in the Monastery: (8)
As of 2017-07-24 13:24 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    I came, I saw, I ...
























    Results (354 votes). Check out past polls.