下節に記述された機能は、強力なsetf機能やかなりの数のループと
条件付き実行構文要素を含むさまざまな高度な制御構造を実装する。
| • 代入: | ‘psetq’フォーム | |
| • 汎変数: | ‘setf’、‘incf’、‘push’、その他 | |
| • 変数束縛: | ‘progv’、‘lexical-let’、‘flet’、‘macrolet’ | |
| • 条件付き実行: | ‘when’、‘unless’、‘case’、‘typecase’ | |
| • ブロックと脱出: | ‘block’、‘return’、‘return-from’ | |
| • 繰り返し: | ‘do’、‘dotimes’、‘dolist’、‘do-symbols’ | |
| • ループ機能: | Common Lisp ‘loop’マクロ | |
| • 多値: | ‘values’、‘multiple-value-bind’、その他 |