From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Richard Stallman Newsgroups: gmane.emacs.devel Subject: Re: Emacs contributions, C and Lisp Date: Thu, 08 Jan 2015 18:59:24 -0500 Message-ID: References: <83bnxuzyl4.fsf@gnu.org> <8761nusb90.fsf@uwakimon.sk.tsukuba.ac.jp> <87vbkovhh7.fsf@engster.org> <87387rvobr.fsf@engster.org> <83ppat84hk.fsf@gnu.org> <20150106143933.0090bc83@jabberwock.cb.piermont.com> <83r3v77ij6.fsf@gnu.org> <20150106154539.3d0752c4@jabberwock.cb.piermont.com> <87wq4ype3z.fsf@fencepost.gnu.org> <878uherlf3.fsf@wanadoo.es> Reply-To: rms@gnu.org NNTP-Posting-Host: plane.gmane.org Content-Type: text/plain; charset=Utf-8 X-Trace: ger.gmane.org 1420761603 30541 80.91.229.3 (9 Jan 2015 00:00:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 9 Jan 2015 00:00:03 +0000 (UTC) Cc: emacs-devel@gnu.org To: Óscar Fuentes Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Jan 09 00:59:59 2015 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Y9MzP-0000Xd-3C for ged-emacs-devel@m.gmane.org; Fri, 09 Jan 2015 00:59:43 +0100 Original-Received: from localhost ([::1]:48571 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9MzO-0006MJ-9b for ged-emacs-devel@m.gmane.org; Thu, 08 Jan 2015 18:59:42 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:53362) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9Mz9-0006JO-IJ for emacs-devel@gnu.org; Thu, 08 Jan 2015 18:59:28 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Y9Mz8-0008Bd-Dw for emacs-devel@gnu.org; Thu, 08 Jan 2015 18:59:27 -0500 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:46409) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9Mz8-0008B3-71 for emacs-devel@gnu.org; Thu, 08 Jan 2015 18:59:26 -0500 Original-Received: from rms by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1Y9Mz6-0000du-F6; Thu, 08 Jan 2015 18:59:24 -0500 In-reply-to: <878uherlf3.fsf@wanadoo.es> (message from Óscar Fuentes on Thu, 08 Jan 2015 04:38:56 +0100) X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::e X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:181077 Archived-At: [[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > auto some_var = foo(bar); > and when the compiler resolves `foo' it can choose an overload depending > on complex attributes of `bar' (such as if `bar' is an instance of a > class that implements certain method.) As each overload can return a > different type, only a C++ compiler can know which type `some_var' > finally is. To handle that, it is sufficient that the compiler say what type some_var was ultimately given. Of course, the data must include the data types of all identifiers. What more is needed, and why? Some data that I am sure is NOT needed is the entire statement-level structure. -- Dr Richard Stallman President, Free Software Foundation 51 Franklin St Boston MA 02110 USA www.fsf.org www.gnu.org Skype: No way! That's nonfree (freedom-denying) software. Use Ekiga or an ordinary phone call.