Re: Associativity paradox in functional expressions

Path	csiph.com!usenet.pasdenom.info!weretis.net!feeder4.news.weretis.net!nuzba.szn.dk!pnx.dk!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From	"Pascal J. Bourguignon" <pjb@informatimago.com>
Newsgroups	comp.lang.functional, comp.lang.lisp, comp.lang.scheme, comp.programming, comp.emacs
Subject	Re: Associativity paradox in functional expressions
Date	Tue, 06 Nov 2012 07:28:47 +0100
Organization	Informatimago
Lines	30
Message-ID	<87ip9j8ctc.fsf@informatimago.com> (permalink)
References	<8120f97b-15c2-4ce8-827a-158e955fb73f@z2g2000yqj.googlegroups.com> <9972e570-2504-4401-8de8-49eb1929fdfd@c17g2000yqe.googlegroups.com> <87pq3wqftc.fsf@voyager.informatimago.com> <3dd68e98-9889-4287-a352-3c7c25a3284e@d17g2000vbv.googlegroups.com> <87liejml8j.fsf@informatimago.com> <e2187fc0-9ccf-4fb8-8f1f-afd7df99964f@x21g2000vbg.googlegroups.com>
Mime-Version	1.0
Content-Type	text/plain; charset=utf-8
Content-Transfer-Encoding	8bit
X-Trace	individual.net Piyn4m2DRbnhsyBAZ1mdqgww+WqKTP9HEDXp/6RuwSH//5kzug2xXv9KKPqGKHySIm
Cancel-Lock	sha1:M2JjZGQ3NGIzYzljYTQxOWY0MTYzYjQ3OTFhOTU5ZjhiNTZhYzJhZg== sha1:9TD083nMunF5BWMc7yMuEJ78ksE=
Face	iVBORw0KGgoAAAANSUhEUgAAADAAAAAwAQMAAABtzGvEAAAABlBMVEUAAAD///+l2Z/dAAAA oElEQVR4nK3OsRHCMAwF0O8YQufUNIQRGIAja9CxSA55AxZgFO4coMgYrEDDQZWPIlNAjwq9 033pbOBPtbXuB6PKNBn5gZkhGa86Z4x2wE67O+06WxGD/HCOGR0deY3f9Ijwwt7rNGNf6Oac l/GuZTF1wFGKiYYHKSFAkjIo1b6sCYS1sVmFhhhahKQssRjRT90ITWUk6vvK3RsPGs+M1RuR mV+hO/VvFAAAAABJRU5ErkJggg==
X-Accept-Language	fr, es, en
User-Agent	Gnus/5.13 (Gnus v5.13) Emacs/23.4 (darwin)
Xref	csiph.com comp.lang.functional:448 comp.lang.lisp:11964 comp.lang.scheme:1131 comp.programming:2473 comp.emacs:1618

Cross-posted to 5 groups.

Show key headers only | View raw

Rivka Miller <rivkaumiller@gmail.com> writes:

> Are you saying that the Late Dr McCarthy, after thinking of lisp in
> terms of lambda calculus (and its associated currying), nevertheless
> implemented it in terms of variadic non-curried functions? Thus the
> turing machine replacement that lambda calculus is supposed to be,
> does not need any currying to be a replacement of turing machine - in
> the sense of computability?

Yes.  John McCarthy didn't understand lambda calculus at the time. He
just used the lambda notation for his functions, but they differed
greately, notably  in that he used dynamic binding instead of lexical
binding.


> How would the "(funcall g g n)"  and  "(funcall f f (1- n))" in the
> function advanced by the OP supposed to be associated if currying were
> available?
>
> ((lambda(g n) (funcall g g n))
>  (lambda(f n)
>    (if (zerop n) 1
>      (* n (funcall f f (1- n)))))
>  4 )

Well, in lisp there are parentheses to imply the order of evaluation…

-- 
__Pascal Bourguignon__
http://www.informatimago.com

Thread

Associativity paradox in functional expressions Totaram Sanadhya <swami.totaram.sanadhya@gmail.com> - 2012-10-30 16:40 -0700
  Re: Associativity paradox in functional expressions Totaram Sanadhya <swami.totaram.sanadhya@gmail.com> - 2012-10-31 00:24 -0700
    Re: Associativity paradox in functional expressions Barb Knox <see@sig.below> - 2012-10-31 21:14 +1300
      Re: Associativity paradox in functional expressions Totaram Sanadhya <swami.totaram.sanadhya@gmail.com> - 2012-10-31 10:34 -0700
        Re: Associativity paradox in functional expressions Dirk Thierbach <dthierbach@usenet.arcornews.de> - 2012-10-31 23:36 +0100
          Re: Associativity paradox in functional expressions "WJ" <w_a_x_man@yahoo.com> - 2012-10-31 23:27 +0000
            Re: Associativity paradox in functional expressions Barb Knox <see@sig.below> - 2012-11-01 16:51 +1300
    Re: Associativity paradox in functional expressions Nils M Holm <news2009@t3x.org> - 2012-10-31 09:21 +0000
    Re: Associativity paradox in functional expressions "Pascal J. Bourguignon" <pjb@informatimago.com> - 2012-11-02 14:45 +0100
      Re: Associativity paradox in functional expressions Rivka Miller <rivkaumiller@gmail.com> - 2012-11-02 18:59 -0700
        Re: Associativity paradox in functional expressions "Pascal J. Bourguignon" <pjb@informatimago.com> - 2012-11-03 04:14 +0100
          Re: Associativity paradox in functional expressions Rivka Miller <rivkaumiller@gmail.com> - 2012-11-05 16:53 -0800
            Re: Associativity paradox in functional expressions "Pascal J. Bourguignon" <pjb@informatimago.com> - 2012-11-06 07:28 +0100
              Re: Associativity paradox in functional expressions Barb Knox <see@sig.below> - 2012-11-08 17:35 +1300
                Re: Associativity paradox in functional expressions Aatu Koskensilta <aatu.koskensilta@uta.fi> - 2012-11-08 07:42 +0200
                Re: Associativity paradox in functional expressions "Pascal J. Bourguignon" <pjb@informatimago.com> - 2012-11-08 21:47 +0100
                Re: Associativity paradox in functional expressions Barb Knox <see@sig.below> - 2012-11-10 15:13 +1300

csiph-web