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 04:55:35 +0200 Organization: Aioe.org NNTP Server Message-ID: <87d2322li0.fsf@debian.uxu> References: <87twwemaxx.fsf@debian.uxu> <138bf565-898d-4b5a-8bea-eecd223c652b@googlegroups.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1429325725 1451 80.91.229.3 (18 Apr 2015 02:55:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 18 Apr 2015 02:55:25 +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 04:55: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 1YjIud-0000vV-18 for geh-help-gnu-emacs@m.gmane.org; Sat, 18 Apr 2015 04:55:19 +0200 Original-Received: from localhost ([::1]:44325 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YjIub-0001Mz-Sr for geh-help-gnu-emacs@m.gmane.org; Fri, 17 Apr 2015 22:55:17 -0400 Original-Path: usenet.stanford.edu!news.kjsl.com!feeder.erje.net!1.eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!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:3s76hSJsAywL6zOqcJr5g1FojJY= Mail-Copies-To: never Original-Xref: usenet.stanford.edu gnu.emacs.help:211515 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:103797 Archived-At: Rusi 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. > most programmers dont get that their 'thinking > language' is a superset of their > programming language. Meanwhile, most university people don't get that programming languages are tools that should be employed to do useful things, not runes to be analyzed like some Noam Chomsky/Indiana Jones would the paleo-Etruscan from half-disintegrated tomb stones! > Most today's kids think thats irrelevant but then > they think UML is relevant. The Dijkstra school > would tout logic The FP school will tout lambda > calculus (or dependent types) Even the box-and-arrow > diagrams of classic data structures books goes > beyond the language the book claims to be using The worst part of all that is that if you do it enough you start to like it. It is sneaky. Then you can never move on. If kids think UML is relevant all hope is gone. But I don't think they do - not those with style. -- underground experts united http://user.it.uu.se/~embe8573