Kaya

Kaya is a programming language with a powerful type system, static type checking and type inference. Kaya is a compiled language with a powerful and unobtrusive type system, allowing many bugs to be found at compile time. Type inference means that the need to explicitly write types down is minimised, while polymorphic records and functions, together with ad-hoc function overloading, allow easy writing of general functions. Kaya allows functions to be partially applied, with the remaining parameters completed later. This allows easy development of generalised functions, evaluation of expensive functions to be postponed until necessary, and separation of program code into logical chunks to be done without sacrificing efficiency. Anonymous...