---
name: "kaya"
section: "1"
platform: "linux"
package: "kaya"
version: "0.4.4-6.2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/kaya"
---

# kaya(1)

Top-level interpreter for the kaya language

## NAME

Kaya - Top-level interpreter for the kaya language

## SYNOPSIS

**kaya** *FILE \[-L DIRECTORY \[-L ...\]\] \[-libdir DIRECTORY \[-libdir ...\]\] \[-force\] \[-nochase\] \[-noprelude\] \[-nortchecks\] \[-noopts\] \[-htmldocs\] \[-xmldocs\] \[-static\] \[-profile\] \[-seedkey STRING\] \[-dumptac\] \[-dumpraw\] \[-dumptree\] \[-dumpsimpl\] \[-dumpeqns\] \[-dumpcg\] \[-dumpdeps\] \[-keepc\] \[-showgcc\]*

## DESCRIPTION

**kaya** is a top-level interpreter for the kaya language. It implements a read-eval-print loop, useful for quick evaluation and testing of functions.

## OPTIONS

**kaya** takes the same options as **[kayac(1)](/kayac/1.md)** with the same meaning (although not all options are necessarily useful in this context.

## DOCUMENTATION

A set of interpreter commands can be obtained by typing **:?** at the interpreter prompt.

## EXAMPLE OF USAGE

```
 _
| |____ _ _  _ __ _   Kaya top level, version 0.2.6
| / / _` | || / _` |  http://kayalang.org/
|_\_\__,_|\_, \__,_|  Type :? for help
         |__/
Kaya> abs(-4)
Returned (Int): 4
Kaya> putStrLn("foo")
foo
Kaya> putStrLn(foo)
(top level):1:Unknown name:foo
Kaya> putStrLn(5)
(top level):1:Type error in constant 5; has type Int, expected String
Kaya> putStrLn(abs(5))
(top level):1:Type error in application of 'abs'; has type Int(Int),
expected String(t6)
Kaya> :l stdlib/Strings.k
Compiling module Strings
Strings> lc("aBcDe")
Returned (String): abcde
Strings> :q
```

## ENVIRONMENT VARIABLES

- **KAYA\_LIBRARY\_PATH**

  A list of extra paths to search for kaya libraries. Paths are separated by ':' on Posix systems, and ';' on Windows.

## OBTAINING

The latest release of Kaya can be obtained from \<http://kayalang.org/download\>. You can receive announcements of new versions of Kaya by subscribing to the kaya-announce mailing list \<http://lists.kayalang.org/lists/listinfo/kaya-announce\>

Development versions can be obtained using **[darcs(1)](/darcs/1.md)** from \<http://kayalang.org/darcs/\>

## BUGS

Please report bugs found to \<kaya@kayalang.org\>

**kaya** does not currently support all features of the Kaya language.

## LICENSE

**kaya** is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License (version 2 or any later version) as published by the Free Software Foundation.

## SEE ALSO

**[kayac(1)](/kayac/1.md)**