Typed Forth

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedFor safer Forth programming
gptkbp:feature type checking
type inference
type annotations
static type system
https://www.w3.org/2000/01/rdf-schema#label Typed Forth
gptkbp:influencedBy gptkb:Forth
gptkbp:paradigm stack-oriented
concatenative
gptkbp:uses embedded systems
systems programming
gptkbp:website https://github.com/typedforth/typed-forth
gptkbp:bfsParent gptkb:Lambda_calculus
gptkb:system_F
gptkbp:bfsLayer 6