On Aug 22, 2005, at 6:03 PM, Jacques Carette wrote:
> Are there known issues with compilation speed of heavily functorized 
> code?

At least the Lua-ML interpreter is another example.

	http://www.cminusminus.org/rsync/dist/
	http://www.cminusminus.org/rsync/qc--/lua/
	http://www.cminusminus.org/rsync/qc--/lua/lualib.nw

The construction of the interpreter is discussed in these papers:
	
	http://www.eecs.harvard.edu/~nr/pubs/embed-abstract.html
	http://www.eecs.harvard.edu/~nr/pubs/mania-abstract.html

Module lualib.nw links together the library for the interpeter and uses 
heavily functorized code. It takes also several seconds to compile this 
otherwise small module.

-- Christian