220 4613 <87d2sd5k77.fsf@euclid.axiomatics.org> article Path: news.gmane.org!not-for-mail From: Gabriel Dos Reis Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Changing lambda scope Date: Sun, 26 May 2013 19:40:28 -0500 Organization: axiomatics.org Lines: 31 Approved: news@gmane.org Message-ID: <87d2sd5k77.fsf@euclid.axiomatics.org> References: <90375ba5-8005-47da-9e84-eee151d0ba0a@isocpp.org> <2e120ca5-740b-4301-8a32-8ac5035fa108@isocpp.org> <0df9d0d8-a752-4841-ba02-54780590f722@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1369615232 29406 80.91.229.3 (27 May 2013 00:40:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 May 2013 00:40:32 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCSYNQUB2UHRB7WWRKGQKGQEC7VRDCA@isocpp.org Mon May 27 02:40:32 2013 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ob0-f200.google.com ([209.85.214.200]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UglUG-000156-8u for gclcip-std-proposals@m.gmane.org; Mon, 27 May 2013 02:40:32 +0200 Original-Received: by mail-ob0-f200.google.com with SMTP id ef5sf28245082obb.7 for ; Sun, 26 May 2013 17:40:31 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-beenthere:from:to:subject:in-reply-to:organization:references :sender:date:message-id:lines:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type; bh=UhIkB0hR7csrnfBHwljd8wF1WyTvZXvHbJVofAitlGY=; b=maIMv7+RJCZQPXZsxxYoPLPMeEhnSXLgKiiRiJO7MHrkyS+MbjWaH10v5LtEMRH+/L vpFylPYs2J/+7U8l2UJTKIt19hQbb5xLBwIzcybIyQ1drAWlZuQfTISjW56cmS6WLRqF LY+YMvWC0vcStyixrKLkg+MP3AHX99RNmpQFDf24x+JYB5G2Y8wOUdskw9VYmYe+YYOT pimBMbNMxTF0v3vGpbk7cMMiZJ5qB6PRXRWT6072qKUXM8nxA1ehqoxczNUUo9xgBCot JJctb/CxGxG2r1/od/oviekGUm+t5Lu1irlqTK1BSw0NUe3TEG4YSnINJ33ZwnAN+WFi XD X-Received: by 10.182.81.67 with SMTP id y3mr7111393obx.21.1369615231267; Sun, 26 May 2013 17:40:31 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.110.167 with SMTP id ib7ls50696obb.24.gmail; Sun, 26 May 2013 17:40:29 -0700 (PDT) X-Received: by 10.60.45.203 with SMTP id p11mr16755324oem.10.1369615229685; Sun, 26 May 2013 17:40:29 -0700 (PDT) Original-Received: from mail.axiomatics.org ([2600:3c00::f03c:91ff:feae:e0e6]) by mx.google.com with ESMTP id l2si16025864obu.83.2013.05.26.17.40.29 for ; Sun, 26 May 2013 17:40:29 -0700 (PDT) Received-SPF: neutral (google.com: 2600:3c00::f03c:91ff:feae:e0e6 is neither permitted nor denied by best guess record for domain of gdr@axiomatics.org) client-ip=2600:3c00::f03c:91ff:feae:e0e6; Original-Received: by mail.axiomatics.org (Postfix, from userid 1000) id 0580FED5D; Sun, 26 May 2013 19:40:28 -0500 (CDT) In-Reply-To: (Zhihao Yuan's message of "Sun, 26 May 2013 19:34:14 -0400") Original-Sender: gdr@euclid.axiomatics.org Original-Lines: 20 X-Original-Sender: gdr@axiomatics.org X-Original-Authentication-Results: mx.google.com; spf=neutral (google.com: 2600:3c00::f03c:91ff:feae:e0e6 is neither permitted nor denied by best guess record for domain of gdr@axiomatics.org) smtp.mail=gdr@axiomatics.org 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:4613 Archived-At: Zhihao Yuan writes: | On Sun, May 26, 2013 at 7:17 PM, Nicol Bolas wrote: | > A lambda is nothing special; it's just shorthand notation for a type | > declared at that scope. We shouldn't have special-case language in the | > standard that says "if the local type is a lambda type, blah blah". | | I don't agree. Lambda is special, conceptually, as a language structure. | It's described in terms of a class / class template does not mean its | semantics has to be limited by class / class template. I tend to agree that a lambda expression is a fundamental language construct (from semantics point of view), and it is unfortunate that we somehow think of it in terms of local classes. We shouldn't think of lambdas in terms of implementation details. On the other hand, why should be have special rules for local classes? If anything, there has been a recent move to just treat them as ordinary classes, as far as reasonably feasable. -- Gaby -- --- 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/?hl=en. .