freenode/#lisp - IRC Chatlog
Search
4:28:20
madrik
It seems to me that Racket and the group behind it may be somewhat what amerlyq is looking for
4:34:31
aeth
It's hard to find a good example of type system usage because the syntax is a bit awkward in vanilla Lisp, so pretty much anyone who heavily relies on types will use a macro, probably their own.
4:36:08
aeth
And e.g. (unsigned-byte 32) is pretty verbose, even though it's the most general purpose way to do it, so if you have a bunch of integer sizes in your code, you're probably using shorthand names (and the only conventional one is octet for ub 8)
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
11:27:55
Odin-
From the documentation, it looks like CMUCL/SBCL put a lot more emphasis on working with the type system than most (all?) other implementations.