Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!selfless.tophat.at!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Gregory Ewing Newsgroups: comp.lang.python Subject: Re: checking if a list is empty Date: Sat, 14 May 2011 14:26:08 +1200 Lines: 17 Message-ID: <9367i3Fnq3U1@mid.individual.net> References: <9hYwp.5805$xo2.3333@newsfe07.iad> <4dc502c7$0$29991$c3e8da3$5496439d@news.astraweb.com> <8354770a-d69d-4132-b0ba-2d610eab2fe7@d26g2000prn.googlegroups.com> <4dcb7a8d$0$29973$c3e8da3$5496439d@news.astraweb.com> <25a7c6d9-5d60-4528-8eaf-e6d0e73dfd1d@17g2000prr.googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: individual.net k6IXURQ/7y6XGALzoM1yZAWsw2Lt15aYS+O2S5XxocW6Iw4ekb Cancel-Lock: sha1:40FuMOlYUyaSgM7PJ2s2bg9QNjI= User-Agent: Mozilla Thunderbird 1.0.5 (Macintosh/20050711) X-Accept-Language: en-us, en In-Reply-To: Xref: x330-a1.tempe.blueboxinc.net comp.lang.python:5331 Ian Kelly wrote: > If a math major comes to you wanting to learn some > programming for theorem-proving, bearing in mind that they probably > aren't interested in learning more than a single language, I would question whether theorem-proving is the *only* thing they will ever want to do with a programming language. If they really only want to learn one language, it would be better to learn the one with the widest field of applicability. I'd hazard to guess that writing a theorem prover in Python would be a more practical proposition than writing a script to automate processing his LaTeX papers in Haskell. -- Greg