Pattern matching: Callback For Matching Type

[monkyyy]

On Wednesday, 29 May 2024 at 19:10:33 UTC, Richard (Rikki) Andrew 
Cattermole wrote:
>
>> I see no obvious way "value specialization" would work here
>
> Indeed.
>
> It would be good to make sure we're not painting ourselves in a 
> corner for such language features. So if others who care about 
> it can figure it out, that'll be great.

I care far more about value specialization then type untangling 
of sumtypes

functional pattern matching maybe use types more, but we dont 
need monads or nullable thats a composition of null and a type I 
can use a bool instead of a abstract null that falls out of some 
math theory

How would this help, lets say a networking dummy program, with 5 
http error codes to checks, usernames, and passwords? That would 
probaly be a good example of ifelse hell