Why static analysis is the way to go

[Meta]

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.