220 13982 article Path: news.gmane.org!not-for-mail From: Richard Smith Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Comment on N4191 - Folding expressions (Sutton, Smith) Date: Fri, 17 Oct 2014 09:30:44 -0700 Lines: 65 Approved: news@gmane.org Message-ID: References: Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=089e01293f8a04763f0505a0e37c X-Trace: ger.gmane.org 1413563455 6816 80.91.229.3 (17 Oct 2014 16:30:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 17 Oct 2014 16:30:55 +0000 (UTC) Cc: irrequietus@gmail.com To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDVNBJG4YAIBBNMIQWRAKGQEMJVLF4Q@isocpp.org Fri Oct 17 18:30:48 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ie0-f199.google.com ([209.85.223.199]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XfAQR-0007Qp-IL for gclcip-std-proposals@m.gmane.org; Fri, 17 Oct 2014 18:30:47 +0200 Original-Received: by mail-ie0-f199.google.com with SMTP id rd18sf4308196iec.10 for ; Fri, 17 Oct 2014 09:30:46 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:date :message-id:subject:from:to:cc:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe:content-type; bh=4W8aXGxwnPYpvkaD2LMuPvHVaxIwMuQxz1RCGeDCenU=; b=TvcoUh/1BgaSBLpCqk7Y/d022IpcRi4GuCVK41I+wlvJsZC4v5FMQK5eF8UjKRARGZ QY3OpawDou/gX5ot1ZlEeDxZpFQyzOhwFoWunYKqrrhA22iRArzrtFc/ZByo8uOqCI/u KLdsMSAZI3EYy5Ceik0DGmp1y57Y3t2iuf8SuhrXoqoaW4nA+OFkc8Xrxe5RGDu2J76s dI4dHejVV3AV1lvZ3hjguH+wxPWt00817PSnkPNgYaBTGT4I6Kbf+dIyGQ35bUvR8Fs+ 4UryO9ntk/cxhHltLOR+AGJwXGwIJBJuaLZ4wzW76KO9Jv8AZESAIN73k3QlziBhjYds btXw== X-Gm-Message-State: ALoCoQmWwe290rKt3wGJxSorvTU5ydUhrRgwrTu3PovAXkDQDJu8ic1+SR2/C997bSW+IPfA0pjf X-Received: by 10.42.73.133 with SMTP id s5mr8845050icj.32.1413563446659; Fri, 17 Oct 2014 09:30:46 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.140.19.111 with SMTP id 102ls1236871qgg.61.gmail; Fri, 17 Oct 2014 09:30:45 -0700 (PDT) X-Received: by 10.220.76.71 with SMTP id b7mr1639603vck.55.1413563445800; Fri, 17 Oct 2014 09:30:45 -0700 (PDT) Original-Received: from mail-vc0-x229.google.com (mail-vc0-x229.google.com. [2607:f8b0:400c:c03::229]) by mx.google.com with ESMTPS id cd1si1004465vcb.57.2014.10.17.09.30.45 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 17 Oct 2014 09:30:45 -0700 (PDT) Received-SPF: pass (google.com: domain of metafoo@gmail.com designates 2607:f8b0:400c:c03::229 as permitted sender) client-ip=2607:f8b0:400c:c03::229; Original-Received: by mail-vc0-f169.google.com with SMTP id hy4so872833vcb.28 for ; Fri, 17 Oct 2014 09:30:45 -0700 (PDT) X-Received: by 10.220.123.3 with SMTP id n3mr1709878vcr.46.1413563445178; Fri, 17 Oct 2014 09:30:45 -0700 (PDT) Original-Sender: metafoo@gmail.com Original-Received: by 10.220.65.138 with HTTP; Fri, 17 Oct 2014 09:30:44 -0700 (PDT) Original-Received: by 10.220.65.138 with HTTP; Fri, 17 Oct 2014 09:30:44 -0700 (PDT) In-Reply-To: X-Original-Sender: richard@metafoo.co.uk X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of metafoo@gmail.com designates 2607:f8b0:400c:c03::229 as permitted sender) smtp.mail=metafoo@gmail.com; dkim=pass header.i=@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:13982 Archived-At: --089e01293f8a04763f0505a0e37c Content-Type: text/plain; charset=UTF-8 On 17 Oct 2014 04:50, "Markus Grech" wrote: > > In functional languages, the initial value of a fold can be specified by the user. Why does the proposal mandate a specific value? Is there anything that prevents the following syntax: > (args + ... 0) // foldl args (+) 0 > (0 ... + args) // foldr args (+) 0 > Would this work? That is already in the proposal (with a very slightly different syntax). > -- > > --- > You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. > To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. > To post to this group, send email to std-proposals@isocpp.org. > Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/. -- --- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/. --089e01293f8a04763f0505a0e37c Content-Type: text/html; charset=UTF-8


On 17 Oct 2014 04:50, "Markus Grech" <markus.grech@gmail.com> wrote:
>
> In functional languages, the initial value of a fold can be specified by the user. Why does the proposal mandate a specific value? Is there anything that prevents the following syntax:
> (args + ... 0) // foldl args (+) 0
> (0 ... + args) // foldr args (+) 0
> Would this work?

That is already in the proposal (with a very slightly different syntax).

> --
>
> ---
> You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
> To post to this group, send email to std-proposals@isocpp.org.
> Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.
--089e01293f8a04763f0505a0e37c-- .