🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #2759

Re: On whether Dan has first-class composable functions

#2759
From: Ozan Yigit
Date: Thu, 07 Feb 1991 16:53
37 lines
2263 bytes
In article <12547:Feb621:05:4491@kramden.acf.nyu.edu> Daniel J. Bernstein
writes some more:

>Just because the C standard calls certain language objects ``functions''
>doesn't mean that it's impossible to implement functions that don't have
>the same restrictions as those objects.

This discussion has been about those certain language objects (in C)
called ``functions'' from the very start. [1] Do you understand this?
As for implementing C' or C+= or whatever that does not have the same
restrictions on those objects (``functions'') as does C: I think that
would be rather interesting.

>As a matter of fact, it's not only possible, it's trivial.

Just because you have a trivial solution to some problem does not mean
it is the solution to the problem at hand, nor does it imply a correct
solution to said problem is trivial.

>The things that my implementation produced were not C functions, but
>they were full-fledged functions in all respects.

No, they were not C functions, therefore unlike other attempts, they were
[and still are] irrelevant to the discussion.

>		... the problem before was that some people didn't
>like how I said ``C has first-class composable functions'' to mean
>``first-class functions can be implemented in C.''

Actually, some people objected to the absurd re-definition of ``has'' to
bring some legitimacy to your misunderstanding [1] of the topic, or to
belabor the obvious. We have noted that by that amusing re-definition,
C ``has'' Fortran. Furthermore, given that one can program an obnoxious
conversationalist that misunderstands everything that does not match its
limited and mis-initialized dictionary, we can also say C ``has'' Dan.

oz
Technical Details
Message-ID: <21642@yunexus.YorkU.CA>
Path: arc1-ca.pugleaf.net!utzoo!mnetor!tmsoft!torsqnt!lethe!yunexus!oz
References: <1991Feb5.144815.23239@spool.cs.wisc.edu> <1234:Feb520:27:2391@kramden.acf.nyu.edu> <1991Feb6.161639.18311@spool.cs.wisc.edu> <12547:Feb621:05:4491@kramden.acf.nyu.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!mnetor!tmsoft!torsqnt!lethe!yunexus!oz
From: oz@yunexus.yorku.ca (Ozan Yigit)
Newsgroups: comp.lang.misc
Subject: Re: On whether Dan has first-class composable functions
Message-ID: <21642@yunexus.YorkU.CA>
Date: 7 Feb 91 16:53:00 GMT
References: <1991Feb5.144815.23239@spool.cs.wisc.edu> <1234:Feb520:27:2391@kramden.acf.nyu.edu> <1991Feb6.161639.18311@spool.cs.wisc.edu> <12547:Feb621:05:4491@kramden.acf.nyu.edu>
Sender: news@yunexus.YorkU.CA
Organization: York U. Communications Research & Development
Lines: 37