Hasty Briefsbeta

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.