• 元语 -- meta-lisp -- HM 类型系统
• 基语 -- basic-lisp -- SSA 中间语言
• 域语 -- region-lisp -- 没有 GC，使用基于区域的内存管理
• 证语 -- proof-lisp -- 依值类型系统，数学辅助证明系统 或 蝉语 -- cicada-lisp
• 象语 -- pheno-lisp -- 与 meta-lisp 的语义类似，无类型系统，支持 generic dispatching