Debian Developers - Bug#320967: ITP: kaya -- A Statically typed, imperative programming language

This is Interesting: Free IT Magazines  
Home > Archive > Debian Developers > August 2005 > Bug#320967: ITP: kaya -- A Statically typed, imperative programming language





You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author Bug#320967: ITP: kaya -- A Statically typed, imperative programming language
Stuart Teasdale

2005-08-02, 6:06 pm

Package: wnpp
Severity: wishlist
Owner: Stuart Teasdale <stu@drogna.org.uk>

* Package name : kaya
Version : 0.1.24
Upstream Author : Edwin Brady <ecb@compsoc.dur.ac.uk>
* URL : http://compsoc.dur.ac.uk/kaya/
* License : GPL
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.
Sponsored Links






Free braindumps | Software forum | Database administration forum

Copyright 2003 - 2008 webservertalk.com