I disagree. If a hint really ought be provided, but can be omitted in the right circumstances, it should be a required value.
This will encourage people to provide a hint, or deliberately omit one. Seems more Explicit and Implicit to me... explicit intention to omit a hint? -- Curtis On 6 February 2014 11:04, Florian Apolloner <f.apollo...@gmail.com> wrote: > > > On Thursday, February 6, 2014 12:31:43 AM UTC+1, Carl Meyer wrote: >> >> > However, I can see how this might be slightly contrary to expectation >> > for Python developers generally. I'd be interested in hearing other >> > opinions on this. >> >> I don't think there's a reason to require the argument; if `None` is a >> valid value for the argument, then clearly it is semantically optional, >> so give it a default of `None` and make it actually optional. >> > > +1, Either make it completely required (eg don't allow None) or let None > be the default. > > -- > You received this message because you are subscribed to the Google Groups > "Django developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to django-developers+unsubscr...@googlegroups.com. > To post to this group, send email to django-developers@googlegroups.com. > Visit this group at http://groups.google.com/group/django-developers. > To view this discussion on the web visit > https://groups.google.com/d/msgid/django-developers/2880d3fe-10a9-4270-830a-0e362fea0e09%40googlegroups.com > . > > For more options, visit https://groups.google.com/groups/opt_out. > -- You received this message because you are subscribed to the Google Groups "Django developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to django-developers+unsubscr...@googlegroups.com. To post to this group, send email to django-developers@googlegroups.com. Visit this group at http://groups.google.com/group/django-developers. To view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/CAG_XiSDyLTfyFbZNqrKHr3jA8b4W0Ay8fHf0a%3DCJdFY0kRMbyg%40mail.gmail.com. For more options, visit https://groups.google.com/groups/opt_out.
