janet/README.md

152 lines
4.7 KiB
Markdown
Raw Normal View History

# dst
2017-02-09 20:02:59 +00:00
[![Build Status](https://travis-ci.org/bakpakin/dst.svg?branch=master)](https://travis-ci.org/bakpakin/dst)
2018-02-02 05:13:02 +00:00
[![Appveyor Status](https://ci.appveyor.com/api/projects/status/32r7s2skrgm9ubva?svg=true)](https://ci.appveyor.com/project/bakpakin/dst)
2017-06-25 23:56:17 +00:00
2018-05-19 01:31:46 +00:00
Dst is a functional and imperative programming language and bytecode interpreter. It is a
modern lisp, but lists are replaced
by other data structures with better utility and performance (arrays, tables, structs, tuples).
2018-05-19 01:31:46 +00:00
The language can also easily bridge to native code written in C, and supports abstract datatypes
for interfacing with C. Also support meta programming with macros, and bytecode assembly for the
dst abstract machine. The bytecode vm is a register based vm loosely inspired by the LuaJIT
bytecode format, but simpler and safer (bytecode can be verified by the assembler).
2017-04-25 22:22:43 +00:00
2017-07-02 02:46:56 +00:00
There is a repl for trying out the language, as well as the ability
2017-04-25 22:22:43 +00:00
to run script files. This client program is separate from the core runtime, so
dst could be embedded into other programs.
2017-04-25 22:22:43 +00:00
Implemented in mostly standard C99, dst runs on Windows, Linux and macOS.
The few features that are not standard C (dynamic library loading, compiler specific optimizations),
are fairly straight forward. Dst can be easily ported to new platforms.
2018-03-16 22:15:34 +00:00
There is not much in the way of documentation yet because it is still a "personal project" and
I don't want to freeze features prematurely. You can look in the examples directory, the test directory,
2018-07-04 04:17:34 +00:00
or the file `src/core/core.dst` to get a sense of what dst code looks like.
2018-03-16 22:15:34 +00:00
2018-06-26 18:06:38 +00:00
For syntax highlighting, there is some preliminary vim syntax highlighting in [dst.vim](https://github.com/bakpakin/dst.vim).
2018-07-04 04:17:34 +00:00
Generic lisp syntax highlighting should, however, provide good results.
2018-05-19 01:31:46 +00:00
## Features
* First class closures
* Garbage collection
* First class green threads (continuations)
* Mutable and immutable arrays (array/tuple)
* Mutable and immutable hashtables (table/struct)
* Mutable and immutable strings (buffer/string)
2018-07-04 04:17:34 +00:00
* Lisp Macros
* Byte code interpreter with an assembly interface, as well as bytecode verification
2018-01-29 20:46:26 +00:00
* Proper tail calls.
* Direct interop with C via abstract types and C functions
* Dynamically load C libraries
* Functional and imperative standard library
* Lexical scoping
2018-07-04 04:17:34 +00:00
* Imperative programming as well as functional
2018-01-29 20:46:26 +00:00
* REPL
2018-07-04 04:17:34 +00:00
* Interactive environment with detailed stack traces
* SQLite bindings
2018-05-19 01:31:46 +00:00
2018-06-26 18:06:38 +00:00
## Documentation
2018-05-19 01:31:46 +00:00
API documentation and design documents can be found in the
2018-07-04 04:17:34 +00:00
[wiki](https://github.com/bakpakin/dst/wiki). Not at all complete.
2018-03-16 19:52:56 +00:00
## Usage
A repl is launched when the binary is invoked with no arguments. Pass the -h flag
2018-05-19 01:31:46 +00:00
to display the usage information. Individual scripts can be run with `./dst myscript.dst`
2018-03-16 19:52:56 +00:00
2018-07-04 04:17:34 +00:00
If you are looking to explore, you can print a list of all available macros, functions, and constants
by entering the command `(all-symbols)` into the repl.
2018-03-16 19:52:56 +00:00
```
$ ./dst
Dst 0.0.0 alpha Copyright (C) 2017-2018 Calvin Rose
2018-07-04 04:17:34 +00:00
dst:1:> (+ 1 2 3)
2018-03-16 19:52:56 +00:00
6
2018-07-04 04:17:34 +00:00
dst:2:> (print "Hello, World!")
2018-03-16 19:52:56 +00:00
Hello, World!
nil
2018-07-04 04:17:34 +00:00
dst:3:> (os.exit)
2018-03-16 19:52:56 +00:00
$ ./dst -h
usage: ./dst [options] scripts...
Options are:
2018-07-04 04:17:34 +00:00
-h Show this help
-v Print the version string
-s Use raw stdin instead of getline like functionality
-e Execute a string of dst
-r Enter the repl after running all scripts
-p Keep on executing if there is a top level error (persistent)
-- Stop handling option
2018-03-16 19:52:56 +00:00
$
```
2017-04-25 22:22:43 +00:00
## Compiling and Running
2018-03-18 13:13:21 +00:00
Dst can be built with Make or CMake.
Use Make if you are on a posix system and don't like CMake.
Use CMake if you are on Windows or like CMake.
2018-01-29 20:46:26 +00:00
2018-03-18 13:13:21 +00:00
### Make
```sh
cd somewhere/my/projects/dst
make
make test
```
### CMake
2018-07-04 04:17:34 +00:00
On a posix system using make as the target build system,
compiling and running is as follows (this is the same as
2018-01-29 20:46:26 +00:00
most CMake based projects).
2017-04-25 22:22:43 +00:00
```sh
2018-01-29 20:46:26 +00:00
cd somewhere/my/projects/dst
mkdir -p build
cd build
cmake -DCMAKE_BUILD_TYPE=Release ..
make
make test
2017-04-25 22:22:43 +00:00
```
2018-01-29 20:46:26 +00:00
The repl can also be run with the CMake run target.
```sh
2018-01-29 20:46:26 +00:00
make run
2017-04-25 22:22:43 +00:00
```
2018-03-18 19:05:31 +00:00
## Examples
2018-03-16 19:52:56 +00:00
See the examples directory for some example dst code.
2018-07-04 04:17:34 +00:00
## SQLite bindings
There are some sqlite3 bindings in the directory natives/sqlite3. They serve mostly as a
proof of concept external c library. To use, first compile the module with Make.
```sh
make natives
```
Next, enter the repl and create a database and a table.
```
2018-07-04 15:06:10 +00:00
dst:1:> (import natives.sqlite3 :as sql)
2018-07-04 04:17:34 +00:00
nil
dst:2:> (def db (sql.open "test.db"))
<sqlite3.connection 0x5561A138C470>
dst:3:> (sql.eval db `CREATE TABLE customers(id INTEGER PRIMARY KEY, name TEXT);`)
@[]
dst:4:> (sql.eval db `INSERT INTO customers VALUES(:id, :name);` {:name "John" :id 12345})
@[]
dst:5:> (sql.eval db `SELECT * FROM customers;`)
@[{"id" 12345 "name" "John"}]
```
Finally, close the database connection when done with it.
```
dst:6:> (sql.close db)
nil
```