("will this line be executed" is undecidable)Csepp 🌢 on Nostr: Oh, this is like a superfluous match checker? I assume a precise reachability check ...
Oh, this is like a superfluous match checker? I assume a precise reachability check would require fully evaluating the program, which kinda gets into halting problem territory. ("will this line be executed" is undecidable)
("will this line be executed" is undecidable)