The case for NaN

[Richard (Rikki) Andrew Cattermole]

On 06/07/2026 3:41 PM, monkyyy wrote:
> On Monday, 6 July 2026 at 02:21:12 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
>> On 06/07/2026 7:08 AM, Walter Bright wrote:
>>>
>>> Static analysis cannot solve the problem 100%. It's the ole' halting 
>>> problem.
>>
>> 20 years ago yeah.
>>
>> But today it is considered solved in the sense that we do have static 
>> analyzers that are sound that catch it.
> 
> Then they are wrong; you just chasing more and more complex 
> approximations with stranger and stranger rules or ignoring more and 
> more edge cases.

Then you have not understood anything that I wrote in that post.