Re: Term rewriting and denotation

Article View: comp.lang.functional

Article #321

Back to comp.lang.functional Previous Next

#321

From: Tom Duff
Date: Thu, 14 Jun 1990 14:31

15 lines
952 bytes

I read a bizarre interchange that starts
>This seems like an opportune time to put in a plug for the Primitive
>Recursive arithmetic
and ends
>What's an example of a function that is of real interest
>to a programmer, and that cannot be  expressed cleanly as a p.r. function.

The bizarre part is that people replying to this junk took
it seriously!

What are you people smoking?
Is your lisp interpreter primitive-recursive?
Is your UNIX kernel?
Is your X server?
Is your VAX microcode?

Technical Details

Message-ID: <10929@alice.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!dptg!ulysses!andante!alice!td

References: <15421@dime.cs.umass.edu> <GUTTMAN.90Jun12105623@darjeeling.mitre.org> <15548@dime.cs.umass.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!dptg!ulysses!andante!alice!td
From: td@alice.UUCP (Tom Duff)
Newsgroups: comp.lang.functional
Subject: Re: Term rewriting and denotation
Summary: Stop this insanity!
Message-ID: <10929@alice.UUCP>
Date: 14 Jun 90 14:31:13 GMT
References: <15421@dime.cs.umass.edu> <GUTTMAN.90Jun12105623@darjeeling.mitre.org> <15548@dime.cs.umass.edu>
Organization: AT&T Bell Laboratories, Murray Hill NJ
Lines: 15

Reply to Parent Message