alt Hacker NewsYou don't appear to understand the difference between runtime and static analysis/compile time, or term-level and type-level.
You don't appear to understand the difference between runtime and static analysis/compile time, or term-level and type-level.
Great! Explain it to us while I read to my kid!