Statements (55)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:Java_Enhancement_Proposal
|
gptkbp:allows |
custom record types
|
gptkbp:author |
gptkb:Olin_Shivers
|
gptkbp:based_on |
object-oriented programming concepts
|
gptkbp:created |
1999-01-01
|
gptkbp:enhances |
type safety in Scheme
|
gptkbp:example |
gptkb:architect
API design modular programming code reuse data encapsulation interface design library design abstraction in programming language extension programming paradigms integration record-oriented programming software component design type system enhancement |
gptkbp:facilitates |
data abstraction
|
gptkbp:has |
a formal semantics
a formal syntax |
https://www.w3.org/2000/01/rdf-schema#label |
SRFI-18
|
gptkbp:includes |
record accessors
record mutators record predicates |
gptkbp:is_available_on |
srfi.schemers.org
|
gptkbp:is_compatible_with |
gptkb:Chez_Scheme
gptkb:Chicken_Scheme gptkb:Guile_Scheme gptkb:Racket |
gptkbp:is_designed_for |
Scheme programmers
|
gptkbp:is_discussed_in |
Scheme community forums
|
gptkbp:is_documented_in |
SRFI-18 specification document
|
gptkbp:is_implemented_in |
various Scheme systems
|
gptkbp:is_influenced_by |
gptkb:computer
|
gptkbp:is_part_of |
gptkb:SRFI_collection
Scheme standardization efforts |
gptkbp:is_recognized_by |
Scheme community
|
gptkbp:is_referenced_in |
other SRF Is
|
gptkbp:is_related_to |
functional programming
data structures |
gptkbp:is_supported_by |
Scheme libraries
|
gptkbp:is_used_by |
Scheme implementations
|
gptkbp:is_used_for |
software engineering
data modeling programming language design |
gptkbp:proposed_by |
a standard for defining and using records in Scheme
|
gptkbp:provides |
record type inheritance
syntax for defining record types |
gptkbp:related_to |
gptkb:language
|
gptkbp:status |
gptkb:final
|
gptkbp:supports |
multiple inheritance
|
gptkbp:bfsParent |
gptkb:Guile-HTTP
|
gptkbp:bfsLayer |
6
|