Typed Common Lisp

GPTKB entity

Statements (40)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:basedOn gptkb:Common_Lisp
gptkbp:designedFor type safety
gptkbp:fileExtension gptkb:Coalton
gptkb:SBCL_Typed_Lisp
gptkb:cl-annot
gptkb:cl-tco
cl-environments
cl-form-types
cl-syntax-annot
cl-type-annotations
cl-type-check
cl-type-checker
cl-type-classes
cl-type-extensions
cl-type-helpers
cl-type-inference
cl-type-macros
cl-type-predicates
cl-type-utilities
cl-type-utils
trivial-types
gptkbp:hasFeature type inference
gradual typing
static type checking
gptkbp:hasType dynamic typing
optional typing
static typing
https://www.w3.org/2000/01/rdf-schema#label Typed Common Lisp
gptkbp:implementedIn gptkb:ECL_(Embeddable_Common_Lisp)
gptkb:SBCL_(Steel_Bank_Common_Lisp)
gptkb:CLISP
gptkb:Clozure_CL
gptkbp:influencedBy gptkb:Common_Lisp
gptkbp:paradigm object-oriented programming
functional programming
multi-paradigm
gptkbp:bfsParent gptkb:Lambda_calculus
gptkb:system_F
gptkbp:bfsLayer 6