
- LISP Tutorial
- LISP - Home
- LISP - Overview
- LISP - Environment
- LISP - REPL
- LISP - Program Structure
- LISP - Basic Syntax
- LISP - Data Types
- Lisp Macros
- LISP - Macros
- LISP - Backquote and Comma
- LISP - Code Generation Using Macro
- LISP - Variable Capture and Hygienic macro
- LISP - Scope and Binding
- LISP - Macro Writing Style
- LISP - Macro Characters
- LISP - Read-Time Macros
- LISP - Compiler Macros
- LISP - Uses of Macros
- Lisp Functions
- LISP - Functions
- LISP - Functions vs Macros
- LISP - Calling Function using funcall
- LISP - Calling Function using apply
- LISP - Closures
- LISP - Functions as Arguments
- LISP - Functions as Return Values
- LISP - Recursion
- LISP - Built-in Functions
- Lisp Predicates
- LISP - Predicates
- LISP - Generic Data Type Predicates
- LISP - Specific Data Type Predicates
- LISP - Equality Predicates
- LISP - Numeric Predicates
- LISP - Comparison Predicates
- LISP - Logical Predicates
- LISP - List Predicates
- LISP - Custom Predicates
- LISP - Chaining Predicates
- Lisp Arrays
- LISP - Arrays
- LISP - Adjustable Arrays
- LISP - Fill Pointers in Arrays
- LISP - Specialized Arrays
- LISP - Arrays Properties
- LISP - Iterating over Arrays
- LISP - Multidimensional Arrays
- LISP - Row-Major Order
- Lisp Strings
- LISP - Strings
- LISP - String Concatenation
- LISP - String Comparison
- LISP - String Case Conversion
- LISP - String Trimmimg
- LISP - String Searching
- LISP - Getting Substring
- LISP - String Replacement
- LISP - Sorting Strings
- LISP - Merging Strings
- LISP - Accessing Characters of String
- LISP - String length
- LISP - Escape Sequences
- Lisp Sequences
- LISP - Sequences
- LISP - Accessing Element of Sequence
- LISP - Sequence length
- LISP - Getting Subsequence
- LISP - Search Element in Sequence
- LISP - Sequence Concatenation
- LISP - Reversing a Sequence
- LISP - Mapping Sequence Element
- LISP - position of Element
- LISP - Remove an Element
- LISP - Sort Sequence
- LISP - Merge Sequences
- LISP - every function
- LISP - some function
- LISP - notany function
- LISP - notevery function
- Lisp Lists
- LISP - Lists
- LISP - Accessing Elements of Lists
- LISP - Modifications to Lists
- LISP - Using mapcar on List
- LISP - Using mapc on List
- LISP - Using reduce on List
- LISP - Removing elements from List
- LISP - Reversing a List
- LISP - Sorting a List
- LISP - Searching a List
- LISP - List vs Vectors
- LISP - Matrix Multiplication
- Lisp Vectors
- LISP - Vectors
- LISP - Creating Vectors
- LISP - Accessing Elements of Vectors
- LISP - Modifications to Vectors
- LISP - Adjustable Vectors
- LISP - Specialized Vectors
- LISP - Vector Functions
- Lisp Set
- LISP - Set
- LISP - Adding elements to the Set
- LISP - Getting SubSet from a Set
- LISP - Set Difference
- LISP - Set Exclusive OR
- LISP - Set Intersection
- LISP - Set Union
- LISP - Representing Set with HashTable
- LISP - List as Set vs HashTable as Set
- Lisp Tree
- LISP - Tree
- LISP - Recursive Traversal
- LISP - Inorder Traversal
- LISP - Preorder Traversal
- LISP - Postorder Traversal
- LISP - Depth First Traversal
- LISP - Modifying Tree
- LISP - Search Tree
- LISP - Binary Tree
- Lisp Hash Table
- LISP - Hash Table
- Adding Values to Hash Table
- Removing Values from Hash Table
- Updating Values of Hash Table
- Iterating Hash Table Entries
- Searching key in HashTable
- Checking Size of HashTable
- Using Custom Equality Check
- Lisp - Input − Output
- LISP - Input − Output
- LISP - Streams
- LISP - Reading Data from Streams
- LISP - Writing Data to Streams
- LISP - File I/O
- LISP - String I/O
- LISP - Formatting with Format
- LISP - Interactive I/O
- LISP - Error Handling
- LISP - Binary I/O
- Lisp - Structures
- LISP - Structures
- LISP - Accessors and Mutators
- LISP - Structure Options
- LISP - Structure Types
- LISP - Applications and Best Practices
- Lisp - CLOS
- LISP - CLOS
- Lisp - Objects
- LISP - Class
- LISP - Slots and Accessors
- LISP - Generic Functions
- LISP - Class Precedence
- LISP - Metaobject Protocol
- LISP - Multimethods
- LISP - Multiple Inheritance
- LISP - Method Combinations
- LISP - Method Combinations
- LISP - :before Method Combination
- LISP - :primary Method Combination
- LISP - :after Method Combination
- LISP - :around Method Combination
- LISP - + Method Combination
- LISP - and Method Combination
- LISP - append Method Combination
- LISP Useful Resources
- Lisp - Quick Guide
- Lisp - Useful Resources
- Lisp - Discussion
Lisp - Macro Writing Style
Macro is very powerful tool in LISP programming language and can be used to extend the capability of the language. It is often used in metaprogramming. So it is very crucial to write code which is readable, maintainable and highly reliable. In this chapter, we're discussing the best practices of writing macros.
Hygiene
Use gensym
While writing macros, when a code is expanded, a variable declared within macro may override the surrounding variable causing unintentional variable capturing and may result in wrong computation. Using gensym, we can create unique variables within a macro so that macro result is always predictable.
Use with-gensyms
Using with-gensyms, we can create multiple unique symbols.
And we should avoid symbols which can clash on expanding the code.
Clear and Readable Code
Use defmacro Judiciously − Macro is a very powerful but writing macro can be very complex. Define a macro only when needed. Define a macro, when we need to control the code evaluation or to create new LISP forms.
Write concise code − A macro code should perform a well defined transformation. In case of complex logic, break the code into helper functions.
Use meaningful names − Use descriptive, meaningful names for the macro and its arguments, and its variables.
Format Code − A consistent indentation and spacing always helps in increasing readablilty of the code.
Use Quasiquotations
Back Quote (`), Comma (,) and Comma-at (,@)
Back Quote (`), Comma (,) and Comma-at (,@) are powerful tools to create effective templates, to create complex LISP forms. We can use them in macros to make them more readable and maintable.
A backquoted template should be written to visual confirm that the expanded code is producing the correct form of code required.
Do thorough testing
A macro should be tested thoroughly with multiple inputs. Cover edge cases. As macro produces code, testing is very crucial.
Use macroexpand or macroexpand-1 functions. These functions allows to inspect the code generated which is very valuable in debugging the code.
main.lisp
; define a macro to swap two numbers (defmacro swap (x y) (let ((temp (gensym))) ; create a unique variable `(let ((,temp ,x)) ; insert the unique variable and value of x (setf ,x ,y) (setf ,y ,temp)))) (print(macroexpand '(swap temp my-var)))
Output
When you execute the code, it returns the following result −
(LET ((#:G2949 TEMP)) (SETF TEMP MY-VAR) (SETF MY-VAR #:G2949))
Documentation
Document the macro to explaing what is the intended behavior, how it works, any issue. Add examples of using the macro.
Important Considerations
Consider Side Effects− A macro should be side-effect free. A macro should transform code instead of performing any computation.
Account Evaluation Order− A macro can alter the code evaluation order. It is good to understand how a macro affect the code evalutation.