Path: csiph.com!usenet.pasdenom.info!dedibox.gegeweb.org!gegeweb.eu!nntpfeed.proxad.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!nerim.net!novso.com!newsfeed.xs4all.nl!newsfeed4.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Return-Path: <python-python-list@m.gmane.org>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.005
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; 'suppose': 0.07; 'compile- time': 0.09; 'integers': 0.09; 'received:80.91': 0.09; 'received:80.91.229': 0.09; 'received:gmane.org': 0.09; 'received:list': 0.09; 'subject: [': 0.09; 'language,': 0.12; 'kern': 0.16; 'received:80.91.229.3': 0.16; 'received:plane.gmane.org': 0.16; 'subject:"]': 0.16; 'underlying': 0.16; ':-)': 0.16; 'wrote:': 0.18; 'input': 0.22; 'header:User-Agent:1': 0.23; 'interpret': 0.24; 'subject:problem': 0.24; 'regardless': 0.24; 'header:X-Complaints-To:1': 0.27; 'header:In-Reply-To:1': 0.27; 'function': 0.29; 'chris': 0.29; 'robert': 0.30; 'that.': 0.31; "they'll": 0.31; 'checking': 0.33; 'subject:with': 0.35; "can't": 0.35; 'but': 0.35; 'easily': 0.37; 'to:addr:python-list': 0.38; 'list,': 0.38; 'to:addr:python.org': 0.39; 'received:org': 0.40; 'our': 0.64; 'subject:The': 0.64; 'world': 0.66; 'believe': 0.68; 'square': 0.74; 'challenge.': 0.84; 'eco': 0.84; 'terrible': 0.84
X-Injected-Via-Gmane: http://gmane.org/
To: python-list@python.org
From: Robert Kern <robert.kern@gmail.com>
Subject: Re: Bools and explicitness [was Re: PyWart: The problem with "print"]
Date: Thu, 06 Jun 2013 17:08:23 +0100
References: <687dea63-84da-4c45-9366-cb5a10665d1f@googlegroups.com> <51ab95d5$0$29966$c3e8da3$5496439d@news.astraweb.com> <a46a1835-9960-4cc3-b15e-7c027f054919@googlegroups.com> <51ad7daf$0$11118$c3e8da3@news.astraweb.com> <c694719e-03d7-485c-a88b-0a7770d4d133@googlegroups.com> <c70964e8-059e-4b19-b822-d54250ea2118@googlegroups.com> <mailman.2708.1370422741.3114.python-list@python.org> <31ca14e1-973d-44e6-886c-011a55755d76@googlegroups.com> <mailman.2747.1370451556.3114.python-list@python.org> <96cd7a31-40ce-4e51-9489-446b7f002a0e@googlegroups.com> <51afec46$0$29966$c3e8da3$5496439d@news.astraweb.com> <mailman.2783.1370485793.3114.python-list@python.org> <51b0565d$0$11118$c3e8da3@news.astraweb.com> <CAPTjJmrFWPBNB5=A-Zn6L=_Bv1Fxd1qp-bTbqUEUFJRzY96CTw@mail.gmail.com> <koqa7g$vo9$1@ger.gmane.org> <CAPTjJmpkK0nQ9TiROfYXNheFCCEHK1p6YXwJnXfCOEciE2nDMA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Gmane-NNTP-Posting-Host: 213.1.240.226
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:17.0) Gecko/20130509 Thunderbird/17.0.6
In-Reply-To: <CAPTjJmpkK0nQ9TiROfYXNheFCCEHK1p6YXwJnXfCOEciE2nDMA@mail.gmail.com>
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <http://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <http://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.2814.1370534922.3114.python-list@python.org>
Lines: 17
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1370534922 news.xs4all.nl 15977 [2001:888:2000:d::a6]:48721
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:47240

On 2013-06-06 16:41, Chris Angelico wrote:

> Anyway, regardless of your language, there's always some criteria that
> can't be coded. Suppose the valid input for a function were "integers
> whose square roots are integers but whose cube roots are not". You
> won't easily get compile-time checking of that.

Say that on a Haskell list, and they'll take it as a challenge. :-)

-- 
Robert Kern

"I have come to believe that the whole world is an enigma, a harmless enigma
  that is made terrible by our own mad attempt to interpret it as though it had
  an underlying truth."
   -- Umberto Eco