Path: csiph.com!usenet.pasdenom.info!aioe.org!news.stack.nl!newsfeed.xs4all.nl!newsfeed2a.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <rosuav@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.044
X-Spam-Evidence: '*H*': 0.91; '*S*': 0.00; 'subject:Python': 0.06; 'type,': 0.09; 'cc:addr:python-list': 0.11; 'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16; 'ptr': 0.16; 'wrote:': 0.18; 'feb': 0.22; 'cc:addr:python.org': 0.22; 'mon,': 0.24; 'regardless': 0.24; '(or': 0.24; 'cc:2**0': 0.24; 'compare': 0.26; 'header:In-Reply-To:1': 0.27; "doesn't": 0.30; 'message- id:@mail.gmail.com': 0.30; 'something': 0.35; 'received:google.com': 0.35; 'there': 0.35; 'really': 0.36; 'right?': 0.36; 'ahead': 0.38; 'pm,': 0.38; 'matter': 0.61; 'more': 0.64; 'different': 0.65; 'subject:! ': 0.74; '2015': 0.84; 'to:none': 0.92
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:cc :content-type; bh=BNeRXJqw+2z4S3TWoIkNgAr1GPuoLe6q2g5uN3GWXp4=; b=WflOisMvSou5YfA5G6HFK7l/i/pvPWx/91lK1OCaAiFa+wveP7439WCRXTWpVE40Mv p5z/trwdPxOfa3vvXdNe6p0/9d44eaBeqUEzINbyNA5bt42EPqnsbR4rTHGw/8myHdhV 1NxZFlFbhoO5MPr2DU16RHgM/97fmBNNfZtNKg0fEF2zoMIPp31NFYAV4oX1/srE37qF Sz6TrPmcjJG7EwP7CEq6CQX6DPrm0D54ZB+3CdB8X0QFGnM4iMJ04BB9fNtnDee3HDc8 3e5ctYyuSFCDdffHPI8IgxPabnv//5HEHDeYVua/N2vLS2OyYLhI2U1APsv6Dqpst9PI SCTw==
MIME-Version: 1.0
X-Received: by 10.50.62.110 with SMTP id x14mr9930404igr.2.1422855516151; Sun, 01 Feb 2015 21:38:36 -0800 (PST)
In-Reply-To: <cj8fncFb9tvU1@mid.individual.net>
References: <54c07d04$0$13012$c3e8da3$5496439d@news.astraweb.com> <mailman.17982.1421951313.18130.python-list@python.org> <6eb91c4b-92ff-44a8-b5a9-6ef04c71f4cb@googlegroups.com> <MPG.2f2b9739d70d7220989688@nntp.aioe.org> <35a40ec6-3763-448b-9ea4-4a233a04979b@googlegroups.com> <54c1ccc8$0$13005$c3e8da3$5496439d@news.astraweb.com> <mailman.18150.1422284487.18130.python-list@python.org> <54c6d7c2$0$12992$c3e8da3$5496439d@news.astraweb.com> <mailman.18178.1422380228.18130.python-list@python.org> <MPG.2f31f0482d3837cb98969f@nntp.aioe.org> <54c83ab4$0$12982$c3e8da3$5496439d@news.astraweb.com> <MPG.2f3318cb4d02fd059896b2@nntp.aioe.org> <mab931$qqu$1@ger.gmane.org> <mailman.18262.1422540523.18130.python-list@python.org> <54ca583e$0$13005$c3e8da3$5496439d@news.astraweb.com> <mailman.18276.1422555831.18130.python-list@python.org> <54ccc2fc$0$13009$c3e8da3$5496439d@news.astraweb.com> <8761bm40ud.fsf@jester.gateway.sonic.net> <54ce54d1$0$12989$c3e8da3$5496439d@news.astraweb.com> <cj8fncFb9tvU1@mid.individual.net>
Date: Mon, 2 Feb 2015 16:38:36 +1100
Subject: Re: Python is DOOMED! Again!
From: Chris Angelico <rosuav@gmail.com>
Cc: "python-list@python.org" <python-list@python.org>
Content-Type: text/plain; charset=UTF-8
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.18392.1422855524.18130.python-list@python.org>
Lines: 11
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1422855524 news.xs4all.nl 2844 [2001:888:2000:d::a6]:44947
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:85054

On Mon, Feb 2, 2015 at 4:19 PM, Gregory Ewing
<greg.ewing@canterbury.ac.nz> wrote:
> In Haskell you would just go ahead and compare ptr
> with Nothing (or more likely pattern-match it against
> Nothing).

So since you can set something to Nothing regardless of type, and
compare it against Nothing regardless of type, it doesn't really much
matter that there are different types of Nothing. Right?

ChrisA