Last active
April 8, 2021 22:26
-
-
Save commander-trashdin/ba253c4f0dd33f10c26483066ee2db0e to your computer and use it in GitHub Desktop.
more adpf structures
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (defmacro define-struct (name inheritance &body slots) | |
| (let ((trueslots (loop :for (name . rest) :in slots | |
| :collect (ecase (length rest) | |
| (1 `(,name . ,rest)) | |
| (2 (let ((type (cadr (member :t rest)))) | |
| `(,name ,(default type) :type ,type))) | |
| (3 (let ((type (cadr (member :t rest)))) | |
| `(,name ,(third rest) :type ,type))))))) | |
| `(progn | |
| (defstruct ,(if inheritance | |
| `(,name (:include ,inheritance)) | |
| name) | |
| ,@trueslots) | |
| (define-polymorphic-function ,name (&optional | |
| ,@(loop :for (name . rest) :in slots | |
| :collect name)) | |
| :overwrite t) | |
| (defpolymorph (,name :inline t) | |
| (&optional ,@(loop :for (sname . rest) :in slots | |
| :collect (ecase (length rest) | |
| (1 `((,sname t) . ,rest)) | |
| (2 (let ((type (cadr (member :t rest)))) | |
| `((,sname ,type) ,(default type)))) | |
| (3 (let ((type (cadr (member :t rest)))) | |
| `((,sname ,type) ,(third rest))))))) | |
| (values ,name &optional) | |
| (,(intern (concatenate 'string "MAKE-" (string name))) | |
| ,@(loop :for (sname . _) :in slots | |
| :appending `(,(intern (string sname) "KEYWORD") ,sname)))) | |
| ,@(loop :for (sname . rest) :in slots | |
| :for type := (ecase (length rest) | |
| (1 t) | |
| ((2 3) (cadr (member :t rest)))) | |
| :collect `(progn | |
| (define-polymorphic-function ,sname (object) :overwrite t) | |
| (defpolymorph (,sname :inline t) | |
| ((object ,name)) (values ,type &optional) | |
| (,(intern (concatenate 'string (string name) "-" (string sname))) | |
| object)) | |
| (define-polymorphic-function (setf ,sname) (new object) :overwrite t) | |
| (defpolymorph ((setf,sname) :inline t) | |
| ((new ,type) (object ,name)) (values ,type &optional) | |
| (setf (,(intern (concatenate 'string (string name) "-" (string sname))) | |
| object) | |
| new))))))) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment