Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Typed constraints don't scale either.

I eagerly await your implementation of a type describing my tax return. And to implement a compiler for the new programming language you'll inevitably have to construct, we're gonna need two types, one expressing all valid source programs, and the other all valid programs for the target platform.

Oh, can we also get updates to that for next year's taxes, new platforms, and other such future business needs? Of course the current requirements have to still remain supported.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: