This library lets you generate a type system (independent from Common Lisp's) with one simple macro call.
Common Lisp
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
doc
.gitignore
README
UNLICENSE
main.lisp
main2.lisp
package.lisp
type-maker.asd
util.lisp

README

Hosted at: http://github.com/Hexstream/type-maker


type-maker lets you generate a type system with one simple macro
call. You then define types ("type-makers") which can be instantiated
with arguments to produce concrete types ("types"). The resulting
types are independent from Common Lisp's type system, which make them
suitable for Domain-Specific Languages which may have type systems
wildly different from Common Lisp's.


This library is in the Public Domain.
See the UNLICENSE file for details.