Android SDK vs. CodeIgniter vs. Yesod

Android provides a rich application framework that allows you to build innovative apps and games for mobile devices in a Java language environment.

CodeIgniter is a proven, agile & open PHP web application framework with a small footprint. It is powering the next generation of web apps.

Yesod believes in the philosophy of making the compiler your ally, not your enemy. We use the type system to enforce as much as possible, from generating proper links, to avoiding XSS attacks, to dealing with character encoding issues. In general, if your code compiles, it works. And instead of declaring types everywhere you let the compiler figure them out for you with type inference.