pebblisp/src/pebblisp.c

436 lines
10 KiB
C
Raw Normal View History

2016-04-18 04:25:36 -04:00
#include "pebblisp.h"
#include "tokens.h"
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
void copySlice(char * dest, struct Slice *src)
{
if(!dest || !src)
return;
strncpy(dest, src->text, src->length);
2020-05-04 18:14:41 -04:00
dest[(int)src->length] = '\0';
2016-04-18 04:25:36 -04:00
}
void debugSlice(struct Slice *s)
{
printd("Debug Slice\n text:'");
2016-04-18 04:25:36 -04:00
for(int i = 0; i < s->length; i++) {
printd("%c", s->text[i]);
2016-04-18 04:25:36 -04:00
}
printd("'\n");
printd(" length: %d\n", s->length);
2016-04-18 04:25:36 -04:00
}
Object fetchFromEnvironment(const char *name, struct Environment *env)
{
2020-05-05 13:42:28 -04:00
if(!env)
return errorObject(NULL_ENV);
printd("Fetching '%s' from env\n", name);
2020-05-05 13:42:28 -04:00
printEnv(env);
2016-04-18 04:25:36 -04:00
int i = 0;
const char *next = env->strings[i];
while(next != NULL) {
if(strcmp(name, next) == 0) {
return env->objects[i];
}
next = env->strings[++i];
}
printd("Trying outer\n");
2020-05-05 13:42:28 -04:00
if(env->outer) {
return fetchFromEnvironment(name, env->outer);
}
return errorObject(DID_NOT_FIND_SYMBOL);
2016-04-18 04:25:36 -04:00
}
Result parse(struct Slice *slices)
{
struct Slice *token = slices;
struct Slice *rest;
if(token->text != NULL) {
rest = &slices[1];
} else {
2020-05-05 13:42:28 -04:00
return R(errorObject(NULL_PARSE), NULL);
2016-04-18 04:25:36 -04:00
}
if(token->text[0] == '(') {
// todo check for null rest
return readSeq(rest);
} else { // todo error on closed paren
return R(parseAtom(token), rest);
}
}
Result readSeq(struct Slice *tokens)
{
2020-05-04 18:14:41 -04:00
Object res = listObject();
2016-04-18 04:25:36 -04:00
for(;;) {
struct Slice *next = &tokens[0];
struct Slice *rest = next->text? &next[1] : NULL;
if(next->text[0] == ')') {
return R(res, rest);
}
Result r = parse(tokens);
2020-05-04 18:14:41 -04:00
addToList(&res, r.obj);
2016-04-18 04:25:36 -04:00
tokens = r.slices;
}
}
Object parseAtom(struct Slice *s)
{
if(isDigit(s->text[0])) {
int num = 0;
2016-04-18 04:25:36 -04:00
for(int i = 0; i < s->length; i++) {
num *= 10;
num += s->text[i] - '0';
2016-04-18 04:25:36 -04:00
}
return numberObject(num);
2020-05-04 10:03:35 -04:00
} else if (s->text[0] == 'T' && s->text[1] == '\0') {
return boolObject(1);
2020-05-04 10:03:35 -04:00
} else if (s->text[0] == 'F' && s->text[1] == '\0') {
return boolObject(0);
2016-04-18 04:25:36 -04:00
} else {
Object o = symbolObject();
2016-04-18 04:25:36 -04:00
copySlice(o.name, s);
return o;
2016-04-18 04:25:36 -04:00
}
}
2020-05-04 18:14:41 -04:00
Object evalDefArgs(const Object *arg_forms, struct Environment *env)
2020-05-04 10:03:35 -04:00
{
2020-05-04 18:14:41 -04:00
const Object *first_form = &arg_forms[0];
const char *name = first_form->name;
2020-05-04 10:03:35 -04:00
2020-05-04 18:14:41 -04:00
Object second_eval = eval(first_form->forward, env);
2020-05-04 10:03:35 -04:00
2020-05-04 18:14:41 -04:00
addToEnv(env, name, second_eval);
2020-05-04 10:03:35 -04:00
2020-05-04 18:14:41 -04:00
return *first_form;
}
2020-05-04 10:03:35 -04:00
2020-05-04 18:14:41 -04:00
Object evalIfArgs(const Object *arg_forms, struct Environment *env)
{
return eval(arg_forms, env).number?
eval(arg_forms->forward, env) :
eval(arg_forms->forward->forward, env);
2020-05-04 10:03:35 -04:00
}
2020-05-05 13:42:28 -04:00
Object evalLambdaArgs(const Object *arg_forms)
{
2020-05-05 19:21:54 -04:00
// params // body
return constructLambda(arg_forms, arg_forms->forward);
2020-05-05 13:42:28 -04:00
}
2020-05-06 11:58:09 -04:00
Object evalMapArgs(const Object *arg_forms)
{
return listObject();
}
2020-05-05 13:42:28 -04:00
struct Environment envForLambda(const Object *params, const Object *arg_forms,
struct Environment *outer)
{
printd("\n#####################\nenvForLambda()\n");
debugObj(arg_forms);
2020-05-05 13:42:28 -04:00
struct Environment env;
env.outer = outer;
env.strings = NULL;
env.objects = NULL;
int length = listLength(params);
if(length == 0)
return env;
env.strings = calloc(sizeof(char*), length);
env.objects = malloc(sizeof(Object) * length);
Object vs[length];
eval_forms(vs, arg_forms, outer);
for(int i = 0; i < length; i++) {
const char *n = itemAt(params, i)->name;
addToEnv(&env, n, eval(&arg_forms[i], outer)); // May not need eval?
} // Something is segfaulting, anyway
env.strings[length] = NULL;
printd("envForLambda env IT BROKE HERE()\n");
printd("envForLambda length=%d\n", length);
2020-05-05 13:42:28 -04:00
printEnv(&env);
printd("END envForLambda()\n\n");
2020-05-05 13:42:28 -04:00
return env;
}
Object evalBuiltIns(const Object *first, const Object *rest,
2020-05-04 10:03:35 -04:00
struct Environment *env)
{
if(strcmp(first->name, "def") == 0) {
2020-05-04 18:14:41 -04:00
return evalDefArgs(rest, env);
2020-05-06 03:09:25 -04:00
} else if(strcmp(first->name, "if") == 0) {
2020-05-04 10:03:35 -04:00
return evalIfArgs(rest, env);
2020-05-06 03:09:25 -04:00
} else if(strcmp(first->name, "fn") == 0) {
2020-05-05 13:42:28 -04:00
return evalLambdaArgs(rest);
2020-05-06 11:58:09 -04:00
} else if(strcmp(first->name, "mp") == 0) {
return evalMapArgs(rest);
2020-05-04 10:03:35 -04:00
}
2020-05-05 13:42:28 -04:00
return errorObject(BUILT_IN_NOT_FOUND);
}
void eval_forms(Object *destList, const Object *src, struct Environment *env)
{
int length = listLength(src) - 1; // Not counting first_form
for(int i = 0; i < length; i++) { // Evaluates all in list
destList[i] = eval(itemAt(src, i + 1), env); // Skip the first
}
2020-05-04 10:03:35 -04:00
}
Object eval(const Object *obj, struct Environment *env)
2016-04-18 04:25:36 -04:00
{
printd("eval():\n");
debugObj(obj);
2016-04-18 04:25:36 -04:00
switch(obj->type) {
case TYPE_NUMBER:
2020-05-04 10:03:35 -04:00
case TYPE_BOOL:
2020-05-06 03:09:25 -04:00
return *obj; // Return as is
2020-05-04 10:03:35 -04:00
case TYPE_SYMBOL:
2020-05-05 13:42:28 -04:00
return fetchFromEnvironment(obj->name, env);
2020-05-04 10:03:35 -04:00
2016-04-18 04:25:36 -04:00
case TYPE_LIST:
{
2020-05-06 03:09:25 -04:00
if(listLength(obj) == 0)
return *obj;
2020-05-05 13:42:28 -04:00
if(listLength(obj) == 1)
return eval(obj->list, env);
Object *first_form = obj->list;
2020-05-04 10:03:35 -04:00
{ // Try to eval built-ins
Object built_in =
2020-05-05 13:42:28 -04:00
evalBuiltIns(first_form, first_form->forward, env);
2020-05-04 10:03:35 -04:00
2020-05-06 03:09:25 -04:00
// deleteList(obj); // Decreases indirectly lost memory, but fails on Pebble
2020-05-05 13:42:28 -04:00
if(built_in.type != TYPE_ERROR)
2020-05-04 10:03:35 -04:00
return built_in;
}
2020-05-05 13:42:28 -04:00
Object first_eval = eval(first_form, env);
if(first_eval.type == TYPE_FUNC) {
int length = listLength(obj) - 1; // Not counting first_form
Object rest[length];
eval_forms(rest, obj, env);
Object func_eval = rest[0];
for(int i = 1; i < length; i++) {
func_eval = first_eval.func(func_eval, rest[i]);
}
2020-05-06 03:09:25 -04:00
// deleteList(obj); // Decreases indirectly lost memory, but fails on Pebble
2020-05-05 13:42:28 -04:00
return func_eval;
2020-05-05 13:42:28 -04:00
} else if (first_eval.type == TYPE_LAMBDA) {
struct Environment newEnv =
envForLambda(&first_eval.lambda->params, first_form->forward, env);
return eval(&first_eval.lambda->body, &newEnv);
2020-05-05 13:42:28 -04:00
} else {
2020-05-06 11:58:09 -04:00
return *obj;
2020-05-05 13:42:28 -04:00
}
}
case TYPE_LAMBDA:
return errorObject(UNEXPECTED_FORM);
2016-04-18 04:25:36 -04:00
default:
;
}
2020-05-05 13:42:28 -04:00
return *obj;
2016-04-18 04:25:36 -04:00
}
Result resultFromObjAndSlices(Object obj, struct Slice *slices)
{
Result r;
r.obj = obj;
r.slices = slices;
return r;
}
2020-05-04 18:14:41 -04:00
// todo could include and return a starting index for faster multi-adds
void addToEnv(struct Environment *env, const char *name, const Object obj)
{
int i;
for(i = 0; i < MAX_ENV_ELM; i++) {
if(env->strings[i] == NULL) {
env->strings[i] = malloc(sizeof(name));
strncpy(env->strings[i], name, MAX_TOK_LEN);
env->objects[i] = obj;
break;
}
2020-05-05 13:42:28 -04:00
if(strcmp(env->strings[i], name) == 0) {
2020-05-06 03:09:25 -04:00
cleanObject(&env->objects[i]);
2020-05-05 13:42:28 -04:00
env->objects[i] = obj;
break;
}
}
}
void printEnv(struct Environment *env)
{
2020-05-06 03:09:25 -04:00
if(!env) {
printd("NULL env\n");
return;
}
2020-05-05 13:42:28 -04:00
for(int i = 0; i < MAX_ENV_ELM; i++) {
if(env->strings[i] == NULL)
return;
printd("env[%d]: '%s'\n ", i, env->strings[i]);
debugObj(&env->objects[i]);
2020-05-04 18:14:41 -04:00
}
}
2016-04-18 04:25:36 -04:00
Object basicOp(Object *obj1, Object *obj2, const char op)
{
2020-05-04 18:14:41 -04:00
const int n1 = obj1->number;
const int n2 = obj2->number;
2016-04-18 04:25:36 -04:00
switch(op){
case '+':
return numberObject(n1 + n2);
2016-04-18 04:25:36 -04:00
case '-':
return numberObject(n1 - n2);
2016-04-18 04:25:36 -04:00
case '*':
return numberObject(n1 * n2);
2016-04-18 04:25:36 -04:00
case '/':
return numberObject(n1 / n2);
2016-04-18 04:25:36 -04:00
2020-05-04 10:03:35 -04:00
case '=':
return boolObject(n1 == n2);
2020-05-04 10:03:35 -04:00
case '>':
return boolObject(n1 > n2);
2020-05-04 10:03:35 -04:00
case '<':
return boolObject(n1 < n2);
2020-05-04 10:03:35 -04:00
}
2016-04-18 04:25:36 -04:00
return *obj1;
2020-05-04 10:03:35 -04:00
}
2016-04-18 04:25:36 -04:00
2020-05-04 10:03:35 -04:00
#define bopf(_name, _char) \
Object _name(Object obj1, Object obj2) \
{ return basicOp(&obj1, &obj2, _char); }
2016-04-18 04:25:36 -04:00
2020-05-04 10:03:35 -04:00
bopf(add, '+');
bopf(sub, '-');
bopf(mul, '*');
bopf(dvi, '/');
bopf(equ, '=');
2020-05-04 18:14:41 -04:00
bopf(gth, '>');
bopf(lth, '<');
2016-04-18 04:25:36 -04:00
void addFunc(const char *name, Object (*func)(Object, Object),
struct Environment *env)
{
2020-05-04 18:14:41 -04:00
Object o;
o.type = TYPE_FUNC;
o.forward = NULL;
o.func = func;
addToEnv(env, name, o);
}
void deleteEnv(struct Environment *e)
{
int i = 0;
while(e->strings[i]) {
free(e->strings[i]);
i++;
2016-04-18 04:25:36 -04:00
}
2020-05-04 18:14:41 -04:00
free(e->strings);
e->strings = NULL;
free(e->objects);
e->objects = NULL;
2016-04-18 04:25:36 -04:00
}
struct Environment defaultEnv() {
struct Environment e;
2020-05-05 13:42:28 -04:00
e.outer = NULL;
2016-04-18 04:25:36 -04:00
e.strings = malloc(sizeof(char*) * MAX_ENV_ELM);
2020-05-03 21:24:36 -04:00
for(int i = 0; i < MAX_ENV_ELM; i++) {
e.strings[i] = NULL;
}
2020-05-04 18:14:41 -04:00
2016-04-18 04:25:36 -04:00
e.objects = malloc(sizeof(Object) * MAX_ENV_ELM);
2020-05-04 18:14:41 -04:00
2016-04-18 04:25:36 -04:00
addFunc("+", &add, &e);
addFunc("-", &sub, &e);
addFunc("*", &mul, &e);
2020-05-04 10:03:35 -04:00
addFunc("/", &dvi, &e);
addFunc("=", &equ, &e);
2020-05-04 18:14:41 -04:00
addFunc(">", &gth, &e);
addFunc("<", &lth, &e);
2016-04-18 04:25:36 -04:00
return e;
}
Object parseEval(const char *input, struct Environment *env)
{
2020-05-04 18:14:41 -04:00
struct Slice *tokens = nf_tokenize(input);
#ifdef DEBUG
2020-05-04 18:14:41 -04:00
struct Slice *debug = tokens;
2016-04-18 04:25:36 -04:00
if(debug) {
while(debug->text) {
2020-05-03 17:00:45 -04:00
char tok[MAX_TOK_LEN];
2016-04-18 04:25:36 -04:00
copySlice(tok, debug);
//printd("slice: '%s'\n", tok);
2016-04-18 04:25:36 -04:00
debug++;
}
}
2020-05-03 17:00:45 -04:00
#endif
2016-04-18 04:25:36 -04:00
Object parsed = parse(tokens).obj;
2020-05-03 21:24:36 -04:00
free(tokens);
2016-04-18 04:25:36 -04:00
return eval(&parsed, env);
}
#ifdef STANDALONE
int repl(struct Environment *env)
{
char input[100] = "";
while(input[0] != 'q') {
printf("pebblisp>> ");
fgets(input, 100, stdin);
Object obj = parseEval(input, env);
2020-05-04 10:03:35 -04:00
printObj(&obj);
2020-05-05 13:42:28 -04:00
// printEnv(env);
2016-04-18 04:25:36 -04:00
}
}
int main(void)
{
struct Environment env = defaultEnv();
2020-05-04 18:14:41 -04:00
#ifndef NO_REPL
repl(&env);
#else
struct Slice *tokens = nf_tokenize("(+ 10 5)");
struct Slice *debug = tokens;
if(debug) {
while(debug->text) {
char tok[10];
copySlice(tok, debug);
printf("'%s', ", tok);
debug++;
2016-04-18 04:25:36 -04:00
}
2020-05-04 18:14:41 -04:00
printf("\n");
} else {
printf("parse error\n");
2016-04-18 04:25:36 -04:00
}
2020-05-04 18:14:41 -04:00
parse(tokens);
free(tokens);
#endif
deleteEnv(&env);
2016-04-18 04:25:36 -04:00
}
#endif