Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!weretis.net!feeder4.news.weretis.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Eric Sosman Newsgroups: comp.lang.java.programmer Subject: Re: in praise of type checking Date: Thu, 06 Oct 2011 20:29:31 -0400 Organization: A noiseless patient Spider Lines: 15 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Fri, 7 Oct 2011 00:29:32 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="f8igmItKsWs6nM5YanFxAA"; logging-data="6232"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX184nbnTMjU3hqP6K0iUpTd+" User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 In-Reply-To: Cancel-Lock: sha1:omC9tsdGl4QW2CKH8feyQlWmRiM= Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:8611 On 10/6/2011 2:33 AM, Roedy Green wrote: > I changed the result of a widely used method from boolean to int. The > neat thing was the compiler (actually the Intellij syntax checker) > made sure I fixed up every invocation of that method. It would not let > me forget even one. > > Imagine a language with loosey goosey type checking where it was > entirely up to you entirely to ensure all the invocations were > corrected. [...] Are you speaking of Python, or of Lisp? -- Eric Sosman esosman@ieee-dot-org.invalid