Hacker News new | ask | show | jobs
by baxtr 520 days ago
Through smart definitions I can contract any longer term as much as I want.
2 comments

Yes, and it's exactly those "smart definitions" that are the Standard Model. The whole goal is to produce even smarter definitions, including showing that as much as possible of it couldn't be any other way, preferably.
Yes and that's precisely why you're writing high-level code instead of ASM. It's your job.