Statements (46)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming language
|
| gptkbp:designedBy |
gptkb:Robert_W._Floyd
|
| gptkbp:firstAppearance |
1970s
|
| gptkbp:hasFeature |
higher-order functions
modularity recursion pattern matching lazy evaluation |
| gptkbp:hasGoals |
declarative
imperative functional expression-based |
| gptkbp:hasLibrary |
gptkb:Cora_standard_library
data structures mathematical functions input/output functions string manipulation functions |
| gptkbp:hasOccupation |
Cora enthusiasts
Cora_developers Cora_researchers Cora_user_community |
| gptkbp:hasSibling |
gptkb:Cora_compiler
Cora interpreter |
| https://www.w3.org/2000/01/rdf-schema#label |
Cora language
|
| gptkbp:influencedBy |
Lisp
ML |
| gptkbp:isNotableFor |
its historical significance
its simplicity its expressiveness its educational use its influence on other languages |
| gptkbp:isRelatedTo |
gptkb:Haskell
Scheme C programming language |
| gptkbp:isTaughtIn |
universities
computer science courses functional programming courses programming language courses |
| gptkbp:isUsedIn |
academic research
algorithm design compiler construction |
| gptkbp:philosophy |
functional programming
|
| gptkbp:supports |
garbage collection
type inference |
| gptkbp:type |
statically typed
|
| gptkbp:usedFor |
teaching programming concepts
|