Kaya is a compiled programming language, statically typed, meaning that the compiler will help you by checking for consistent variable usage and reporting errors before you run your program.
Kaya also uses type inference, meaning that the types of variables are worked out by the compiler, so there is no need for you to declare local variables, or use type casts.
Kaya also contains many features and libraries for web developers, allowing secure web applications to be developed fast at high-quality.
Kaya is useful for complex scripting tasks and small to medium scale web applications; the type system makes it simple to represent complex data structures (e.g. records, results of database queries, directory trees...) with very little code.
Static typing catches a large class of common errors at compile time (e.g. referring to the wrong part of a data structure), while type inference removes many of the overheads commonly associated with strong static typing (e.g. having to declare local variables).
Kaya includes support for "tagged union" data structures, a powerful feature more commonly found in functional languages such as Ocaml and Haskell.
Here are some key features of "Kaya":
· Cross-platform
· Powerful and unobtrusive type system
· Built-in web development libraries
· Partial function application and anonymous functions
· Large range of standard library functions
· Automatic garbage collection via libgc
· Foreign functions interface to call C libraries
· Exception handling
· A module system
· Usable as a scripting language with `#!` line
Requirements:
· GHC
· Happy
What`s New in This Release: [ read full changelog ]
· Fix bug with compilation of functions with type signatures only
· differing by return types (changes Pickle format)
· Fix large inefficiency in String concatenation
· Fix inefficiency in some Regex operations
· Added %test directive so that unit tests can be run automatically
· after compilation.
· Added unit tests to some standard library modules
· Added RPC.k and distrib.ks for making distributed/parallel applications
· Added Tainted input support (mainly for CGI programs)
· Added %nodoc directive to suppress documentation generation
· Added -dynamic compiler flag and Plugins module
