lisp

trivial attempt at writing a lisp

Inspiration

There's probably nothing in this Lisp that isn't in one of the following amazing Lisps:

• Common Lisp
• Scheme
• Clojure

Things That Are Done

• read

  • symbols
  • keywords
  • lists
  • signed integers
  • strings
  • vectors and vector literals
  • boolean values: true and false
  • functional hash-map literals
  • single 'quote syntax sugar
  • ` and ~ quasiquote and unquote
  • comments

• interpreted evaluation (evaluate)

  • lookup symbols
  • call built-in functions
  • "quote" or "'"
  • "if" (false and empty list are false)
  • numerical comparison, >, <, <=, >=, etc
  • = and != comparison for all types
  • lambda
  • def : mutable top-level scope
  • let, let* and letrec
  • TCO (tail call optimization) for lambdas
  • defmacro
  • quasiquote (`), unquote (), unquote-splicing (@)
  • variadic lambda eg. (arg1 arg2 & args)

• built-in functions

  • print and println
  • integer math: + - * /
  • list: list, first/car, rest/cdr
  • vector: vector, vector->list, list->vector
  • hash-map: hash-map, list->hash-map, get, assoc
  • reverse, cons
  • gensym

• core macros

  • defun
  • do (like progn or begin)

• rudimentary REPL

TODO

• implicit gensyms in quasiquote
• Better REPL
• Better error handling
• Ref type
• NIL, SYMBOL_*, etc should be constant
• split stuff into separate files...
• set
  • language support
  • literal syntax
• Better vector
• compilation
• math stuff
• namespaces
• use shared libs dynamically (like Python's ctypes)
• remove gio dependency
• native regex (PCRE)
• polymorphic dispatch
• binary data support "bytes"