Hacker News new | ask | show | jobs
by LessDmesg 2282 days ago
LBYL can easily be enforced by Maybe types, leaving exceptions for really exceptional things (which a nonexisting file definitely isn't). So we see how not having a real type system hurts and deforms a language in ways unrelated to types.
1 comments

That's still EAFP (you didn't check the precondition before trying), just through a different mechanism.