5:06:05pjbaeth: the CL type system is a good example of a type system: (+ 1 "42") #| ERROR: The value "42" is not of the expected type number. |#
5:28:24aethpjb: CL is one of the most typed dynamically typed languages because (1) it's not a coercive language like you said and (2) it's not particularly duck typed either
5:28:47aethplus, it's effectively 'gradually typed' about 15-20 years before it was cool
5:32:19aeth(by #2 I mean, most things are for a given type or an error)
5:41:27LdBethPlus, type systems that are not capable of expressing abstract algebra suck
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 ?