What are the programming languages that compile to native code and which have provided a comprehensive library with them?
Libraries that includes functionality such as N
Delphi meets all those requirements. This is a development environment based on the Object Pascal language.
Swift by Apple, but now Open Source, compiles to native code and is available for OS X and Linux.
Batteries are completely included for Mac OS X and iOS through Apple's extensive libraries/APIs, and support for OS independence is on the way with the development of core libraries.
Is Objective-C with Cocoa/CocoaTouch an acceptable answer?
You can use this pair for programming applications running on devices with restrictive constraints on batteries (laptops and mobile phones).
Hmmm. The funny thing is, most OSes have native APIs for all that stuff. So all you really need is a language that can link in OS calls. Pretty much any compiled language worth its salt will do that.
I am currently working with Qt.
http://doc.trolltech.com/4.5/index.html
Edit: a Nitpick..
A programming 'language' is a grammar and set of semantics and syntax. It contains NONE of the things you are asking about. What you want to know about is API's, not languages.