A first-class module system for Common Lisp with module signatures and module functors.
Here’s an applicative written using bindle defmodule.
(eval-when (:compile-toplevel :load-toplevel :execute)
(defmodule *basic* sig
(fun return ts)
(fun app f-app app)
(val map)))
(defmodule make ((mod *basic*)) *app*
(defun return (ts)
(mod.return ts))
(defun app (f-app app)
(mod.app f-app app))
(defun derived-map (f ts)
(app (return f) ts))
(defun map (f xs)
(if (eq :custom (car mod.map))
(funcall (cadr mod.map) f xs)
(derived-map f xs)))
(defun mapn (f arg1 &rest args)
(reduce (lambda (acc x) (app acc x)) args :initial-value (map f arg1))))Check out the wiki for more details.
- Defstruct
- You don’t get structs.
- Accessing Inner modules from outer modules
- This can be simulated rather easily, check out the wiki article on it here.
- Macros
- Due to how expanders work, macros are a bit annoying to deal with,
the wiki gives a somewhat error prone implementation here.
- This implementation adds a small overhead to a macro and only works fully on expansions which do not export anything
- To properly include macro code into your project checkout the wiki page here (TODO: make wiki page explaining to make an expander)
- Due to how expanders work, macros are a bit annoying to deal with,
the wiki gives a somewhat error prone implementation here.