Statements (39)
| 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 |
| 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
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Typed Common Lisp
|