Comment on Type Inference vs. Static/Dynamic TypingparentComments−sanxiyn15yYou need to guard your assumptions, but you can do type inference in any language.Take a look at "Declarations as Assertions" section in SBCL manual as well.−closureOP15yHere's a link to the relevant section: http://www.sbcl.org/manual/#Declarations-as-Assertions
Comments
You need to guard your assumptions, but you can do type inference in any language.
Take a look at "Declarations as Assertions" section in SBCL manual as well.
Here's a link to the relevant section: http://www.sbcl.org/manual/#Declarations-as-Assertions