picrin/lib
Lassi Kortela 311abc4d5f Rewrite tools/mkboot.scm in Perl
Now we don't have to depend on a bin/picrin-bootstrap binary.

The old mkboot.scm filtered the Scheme source code through `read` and
`write`. This step removed extra whitespace and comments, but required
mkboot to depend on Scheme. In practice, the whitespace and comments
are not a problem, but the dependency is.

Discussed with Masanori Ogino.
2024-03-01 21:08:12 +09:00
..
ext Rewrite tools/mkboot.scm in Perl 2024-03-01 21:08:12 +09:00
include library system is now implemeted in scheme 2017-04-03 00:37:37 +09:00
README.md update READMEs 2017-03-29 08:11:20 +09:00
blob.c add assertions to type cast functions 2017-04-02 00:15:23 +09:00
bool.c inline pic_eq_p when nan boxing is enabled 2017-03-30 22:41:32 +09:00
char.c redefine value constructors/destructors as inline functions 2017-03-29 07:58:08 +09:00
cont.c bugfix: no allocation between call of producer and pic_receive 2017-04-02 00:15:16 +09:00
data.c add extra parameter to obj_ptr and obj_value 2017-03-29 08:32:28 +09:00
debug.c manage ireps by gc 2017-03-30 23:29:08 +09:00
dict.c add dictionary-delete! and dictionary-has? 2017-04-01 20:00:30 +09:00
error.c WIP: reimplement library system in scheme 2017-04-02 22:15:38 +09:00
gc.c WIP: reimplement library system in scheme 2017-04-02 22:15:38 +09:00
khash.h add value.h 2017-03-29 07:11:27 +09:00
number.c redefine value constructors/destructors as inline functions 2017-03-29 07:58:08 +09:00
object.h WIP: reimplement library system in scheme 2017-04-02 22:15:38 +09:00
pair.c add extra parameter to obj_ptr and obj_value 2017-03-29 08:32:28 +09:00
port.c add extra parameter to obj_ptr and obj_value 2017-03-29 08:32:28 +09:00
proc.c bugfix: fix sequence point violation 2017-04-01 17:55:38 +09:00
record.c add extra parameter to obj_ptr and obj_value 2017-03-29 08:32:28 +09:00
state.c library system is now implemeted in scheme 2017-04-03 00:37:37 +09:00
state.h use dictionary for pic->globals 2017-04-02 22:19:11 +09:00
string.c library system is now implemeted in scheme 2017-04-03 00:37:37 +09:00
symbol.c remvoe unused string APIs 2017-03-30 16:19:20 +09:00
var.c bugfix: initial value of parameter must be registered to the top 2017-04-02 01:13:03 +09:00
vector.c WIP: reimplement library system in scheme 2017-04-02 22:15:38 +09:00
vm.h tear off contexts when invoking a continuation 2017-04-01 17:32:36 +09:00
weak.c make-ephemeron -> make-ephemeron-table 2017-03-31 15:59:22 +09:00

README.md

libpicrin

libpicrin is a super tiny scheme interpreter intended to be embedded in other applications such as game engine and network server. It provides a subset language of R7RS with several useful extensions. By default, libpicrin only contains some C files and headers and this README file. To embed, you only need to copy the files into the project and add include dir to the include path.

Originally, libpicrin used to be the core component of Picrin Scheme. They are currently maintained at separate repositories.

Example

#include <stdio.h>

#include "picrin.h"
#include "picrin/extra.h"

/* Simple REPL program */

int
main(int argc, char *argv[])
{
  pic_state *pic;
  pic_value expr;

  pic = pic_open(pic_default_allocf, NULL);

  while (1) {
    printf("> ");

    expr = pic_read(pic, pic_stdin(pic));

    if (pic_eof_p(pic, expr)) {
      break;
    }

    pic_printf(pic, "~s\n", pic_eval(pic, expr, "picrin.user"));
  }

  pic_close(pic);

  return 0;
}

More Example

Function binding is also easy. pic_defun defines a scheme procedure converting from a C function. In the native function, callee arguments can be taken with pic_get_args. pic_get_args gets arguments according to the format string. If actual arguments does not match a number or incompatible types, it will raise an exception.

#include "picrin.h"
#include "picrin/extra.h"

int fact(int i) {
  return i == 1 ? 1 : i * fact(i - 1);
}

pic_value factorial(pic_state *pic) {
  int i;

  pic_get_args(pic, "i", &i);

  return pic_int_value(pic, fact(i));
}

int
main(int argc, char *argv[])
{
  pic_state *pic = pic_open(pic_default_allocf, NULL);

  pic_defun(pic, "fact", factorial); /* define fact procedure */

  pic_load_cstr(pic, "(display (fact 10))");

  pic_close(pic);

  return 0;
}

Language

All procedures and syntaces are exported from a single library named (picrin base). The complete list is found at https://gist.github.com/wasabiz/344d802a2340d1f734b7 .

call/cc

Full continuation has many problems in embbeding into applications. By default, libpicrin's call/cc operator does not support continuation that can handle re-entering (it only supports escape continuations). To remove this restriction, please use an add-on provided from Picrin Scheme's repository.

Strings

libpicrin utilize rope data structure to implement string type. Thanks to the implementation, string-append is guaranteed to be done in a constant time (so do string-copy, when ascii-only mode is enabled). In return for that, strings in libpicrin are immutable by default. It does not provide mutation API (string-set!, string-copy! and string-fill! in R7RS). This restriction can be also removed with an add-on in Picrin Scheme's repository.

Dictionaries

Dictionary is a hash table from symbol to object.

Authors

See https://github.com/picrin-scheme/picrin for details.

LICENSE

Copyright (c) 2013-2017 Yuichi Nishiwaki and other picrin contributors

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.