kaya

Langue: en

Version: July 2007 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

Sommaire

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) 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) 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)