Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.c++ > #85307 > unrolled thread

Halting Problem: sNaP

Started byMr Flibble <flibble@reddwarf.jmc.corp>
First post2022-07-15 23:20 +0100
Last post2022-07-15 17:30 -0500
Articles 2 — 2 participants

Back to article view | Back to comp.lang.c++


Contents

  Halting Problem: sNaP Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-07-15 23:20 +0100
    Re: Halting Problem: sNaP olcott <NoOne@NoWhere.com> - 2022-07-15 17:30 -0500

#85307 — Halting Problem: sNaP

FromMr Flibble <flibble@reddwarf.jmc.corp>
Date2022-07-15 23:20 +0100
SubjectHalting Problem: sNaP
Message-ID<20220715232043.000047dc@reddwarf.jmc.corp>
I hereby introduce the sNaP, the "signaling Not a Program" exception
to be raised in the event a [Strachey 1965] "Impossible Program" is
passed to a signaling halt decider.  The sNaP is analogous to the sNaN
of IEEE 754 floating point to signify the result of a mathematical
operation is undefined.

As an added bonus "sNaP" is quite catchy. :D

Copyright 2022 Mr Flibble

[toc] | [next] | [standalone]


#85308

Fromolcott <NoOne@NoWhere.com>
Date2022-07-15 17:30 -0500
Message-ID<efmdnW-g15Hrd0z_nZ2dnUU7_8xg4p2d@giganews.com>
In reply to#85307
On 7/15/2022 5:20 PM, Mr Flibble wrote:
> I hereby introduce the sNaP, the "signaling Not a Program" exception
> to be raised in the event a [Strachey 1965] "Impossible Program" is
> passed to a signaling halt decider.  The sNaP is analogous to the sNaN
> of IEEE 754 floating point to signify the result of a mathematical
> operation is undefined.
> 
> As an added bonus "sNaP" is quite catchy. :D
> 
> Copyright 2022 Mr Flibble
> 

That sounds snappy.

-- 
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
  Genius hits a target no one else can see."
  Arthur Schopenhauer

[toc] | [prev] | [standalone]


Back to top | Article view | comp.lang.c++


csiph-web