kaya
A statically typed, imperative programming language
Install
- All systems
-
curl cmd.cat/kaya.sh
- Debian
-
apt-get install kaya - Ubuntu
-
apt-get install kaya - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install kaya - Raspbian
-
apt-get install kaya - Dockerfile
- dockerfile.run/kaya
kaya
A statically typed, imperative programming language
Kaya is a compiled statically typed (ie, types are checked at compile time) imperative programming language; unlike other such languages, however, types are inferred rather than declared - there is no need for type declarations of local variables. Kaya has "tagged union" data structures, a powerful feature more commonly found in functional languages such as OCaml and Haskell. Kaya also has built-in abstractions for web application development, making it easy to write a CGI program without paying too much attention to low level details such as state management and form handling.