3 ms·
Isn’t it more accurate to call that unspecified SBCL behavior than “common lisp’s type system”?
by BaculumMeumEst 4y ago
Isn’t it more accurate to call that unspecified SBCL behavior than “common lisp’s type system”?
- lispm 4y agoThe syntax to declare types is specified. What to do with the declared types is then to be specified by a specific implementation. Typical possibilities: * ignore * use for optimizations * use for type assertions and type checking
- tmtvl 4y agoIt is. SBCL does a lot of really nice things and it would be nice if someone who were to design a modern Lisp would take inspiration from it. That said, Common Lisp is hyper advanced alien technology, so it is hard to improve upon.