David Feuer wrote: >Has anyone written an efficient purely-functional >implementation of unification (for type checking)? > Well, if you have ever used hbc or nhc, you have used type checkers containing purely functional implementations of unification. Purely functional unification can be efficient enough for practical purposes... Thomas H