11:27:55Odin-From the documentation, it looks like CMUCL/SBCL put a lot more emphasis on working with the type system than most (all?) other implementations.
11:46:07p_lOdin-: CMU originally did big push in type system for purposes of optimalization
12:52:47amerlyqOdin-: did you found any nice looking example of using typesystem by CMUCL/SBCL ?