2 ms·
Is there an alternative term which has arisen for what Lisp traditionally calls "type inference"?
by ken 8y ago
Is there an alternative term which has arisen for what Lisp traditionally calls "type inference"?
- rayiner 8y agoSBCL calls it type propagation, which is fairly descriptive. (At least in SBCL, it's implemented as a data flow analysis that propagates constraints on the types of lexical variables: https://www.pvk.ca/Blog/2013/11/22/the-weaknesses-of-sbcls-type-propagation https://www.pvk.ca/Blog/2013/11/22/the-weaknesses-of-sbcls-t...).