Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:category |
dynamically typed programming languages
procedural programming languages set-theoretic programming languages |
| gptkbp:designedBy |
gptkb:Jack_Schwartz
|
| gptkbp:developedBy |
gptkb:Courant_Institute_of_Mathematical_Sciences
|
| gptkbp:firstAppearance |
1969
|
| https://www.w3.org/2000/01/rdf-schema#label |
SETL (programming language)
|
| gptkbp:implementedIn |
gptkb:SETL2
gptkb:ISETL GSETL |
| gptkbp:influenced |
gptkb:ABC_(programming_language)
gptkb:Python_(programming_language) Euclid (programming language) |
| gptkbp:influencedBy |
gptkb:mathematics
gptkb:set_theory |
| gptkbp:notableFeature |
expressive syntax
high-level abstraction set-theoretic constructs |
| gptkbp:paradigm |
imperative programming
procedural programming set-theoretic programming |
| gptkbp:supports |
loops
iterators procedures arbitrary precision arithmetic conditionals maps as first-class objects sets as first-class objects |
| gptkbp:typingDiscipline |
dynamically typed
|
| gptkbp:usedFor |
teaching programming concepts
mathematical computation algorithm prototyping |
| gptkbp:bfsParent |
gptkb:Programming_with_Sets:_An_Introduction_to_SETL
|
| gptkbp:bfsLayer |
8
|