This page shows some of the reasons why you should use Kaya, with examples of code. See the language tutorials for explanations of any syntax that isn’t clear at first glance.
Powerful and unobtrusive type system
Kaya’s powerful type system makes it easy to meaningfully represent complex data structures in your program, allowing many bugs to be found at compile time. Type inference means that the need to explicitly write types down is minimised.
Built-in web development libraries
The Kaya standard library includes many features for web developers, including easy state management between pages, a code development model ensuring high-quality cross-browser HTML, and single-function access to commonly-needed features such as refilling forms. Security is today a major concern on the web, and Kaya’s web development model allows you to easily minimise the risks of cross-site scripting and remote code execution.