Re: Associativity paradox in functional expressions

Path	csiph.com!usenet.pasdenom.info!news.albasani.net!feeder.erje.net!eu.feeder.erje.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From	Nils M Holm <news2009@t3x.org>
Newsgroups	comp.lang.functional, comp.lang.lisp, comp.lang.scheme, comp.programming, comp.emacs
Subject	Re: Associativity paradox in functional expressions
Followup-To	comp.lang.scheme
Date	31 Oct 2012 09:21:23 GMT
Organization	TARFU
Lines	30
Message-ID	<afc8sjF9b44U1@mid.individual.net> (permalink)
References	<8120f97b-15c2-4ce8-827a-158e955fb73f@z2g2000yqj.googlegroups.com> <9972e570-2504-4401-8de8-49eb1929fdfd@c17g2000yqe.googlegroups.com>
X-Trace	individual.net 5trZe9BPC/NcGr3h/YZrcAalPNJlxPymVj0QFbiqPvzNAYNaxghLuYmZ7xIDlzj5WF
X-Orig-Path	not-for-mail
Cancel-Lock	sha1:XV9JHrTn5HtfNUKpHW8/PhmP1dg=
User-Agent	tin/1.8.3-20070201 ("Scotasay") (UNIX) (FreeBSD/8.2-RELEASE (i386))
Xref	csiph.com comp.lang.functional:429 comp.lang.lisp:11838 comp.lang.scheme:1104 comp.programming:2413 comp.emacs:1600

Cross-posted to 5 groups.

Followups directed to: comp.lang.scheme

Show key headers only | View raw

In comp.lang.scheme Totaram Sanadhya <swami.totaram.sanadhya@gmail.com> wrote:
> On the one hand the elements of a list such as (a b c d) are right
> associative
> 
> (cons 'a (cons 'b (cons 'c (cons 'd nil))))    C-x C-e
> 
> ==> (a b c d)
> 
> On the other hand a curried function such as (f x y z) is left
> associative by definition
> 
> (...(f x) y) z)
> 
> How do you resolve this paradox?

It depends.

How do you obtain the curried F in the above expression?

What is (curry (curry cons x) y) supposed to give?

What exactly is the paradox?

Maybe, it would be helpful if you posted some code that
demonstrates what you are trying to do.

F'up-To: comp.lang.scheme

-- 
Nils M Holm  < n m h @ t 3 x . o r g >  www.t3x.org

Thread

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 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