From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Jean-Christophe Helary Newsgroups: gmane.emacs.help Subject: Re: local binding, too local... Date: Sun, 9 Dec 2018 11:41:19 +0900 Message-ID: <76490B6D-8B0C-4D5B-8EA2-4438609BCFE9@gmail.com> References: <0583DE39-42E2-4D05-97F6-3D709DBC73FE@gmail.com> <30D13139-2EAB-4195-9DFD-4832C092B5A1@gmail.com> <20181208080217.GA4367@tuxteam.de> <5DC58693-6BE0-48E9-AC20-9C6D99E069E7@gmail.com> <20181208215915.GA29962@tuxteam.de> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 12.1 \(3445.101.1\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1544323196 7118 195.159.176.226 (9 Dec 2018 02:39:56 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 9 Dec 2018 02:39:56 +0000 (UTC) To: help-gnu-emacs Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Sun Dec 09 03:39:52 2018 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gVp0Z-0001kZ-Bl for geh-help-gnu-emacs@m.gmane.org; Sun, 09 Dec 2018 03:39:51 +0100 Original-Received: from localhost ([::1]:53674 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gVp2f-0002qu-ML for geh-help-gnu-emacs@m.gmane.org; Sat, 08 Dec 2018 21:42:01 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:41168) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gVp28-0002qo-2L for help-gnu-emacs@gnu.org; Sat, 08 Dec 2018 21:41:28 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gVp24-00089I-Ou for help-gnu-emacs@gnu.org; Sat, 08 Dec 2018 21:41:27 -0500 Original-Received: from mail-pf1-x42d.google.com ([2607:f8b0:4864:20::42d]:40908) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gVp24-00088z-I9 for help-gnu-emacs@gnu.org; Sat, 08 Dec 2018 21:41:24 -0500 Original-Received: by mail-pf1-x42d.google.com with SMTP id i12so3716002pfo.7 for ; Sat, 08 Dec 2018 18:41:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:date:references :to:in-reply-to:message-id; bh=rdqj+M2JalLLtDE+vi3CQ7ciT3w57/bE6taHiIMR9iY=; b=BbycjXfTl+8ZnBuADG5CUVFgSel+zzbyDENNkWR3FWTdnLto9DnYXUzgAgQhPn/DJ5 3aUKnpvVy0XtVKya3hQASgweEhITumerJ/JKefQeJM3HfE7vwiq6+3rYOB4/MUPLeXUb 4KbWT9acJ7oUWUgVM2Kn12FWWstArMtUWX/6SS2WY80A2WgUlGo9UzgtVP4fa+49Ur8l /AhBpGU517ugtwAQSvogxXfGGhKStxvRk1CyGwm/+Agr3PJxjxL8xSjay6jp/TYQBvPJ DRqpntZs/RGpiANqaOD4NerYhVB1ArsfXZVICQyOmmDCNZhwVyzEGLh5Wpt7U5o1zpP9 LsWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:date:references:to:in-reply-to:message-id; bh=rdqj+M2JalLLtDE+vi3CQ7ciT3w57/bE6taHiIMR9iY=; b=d2LiqTlUpbQQsvo7eQd4OZMhLckhffrLjQjTCYoHgSOAioUYshhAgWH0UkxcWXtkEE eL6jsK5178qYRAI9XbwC4bv2SYQNEUzWQTsUChSCODuP8vcVWodvYh49+gVJeHJxokKy 7a6HsaQYf5qfqEie56ZFXfRshJ5upAaAOH7EKR68ubiuNAnKvKHNgwvwMtWPZ8k4z3so yOTWzg3GE1D1LDSvtvwxBBH9M7pbcnbiSfUaCJjW+9gJW8WU2KeKvcHfkQygRAmGQuGH NCusRU24axBTcI5xpxEFbA5pN83vsxm2kxFOD1hQe7KZe0Rd06H/U5VaS5DnqjrsCKPw p25g== X-Gm-Message-State: AA+aEWb39iS32mpI1+Ii2AsNpJjKJrWyvEQOGLk6z8s7ERTWlNI9kJvF jdMC0VrdE9pSoyECBBF/fPV2N52F X-Google-Smtp-Source: AFSGD/UiQ9RAjFleh3P+1F4amEU1BjsBcmGt5lWVR/qgsuJe0eo7GHp2i3xBXy91OwI/h24i+x27Hw== X-Received: by 2002:aa7:83c6:: with SMTP id j6mr7637095pfn.91.1544323282909; Sat, 08 Dec 2018 18:41:22 -0800 (PST) Original-Received: from [192.168.1.11] (pl16832.ag0304.nttpc.ne.jp. [128.53.251.192]) by smtp.gmail.com with ESMTPSA id c7sm11958940pfh.18.2018.12.08.18.41.21 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 08 Dec 2018 18:41:22 -0800 (PST) In-Reply-To: <20181208215915.GA29962@tuxteam.de> X-Mailer: Apple Mail (2.3445.101.1) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::42d X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.org gmane.emacs.help:118926 Archived-At: > On Dec 9, 2018, at 6:59, wrote: >=20 > On Sat, Dec 08, 2018 at 11:45:32PM +0900, Jean-Christophe Helary = wrote: >> Thank you Tomas. >>=20 >> So can you say that "binding" is like "creating" a variable ? >=20 > No (at least not in this Lisp context). It's more like associating > a name with a variable. But there must be something that's created that did not exist before = that "binding" right ? >> While assigning is just putting a value in that variable ? >=20 > Kind of, yes. Reality is a bit more complex, though... >=20 >> I remember in my math classes, when we were using x and y, etc. we = were binding x and y, right ? And then when we had values for x and y we = were assigning values. Is that correct ? >=20 > In maths, binding means associating a value with a name, that's easy. > And there's no correspondence for assignment. You can substitute a > bound variable (say x is bound to 5) by for its value everywhere. >=20 > "Assigning 7 to x" wouldn't make much sense in maths, because it would > amount to assigning 7 to 5. Ok so the comparison with maths doesn't work, right ? Jean-Christophe Helary ----------------------------------------------- http://mac4translators.blogspot.com @brandelune