Why static analysis is the way to go

[monkyyy]

On Saturday, 30 May 2026 at 06:43:13 UTC, Meta wrote:
> On Saturday, 30 May 2026 at 06:14:25 UTC, monkyyy wrote:
>> On Saturday, 30 May 2026 at 03:45:46 UTC, Richard (Rikki) 
>> Andrew Cattermole wrote:
>>> On 30/05/2026 3:18 PM, monkyyy wrote:
>>>> On Saturday, 30 May 2026 at 03:02:37 UTC, Richard (Rikki) 
>>>> Andrew Cattermole wrote:
>>>>>
>>>>> There are somethings that we can't do in our type system,
>>>> 
>>>> Got an example of a useful thing?
>>>
>>> Anything effect based.
>>>
>>> I.e. value type exceptions.
>>
>> a) exceptions airnt useful
>
> I dunno why everyone hates exceptions. They're incredibly 
> useful, and generally significantly reduce the complexity of 
> your code. Like pretty much everything in programming, misusing 
> them will of course cause major issues.

its a bad goto, requiring cleanup and a "comefrom" statement