Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!us.feeder.erje.net!feeder.erje.net!eu.feeder.erje.net!feeds.news.ox.ac.uk!news.ox.ac.uk!zen.net.uk!hamilton.zen.co.uk!xlned.com!feeder1.xlned.com!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <antoon.pardon@rece.vub.ac.be>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.035
X-Spam-Evidence: '*H*': 0.93; '*S*': 0.00; 'explicitly': 0.05; 'received:134': 0.05; 'compiler': 0.07; 'itself.': 0.14; 'boring,': 0.16; 'subject:programming': 0.16; 'java,': 0.16; 'tests': 0.22; 'header:User-Agent:1': 0.23; 'header:In-Reply- To:1': 0.27; "doesn't": 0.30; "d'aprano": 0.31; 'int,': 0.31; 'steven': 0.31; 'languages': 0.32; 'stuff': 0.32; 'should': 0.36; 'unit': 0.37; 'to:addr:python-list': 0.38; 'to:addr:python.org': 0.39; 'most': 0.60; 'skip:* 10': 0.61; "you're": 0.61; 'telling': 0.64; 'results': 0.69; 'pardon': 0.84
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ap8EANywFVOGuA9G/2dsb2JhbABawXmDDIE2gxoBAQR4EQshFg8JAwIBAgFFEwgCh3XGQIYFF45YFoQiAQOYPIYzi3iDLg
Date: Tue, 04 Mar 2014 11:56:07 +0100
From: Antoon Pardon <antoon.pardon@rece.vub.ac.be>
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20131103 Icedove/17.0.10
MIME-Version: 1.0
To: python-list@python.org
Subject: Re: Functional programming
References: <B512F079-4F01-4865-BEF3-07DF94F21832@gmail.com> <mailman.7612.1393810048.18130.python-list@python.org> <4c7dbc57-eef9-4582-aecd-aac13a39b45f@googlegroups.com> <mailman.7633.1393849247.18130.python-list@python.org> <3b54a279-03a1-4a81-a428-ecad6eb16036@googlegroups.com> <mailman.7641.1393855219.18130.python-list@python.org> <216bb5f4-32c4-4f86-a9f4-1b0dd37a2a81@googlegroups.com> <mailman.7644.1393856584.18130.python-list@python.org> <0129a5b9-b85f-4ad5-b5e2-bfb2a48041d5@googlegroups.com> <mailman.7647.1393858917.18130.python-list@python.org> <5314bb96$0$29985$c3e8da3$5496439d@news.astraweb.com> <mailman.7651.1393871851.18130.python-list@python.org> <5315661c$0$2923$c3e8da3$76491128@news.astraweb.com> <mailman.7695.1393913099.18130.python-list@python.org> <53159540$0$2923$c3e8da3$76491128@news.astraweb.com>
In-Reply-To: <53159540$0$2923$c3e8da3$76491128@news.astraweb.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
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: <https://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: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.7700.1393930643.18130.python-list@python.org>
Lines: 19
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1393930643 news.xs4all.nl 2831 [2001:888:2000:d::a6]:51552
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:67658

Op 04-03-14 09:56, Steven D'Aprano schreef:

>
>
>> If you
>> explicitly say that this is an int, then yes, that should be disallowed;
> It's that "explicitly" part that doesn't follow. Having to manage types 
> is the most tedious, boring, annoying, *unproductive* part of languages 
> like Java, C and Pascal. Almost always, you're telling the compiler stuff 
> that it can work out for itself.

In the same way writing unit tests is the most tedious, boring, annoying,
*unproductive* part. Amost always you are giving the program results
it can work out for itself.

-- 

Antoon Pardon