Common Lisp type declarations work sort of like assumptions: if you DECLARE that...

fiddlerwoaroof on March 8, 2023 | parent | context | favorite | on: Assertions are pessimistic, assumptions are optimi...

Common Lisp type declarations work sort of like assumptions: if you DECLARE that a variable is of a specific type, the compiler is permitted to trust you on that.