From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Emanuel Berg Newsgroups: gmane.emacs.help Subject: Re: Why is booleanp defined this way? Date: Sat, 18 Apr 2015 23:24:59 +0200 Organization: Aioe.org NNTP Server Message-ID: <87sibxm8no.fsf@debian.uxu> References: <87twwemaxx.fsf@debian.uxu> <138bf565-898d-4b5a-8bea-eecd223c652b@googlegroups.com> <87d2322li0.fsf@debian.uxu> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1429392319 22418 80.91.229.3 (18 Apr 2015 21:25:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 18 Apr 2015 21:25:19 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Sat Apr 18 23:25:19 2015 Return-path: Envelope-to: geh-help-gnu-emacs@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 1YjaEo-0000k3-IR for geh-help-gnu-emacs@m.gmane.org; Sat, 18 Apr 2015 23:25:18 +0200 Original-Received: from localhost ([::1]:46888 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YjaEn-0001Qh-Uw for geh-help-gnu-emacs@m.gmane.org; Sat, 18 Apr 2015 17:25:17 -0400 Original-Path: usenet.stanford.edu!news.kjsl.com!us.feeder.erje.net!feeder.erje.net!1.eu.feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!.POSTED!not-for-mail Original-Newsgroups: gnu.emacs.help Original-Lines: 39 Original-NNTP-Posting-Host: feB02bRejf23rfBm51Mt7Q.user.speranza.aioe.org Original-X-Complaints-To: abuse@aioe.org User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) X-Notice: Filtered by postfilter v. 0.8.2 Cancel-Lock: sha1:LE9OTa94+kHY1rt/7dbHlinGbkg= Mail-Copies-To: never Original-Xref: usenet.stanford.edu gnu.emacs.help:211564 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 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-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:103846 Archived-At: Barry Margolin writes: >>>> I never used `booleanp' and I never experienced >>>> that the boolean built-in type was missing from >>>> my "ontology". >>> If you how to write (and grok) an 'if' you have >>> boolean in your ontology. That you dont know that >>> you know is ok >> I know what a *boolean* is, just not why I would >> need a built-in data type to express it. > It's not a built-in type. It's a conceptual type, > like "list". You misunderstand. I said what I thought the function to be: type predicate, not normalizer of booleans. Then I hear there is a general need for the boolean type in programming. I also hear that the type predicate is a way, the first step, to bridge that hole in Elisp. I say there is no need for a boolean type. Now Mr. Adams have impressed us all by his practical resourcefulness by greping the Emacs source for the function and found that this type predicate is used very rarely and for a likewise small domain of tasks. Conclusion: Counter-intuitive the seemingly general purpose of the predicate, there is no corresponding implementation field, so the statement that it is a patch for a missing cornerstone in programming in general is incorrect. -- underground experts united http://user.it.uu.se/~embe8573