From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FORGED_MUA_MOZILLA,FREEMAIL_FROM autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: 103376,2078ce7aac45af5b
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.85.166 with SMTP id i6mr243574paz.13.1352994723762;
        Thu, 15 Nov 2012 07:52:03 -0800 (PST)
Path: 
 6ni83245pbd.1!nntp.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 15 Nov 2012 09:52:03 -0600
Date: Thu, 15 Nov 2012 10:52:02 -0500
From: "Peter C. Chapin" <pcc482719@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:16.0) Gecko/20121028 Thunderbird/16.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada202X : Adding functors
References: <0114d327-9f9f-4ad2-9281-56331d11a90c@googlegroups.com>
 <e33b09e3-7840-42d0-886b-8cf1ec7bf9d3@googlegroups.com>
 <15w6caje3zsh$.t5nqtwoa77x5$.dlg@40tude.net>
In-Reply-To: <15w6caje3zsh$.t5nqtwoa77x5$.dlg@40tude.net>
Message-ID: <NLWdnUlRH6U-kjjN4p2dnAA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-iIwBHS5rI13HTf+uepVjLrn0GGJxuzaKFH260YIK5RPCcas2EMmdKRxRZ2sE7s8T4UxzRddk4gh3erB!kj9RMnPV4MLa06BCX2c93znvUv7oQK/MVK+dWklYG8HBIr+BiCxlldbgUbLbCdA=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1908
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-11-15T10:52:02-05:00
List-Id: <comp.lang.ada>

On 11/15/2012 05:11 AM, Dmitry A. Kazakov wrote:

>> IMHO, lambda closures are better in every way than a 'functor', and I for
>> one would welcome their addition to Ada.
>
> I doubt that could be made compatible with static typing. Comparing
> advantages of both static typing is a clear winner.
>
> But it is of course an interesting question how much functions could be
> made first class citizens without loosing safety (and proper typing).

Could you elaborate on what you mean here? There are statically typed 
functional languages where functions are first class and that also have 
a reasonable notion of type safety.

Peter