root/lang/c/misc/mlisp/inc/mlisp.h @ 5975

//=============================================================================
///     minimal lisp
//=============================================================================

#pragma once

#include <stdio.h>

#ifdef __cplusplus
extern "C" {
#endif

/// Symbol-Expression type
typedef int             SExp;

/// constant value
#define cNil                                                                                            MAKE_SEXP(tOther, 0)
#define cT                                                                                                      MAKE_SEXP(tOther, 1)
#define cEOF                                                                                            MAKE_SEXP(tOther, 2)
#define cNL                                                     /* new line */                  MAKE_SEXP(tOther, 3)

/// flag
/**
        use in ml_set_flag()
*/
typedef enum {
        MLF_PRINT_FUNC_ARG,
        MLF_PRINT_MACRO_REPLACE,

        numofMLF
} ML_FLAG;

/// types
typedef struct MLContext        MLContext;                                      ///< Context
typedef SExp (*MLBuiltinFunc)(MLContext*, SExp);                ///< Builtin function type

/// functions
MLContext* ml_new(void);
void ml_delete(MLContext* ml);

void ml_set_flag(MLContext* ml, ML_FLAG flag, int value);

void ml_dump(MLContext* ml);

SExp ml_read(MLContext* ml, FILE* fp);
SExp ml_eval(MLContext* ml, SExp a);
void ml_print(MLContext* ml, FILE* fp, SExp a);
SExp ml_apply(MLContext* ml, SExp ca, SExp cd);

SExp ml_resist_builtin(MLContext* ml, const char* word, MLBuiltinFunc cfunc, int b_macro);
SExp ml_create_lambda(MLContext* ml, SExp arg_body);
void ml_defmacro(MLContext* ml, SExp symb, SExp arg_body);

void ml_runtime_error(MLContext* ml, SExp a, const char* msg);


SExp ml_int2sexp(int x);                                                                        ///< int -> sexp
int ml_sexp2int(SExp a);                                                                        ///< sexp -> int

SExp ml_cons(MLContext* ml, SExp car, SExp cdr);                        ///< cons
SExp ml_car(MLContext* ml, SExp a);                                                     ///< car
SExp ml_cdr(MLContext* ml, SExp a);                                                     ///< cdr
void ml_rplaca(MLContext* ml, SExp cs, SExp a);                         ///< car ���u��
void ml_rplacd(MLContext* ml, SExp cs, SExp d);                         ///< cdr ���u��

void ml_setq(MLContext* ml, SExp symb, SExp arg_body);          ///< setq
SExp ml_find_symbol(MLContext* ml, const char* str, const char* end, int b_make);               ///< �V���{���쐬

const char* ml_get_string(MLContext* ml, SExp symb);            ///< string



/// implementation detail

/// define
#define TYPE_BITS                       (8)
#define VAL_MASK                        (-1 << TYPE_BITS)
#define MAKE_SEXP(t, val)       ((t) | ((val) << TYPE_BITS))

/// type of SExp
#define tCell                           (2)             ///< cell
#define tSymb                           (6)             ///< symbol
#define tOther                          (10)    ///< other (nil, t, eof)
#define tFunc                           (14)    ///< function (lambda or macro)
#define tStr                            (18)    ///< string

/// macros
#define SEXP_IS_INT(a)          (((a) & 1) != 0)
#define SEXP_TYPE(a)            ((a) & ~VAL_MASK)
#define SEXP_CONSP(a)           (SEXP_TYPE(a) == tCell)
#define SEXP_IS_ATOM(a)         (!SEXP_CONSP(a))

#ifdef __cplusplus
} //extern "C"
#endif