Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.python > #10487

Re: NoneType and new instances

Date 2011-07-28 15:26 -0700
From Ethan Furman <ethan@stoneleaf.us>
Subject Re: NoneType and new instances
References <mailman.1575.1311866659.1164.python-list@python.org> <87hb66nkn5.fsf@benfinney.id.au>
Newsgroups comp.lang.python
Message-ID <mailman.1597.1311891054.1164.python-list@python.org> (permalink)

Show all headers | View raw


Ben Finney wrote:
> Ethan Furman <ethan@stoneleaf.us> writes:
> 
>> Why is NoneType unable to produce a None instance? I realise that None
>> is a singleton
> 
> That answers your question. Because None is a singleton, the job of its
> type is to make sure there are no other instances.

Which it can do quite easily by returning the single instance of None -- 
it is not necessary to raise an exception to fulfill its duty.


>> but so are True and False, and bool is able to handle returning them:
> 
> Well, they don't meet the definition of a singleton, because there are
> two instances of ‘bool’ :-)

Okay, a slightly relaxed definition of singleton, since there is only 
ever one instance with the value of True, or the value of False; 
likewise, there is only ever one instance with the value of None.


>> This feels like a violation of 'Special cases aren't special enough to
>> break the rules.'
> 
> In the case of ‘bool’, the rule was broken before being introduced.

I think we disagree on what the rule is.  I see it as "Return an 
instance if you can."  Nobody has yet pointed out a good reason on why 
NoneType, NotImplementedType, and ellipsis (to be thorough ;) cannot or 
should not return the single instance that exists, when every other 
built-in will return either a new object, or the single object that 
exists for that value.

~Ethan~

Back to comp.lang.python | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

NoneType and new instances Ethan Furman <ethan@stoneleaf.us> - 2011-07-28 08:39 -0700
  Re: NoneType and new instances Billy Mays <81282ed9a88799d21e77957df2d84bd6514d9af6@myhashismyemail.com> - 2011-07-28 11:34 -0400
  Re: NoneType and new instances Ben Finney <ben+python@benfinney.id.au> - 2011-07-29 07:46 +1000
    Re: NoneType and new instances Ethan Furman <ethan@stoneleaf.us> - 2011-07-28 15:26 -0700
      Re: NoneType and new instances Ben Finney <ben+python@benfinney.id.au> - 2011-07-29 09:52 +1000
  Re: NoneType and new instances Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-07-29 11:16 +1000
    Re: NoneType and new instances Gregory Ewing <greg.ewing@canterbury.ac.nz> - 2011-07-30 14:50 +1200
      Re: NoneType and new instances Terry Reedy <tjreedy@udel.edu> - 2011-07-30 09:35 -0400
      Re: NoneType and new instances python@bdurham.com - 2011-07-30 11:43 -0400
  Re: NoneType and new instances "bruno.desthuilliers@gmail.com" <bruno.desthuilliers@gmail.com> - 2011-07-30 09:39 -0700
    Re: NoneType and new instances Terry Reedy <tjreedy@udel.edu> - 2011-07-30 23:34 -0400
      Re: NoneType and new instances Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-07-31 14:28 +1000

csiph-web