DeGuerre

4 ms·

1. 1.▲
   by DeGuerre 13y ago

   Yes, someone has indeed tried this. It's called "Hack".
2. 2.▲
   by DeGuerre 13y ago

   I assume that "local inference" means, in practice, "no let-polymorphism". That's what causes most of the headaches with extensions to Hindley-Milner (including the undecidability of subtyping).
3. 3.▲
   by DeGuerre 13y ago

   PHP's syntax is not what's preventing you from writing large maintainable systems in it. Many of the more successful languages throughout history became successful BECAUSE they used a syntax that's superficially similar to so
4. 4.▲
   by DeGuerre 13y ago

   What you say is technically correct, which is the best kind of correct. However, fewer than 1% of Windows programmers ever talk to NTOSKRNL, and probably an order of magnitude fewer do it regularly. Most of the time, you're talking to