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
|