2.5 hashcons

2.5 hashcons🔗

package: rktsicm

procedure
(canonical-copy expression) → any/c
expression : any/c

Given an expression, canonical-copy will create a copy that will always be eq? to any other canonical-copy of an expression that has the same structure (created from conses and eqv? objects).

Example:

> (eq? (canonical-copy (list 'define 'x 4))
(canonical-copy (list 'define 'x 4)))
#t

contents ← prev up next →

1	Introduction
2	General
3	Kernel
4	Display

2.1	eq-properties
2.2	equals
2.3	equation-style-unifier
2.4	gjs-cselim
2.5	hashcons
2.6	list-utils
2.7	logic-utils
2.8	memoize
2.9	notes
2.10	permute
2.11	resource-limit
2.12	sets
2.13	stack-queue
2.14	table
2.15	weak