Is a Perfect Programming Language Possible
There is probably no operating system that has never been hacked. Operating system and programming language bugs and hacking tips are found all over the internet for every major operating system. Every operating system and language must be regularly update to fix these errors.
Is it even possible to write a comprehensive, bug free programming language?
No it is not. The reason is bevause of one of the most fundamental theorems in logic - Godel's Incompleteness Theorem, which states, 'There is no complete consistent system of first order logic'. It follows that any system derived from first order logic - for example a programming language - cannot be complete - able to carry out any calculation - and consistent. The same logic can be applied to languages. No language can be both completely descriptive and consistent.