Too bad the C beer-goggles have lasted so long that other great languages didn't take hold. Don't know about that theorem proving stuff in ATS, but with some ap

Too bad the C beer-goggles have lasted so long that other great languages didn't take hold. Don't know about that theorem proving stuff in ATS, but with some application of hygiene like "if denom <> 0 then" and compile time prechecks on structures that like every Wirthian language ever has offered, maybe the computational arts would be further along right now. Nah, too much trouble. I'd rather not check if denom = 0. Back to writing autonomous car code!