From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Arbitrary function: find the number(s) of expected arguments
Date: Sat, 19 Mar 2016 20:11:20 +0200
Message-ID: <83wpoy72yf.fsf@gnu.org>
References: <CAG7BpaonJOkCLwpfZAgLfFHM6w6CCJ=o6A7JgqAj9aTw2MOpUw@mail.gmail.com>
	<56E8906C.5050405@lanl.gov>
	<CAG7BpaqiGV3YM5A8KNkLrs5M=mkLVbnF7TNr+e+4mJUMsP+XRg@mail.gmail.com>
	<CAG7BpaoA77G66eEpiBzHRuVvD83Ckh8ME_Apa0-tjd9bD=y8Mg@mail.gmail.com>
	<83egb68vfy.fsf@gnu.org> <87zituefp9.fsf@web.de>
	<83a8lu8srs.fsf@gnu.org>
	<87twk2ebp2.fsf@web.de> <838u1e8od1.fsf@gnu.org>
	<CAArVCkTLx-M+ReV_qvoUSmyw_3WhLsWkSSFrs9tRQqOmqUPEcA@mail.gmail.com>
	<8360wi8mbo.fsf@gnu.org>
	<CAArVCkQOJ=TVpGLSfyc8uqHTqD0dS=oJzAzatv6LUekmowx-cA@mail.gmail.com>
	<834mc28m3j.fsf@gnu.org>
	<CAArVCkQzofeY3=g9K7gHUyG=6vrBaTwXOQqpcF7ato_85doGaw@mail.gmail.com>
	<8337rm8lfc.fsf@gnu.org>
	<CAArVCkSuBbbYi+RGWAniDZWOWnmXjeRLLrm=8X==rMkUqTAnOw@mail.gmail.com>
	<831t768ilf.fsf@gnu.org>
	<CAArVCkRgZ=2Zw3XPbqc+mJ-oepQf1MAH6Lk-x7LguAu=Oh0OSA@mail.gmail.com>
Reply-To: Eli Zaretskii <eliz@gnu.org>
NNTP-Posting-Host: plane.gmane.org
X-Trace: ger.gmane.org 1458411132 19675 80.91.229.3 (19 Mar 2016 18:12:12 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Sat, 19 Mar 2016 18:12:12 +0000 (UTC)
Cc: michael_heerdegen@web.de, emacs-devel@gnu.org
To: Philipp Stephani <p.stephani2@gmail.com>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Mar 19 19:12:07 2016
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
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 <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1ahLM6-0003tZ-Lp
	for ged-emacs-devel@m.gmane.org; Sat, 19 Mar 2016 19:12:06 +0100
Original-Received: from localhost ([::1]:49953 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1ahLM6-0005lT-2G
	for ged-emacs-devel@m.gmane.org; Sat, 19 Mar 2016 14:12:06 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50969)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1ahLLt-0005kn-UT
	for emacs-devel@gnu.org; Sat, 19 Mar 2016 14:11:54 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1ahLLo-00022r-VK
	for emacs-devel@gnu.org; Sat, 19 Mar 2016 14:11:53 -0400
Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:33129)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
	id 1ahLLo-00022n-Rg; Sat, 19 Mar 2016 14:11:48 -0400
Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:4404
	helo=home-c4e4a596f7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128)
	(Exim 4.82) (envelope-from <eliz@gnu.org>)
	id 1ahLLo-0006kP-0H; Sat, 19 Mar 2016 14:11:48 -0400
In-reply-to: <CAArVCkRgZ=2Zw3XPbqc+mJ-oepQf1MAH6Lk-x7LguAu=Oh0OSA@mail.gmail.com>
	(message from Philipp Stephani on Sat, 19 Mar 2016 17:49:46 +0000)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
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." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=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:201892
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/201892>

> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Sat, 19 Mar 2016 17:49:46 +0000
> Cc: michael_heerdegen@web.de, emacs-devel@gnu.org
> 
>  I guess we'll have to disagree about that.
> 
> You could convince me by posting a generic implementation that would figure out the arity of g without
> executing it. 

You could convince me by posting a formal proof that such an
implementation is impossible.