From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Is Python higher level than Ada?
Date: Wed, 16 Nov 2016 19:11:11 -0800
Organization: A noiseless patient Spider
Message-ID: <87zikydcmo.fsf@nightsong.com>
References: <o0g9mu$m6p$1@gioia.aioe.org> <874m37ewvw.fsf@nightsong.com>
	<o0hl9r$8f9$1@dont-email.me> <o0hnv3$k96$1@gioia.aioe.org>
	<o0j602$27h$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="1b5f2be8609f4a8a15f08dd23c7d1858";
	logging-data="30370"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX187aBJdm3RXljrFgfAUj6mB"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:cz5hXDS3UimHhwR7t90/lT2Wy3s=
	sha1:G7MNnzzJrRCBON3uff8OFXYmdQs=
Xref: news.eternal-september.org comp.lang.ada:32359
Date: 2016-11-16T19:11:11-08:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:
> For our debugger development, we used to have (as an unreachable goal) a 
> "find bug" command.

   https://www.st.cs.uni-saarland.de/dd/

> Then someone suggested that it really should be "fix bug". Customers
> are *never* satisfied. ;-)

Haskell has something like that:

   $ ghci
   GHCi, version 7.4.2: http://www.haskell.org/ghc/  :? for help
   Loading package ghc-prim ... linking ... done.
   Loading package integer-gmp ... linking ... done.
   Loading package base ... linking ... done.
   Prelude> :m Control.Monad.Fix
   Prelude Control.Monad.Fix> fix error
   "*** Exception: *** Exception: *** Exception: *** Exception: ***
   Exception: *** Exception: *** Exception: *** Exception: *** Exception:
   *** Exception: *** Exception: *** Exception: *** Exception: ***
   Exception: *** Exception: *** Exception: *** Exception: *** Exception:
   *** Exception: *** Exception: *** Exception: *** Exception: ***
   Exception: *** Exception: *** Exception: *** Exception: *** Exception:
   *** Exception: *** Exception: *** Exception: .....