freenode/#lisp - IRC Chatlog

4:44:22 rwcom3 ** NICK rwcom

5:06:05 pjb aeth: 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:24 aeth pjb: 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:47 aeth plus, it's effectively 'gradually typed' about 15-20 years before it was cool

5:32:19 aeth (by #2 I mean, most things are for a given type or an error)

5:41:27 LdBeth Plus, type systems that are not capable of expressing abstract algebra suck

7:33:11 Lord_of_Life_ ** NICK Lord_of_Life

8:29:46 mingus` ** NICK mingus