Quirks of Common Lisp Types
11 days ago
- #Type System
- #Common Lisp
- #Programming
- Common Lisp is fully typed and AOT compiled, allowing strict type assignments for variables and functions.
- Types in Common Lisp are sets, and data values can belong to multiple types simultaneously.
- Common Lisp performs type checking at both runtime and compile-time to prevent errors.
- Type hints can be used to optimize assembly code, with the compiler using them for better performance.
- Common Lisp distinguishes between types (compatibility families) and classes (internal data implementations).
- Classes in Common Lisp support inheritance, allowing child classes to act as their parents.
- Methods in Common Lisp are associated with generic functions, not tied to specific classes.
- The behavior of functions and data in Common Lisp is guaranteed by the type system, not the underlying implementation.
- Common Lisp's type system and class hierarchy provide flexibility and optimization opportunities without exposing low-level details to developers.