1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Source: kaya
Section: devel
Priority: extra
Maintainer: Stuart Teasdale <stu@drogna.org.uk>
Build-Depends: debhelper (>= 4.0.0), autotools-dev, ghc6 (>=6.6), libghc6-mtl-dev, libgc-dev, happy, libpcre3-dev, libncurses5-dev, libgcrypt-dev, libgnutls-dev
Standards-Version: 3.7.2
Package: kaya
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, libgc-dev, g++-4.1, libncurses5-dev, libgcrypt-dev, libgnutls-dev
Description: 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.
|
