Path: csiph.com!usenet.pasdenom.info!news.albasani.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Paul Rudin <paul.nospam@rudin.co.uk>
Newsgroups: comp.lang.python
Subject: Re: Encapsulation, inheritance and polymorphism
Date: Thu, 19 Jul 2012 18:22:15 +0100
Lines: 9
Message-ID: <871uk7acoo.fsf@no-fixed-abode.cable.virginmedia.net>
References: <x_udnUHnRNWDu5jNnZ2dnUVZ8tudnZ2d@bt.com> <3vnfd9-343.ln1@satorlaser.homedns.org> <-8SdnVrXGqie25jNnZ2dnUVZ7qKdnZ2d@bt.com> <roy-29E9DF.09525917072012@news.panix.com> <FNKdnU7rKqT46JjNnZ2dnUVZ8vGdnZ2d@bt.com> <ju4651$ivo$1@dough.gmane.org> <5005A103.9050802@stoneleaf.us> <mailman.2241.1342549103.4697.python-list@python.org> <Lb-dnVNwAtQOLZjNnZ2dnUVZ7r6dnZ2d@bt.com> <GHnNr.7895$Hs3.4746@fx08.am4> <5006b48a$0$29978$c3e8da3$5496439d@news.astraweb.com> <O4idnbBi5e1eV5vNnZ2dnUVZ8oydnZ2d@bt.com> <50076437$0$1756$c3e8da3$76491128@news.astraweb.com> <3d919437-80a8-424f-ae90-fb829434dba2@po9g2000pbb.googlegroups.com> <500804cc$0$29978$c3e8da3$5496439d@news.astraweb.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: individual.net DCHPvExPSLlhov622MaRbQQjqvuSYby+lfFWdcPliY+/JHS4jz/u7P73uIvUCJvIeC
X-Orig-Path: hal9000.rudin.co.uk!not-for-mail
Cancel-Lock: sha1:i25abc3izcYzon8nyCra6xtgnB8= sha1:DjWtDp+S/DNjIkhfmOfg/iQaEZU=
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
Xref: csiph.com comp.lang.python:25637

Steven D'Aprano <steve+comp.lang.python@pearwood.info> writes:

> For example, both ML and Haskell can, under some circumstances, report a 
> type-error for an infinite loop, *at compile time*.

... and in Charity all programs are guaranteed to terminate. Of course
it's not Turing complete.

<http://en.wikipedia.org/wiki/Charity_(programming_language)>