|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
kaya
kaya | A statically typed, imperative programming language | Priority | |
Section | devel |
Installed size | 4216 |
Maintainer | Stuart Teasdale <stu@drogna.org.uk> |
Architecture | i386 |
Version | 0.2.0-6 |
Depends | libc6 (>= 2.3.6-6), libgc1c2, libgcc1 (>= 1 |
Suggests | lame |
File name | pool/main/k/kaya/kaya_0.2.0-6_i386.deb |
Description | 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. |
|
|