1kaya(1) Kaya program reference kaya(1)
2
3
4
6 Kaya - Top-level interpreter for the kaya language
7
9 kaya FILE [-L DIRECTORY [-L ...]] [-libdir DIRECTORY [-libdir ...]]
10 [-force] [-nochase] [-noprelude] [-nortchecks] [-noopts] [-htmldocs]
11 [-xmldocs] [-static] [-profile] [-seedkey STRING] [-dumptac] [-dumpraw]
12 [-dumptree] [-dumpsimpl] [-dumpeqns] [-dumpcg] [-dumpdeps] [-keepc]
13 [-showgcc]
14
16 kaya is a top-level interpreter for the kaya language. It implements a
17 read-eval-print loop, useful for quick evaluation and testing of func‐
18 tions.
19
21 kaya takes the same options as kayac(1) with the same meaning (although
22 not all options are necessarily useful in this context.
23
25 A set of interpreter commands can be obtained by typing :? at the
26 interpreter prompt.
27
29 _
30| |____ _ _ _ __ _ Kaya top level, version 0.2.6
31| / / _` | || / _` | http://kayalang.org/
32|_\_\__,_|\_, \__,_| Type :? for help
33 |__/
34
35Kaya> abs(-4)
36Returned (Int): 4
37Kaya> putStrLn("foo")
38foo
39Kaya> putStrLn(foo)
40(top level):1:Unknown name:foo
41Kaya> putStrLn(5)
42(top level):1:Type error in constant 5; has type Int, expected String
43Kaya> putStrLn(abs(5))
44(top level):1:Type error in application of 'abs'; has type Int(Int),
45expected String(t6)
46Kaya> :l stdlib/Strings.k
47Compiling module Strings
48Strings> lc("aBcDe")
49Returned (String): abcde
50Strings> :q
51
52
54 KAYA_LIBRARY_PATH
55 A list of extra paths to search for kaya libraries. Paths are
56 separated by ':' on Posix systems, and ';' on Windows.
57
59 The latest release of Kaya can be obtained from <http://kay‐
60 alang.org/download>. You can receive announcements of new versions of
61 Kaya by subscribing to the kaya-announce mailing list
62 <http://lists.kayalang.org/lists/listinfo/kaya-announce>
63
64 Development versions can be obtained using darcs(1) from <http://kay‐
65 alang.org/darcs/>
66
67
69 Please report bugs found to <kaya@kayalang.org>
70
71 kaya does not currently support all features of the Kaya language.
72
73
75 kaya is free software; you can redistribute it and/or modify it under
76 the terms of the GNU General Public License (version 2 or any later
77 version) as published by the Free Software Foundation.
78
79
81 kayac(1)
82
83
84
85Kaya July 2007 kaya(1)