Path: news.eternal-september.org!eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups: comp.lang.c
Subject: Re: technology discussion =?UTF-8?Q?=E2=86=92?= does the world need
 a "new" C ?
Date: Thu, 11 Jul 2024 10:02:04 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <20240711030106.779@kylheku.com>
References: <v66eci$2qeee$1@dont-email.me> <v6ard1$3ngh6$4@dont-email.me>
 <v6b0jv$3nnt6$1@dont-email.me> <87h6d2uox5.fsf@nosuchdomain.example.com>
 <v6d779$6rk5$2@dont-email.me> <v6e76u$c0i9$1@dont-email.me>
 <v6esqm$fian$2@dont-email.me> <v6f7vg$hgam$1@dont-email.me>
 <20240707164747.258@kylheku.com> <v6gl83$s72a$1@dont-email.me>
 <v6h8ao$ur1v$1@dont-email.me> <v6jhk3$1drd6$1@dont-email.me>
 <v6jiud$1dsjb$1@dont-email.me> <877cdur1z9.fsf@bsb.me.uk>
 <v6joi4$1epoj$1@dont-email.me> <871q42qy33.fsf@bsb.me.uk>
 <v6k6i0$1h4d3$1@dont-email.me> <87ed82p28y.fsf@bsb.me.uk>
 <v6m03l$1tf05$1@dont-email.me> <87r0c1nzjj.fsf@bsb.me.uk>
 <v6m716$1urj4$1@dont-email.me> <86ikxd8czu.fsf@linuxsc.com>
 <20240710201454.0000527e@yahoo.com> <v6mnch$21n94$1@dont-email.me>
 <20240711111357.00007712@yahoo.com> <20240711012852.856@kylheku.com>
 <20240711121502.0000614e@yahoo.com>
Injection-Date: Thu, 11 Jul 2024 12:02:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1c1b3c01db2e58828e57902abb355a3e";
	logging-data="2539091"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+KEj2cxtUyCR3v+l8u73I3samu98BFD/A="
User-Agent: slrn/pre1.0.4-9 (Linux)
Cancel-Lock: sha1:hjdO9kvVtAT+rwqbd4sGjNTzPKg=

On 2024-07-11, Michael S <already5chosen@yahoo.com> wrote:
> 
>> With a C-like typedef, we can declutter the definition of mutiplier:
>> 
>>   typedef int (*int_int_fn)(int);
>> 
>>   int_int_fn multiplier(int coefficient) {
>>      return lambda(int x) int {
>>         return coefficient * x;
>>      }
>>   }
>> 
>
> Thank you.
> Your example confirms my suspicion that the difference between first
> and second class of functions doesn't become material until language
> supports closures.

It sort of becomes half-material when the language supports
downward-funarg-only closures, like Pascal and GNU C,
where our lambda is good as long as multiplier doesn't exit.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca