Programming language snark

Mar 11, 2010 19:25

Some languages have precise definitions, which let people (and compilers) reason about what a program means. These definitions are called formal semantics ( Read more... )

humor, plt, geekery

Leave a comment

Comments 5

(The comment has been removed)

metageek March 12 2010, 14:13:46 UTC
Yeah, maybe I should stop writing programs in English.

Reply


(The comment has been removed)

metageek March 12 2010, 14:16:37 UTC
What's "stationarity of function"?

Reply

(The comment has been removed)

metageek March 12 2010, 16:07:21 UTC
Ah, right.

Even C can have trouble with this. You can't define new functions, but you change the value of a function pointer-and calling through a function pointer looks just the same, syntactically, as a regular function call.

Reply


siderea March 12 2010, 18:09:35 UTC
"Some languages have precise definitions--"
Oh this is gonna be a perl snark, isn't it?
*pagedown*
OH I KNEW IT.

Reply

metageek March 12 2010, 18:10:35 UTC
Insert applause here. :-)

Reply


Leave a comment

Up