|
|
|
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. |
|
|
|
Etude RTOS