CMUCL, and I assume SBCL by extension, has a rich type inference system[1] that I wish were more widely known. [1] https://pmsf.eu/pub/cmucl/doc/cmu-user-old/c

CMUCL, and I assume SBCL by extension, has a rich type inference system[1] that I wish were more widely known. [1] https://pmsf.eu/pub/cmucl/doc/cmu-user-old/compiler.html#toc125 https://pmsf.eu/pub/cmucl/doc/cmu-user-old/compiler.html#toc...