Programming Language

• CURIE: gmeow:ProgrammingLanguage
• IRI: https://blackcatinformatics.ca/gmeow/ProgrammingLanguage
• Category: class
• Defined by: gmeow:slices/language
• Box roles: TBox role (What is this?)

A formal language for expressing executable computation (Python, Rust, SQL-as-implemented). The first-class target of gmeow:writtenInLanguage, by which a software project declares the languages it is written in.

Structure

Subclass of: gmeow:FormalLanguage

Practical Pattern

Use gmeow:ProgrammingLanguage as a specialized kind of gmeow:FormalLanguage. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

Common Companion Terms

gmeow:FormalLanguage

Projects To

External Equivalences

Equivalent or closely aligned targets: schema, wd

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

Projection Coverage

Usage Advice

Use when

• Use for a formal language that expresses executable computation — the first-class IRI a software project points at through gmeow:writtenInLanguage to declare the languages it is implemented in.

Avoid when

• Avoid for non-executable formal languages such as markup, schema, or configuration (use the broader gmeow:FormalLanguage) and for natural languages (gmeow:Language).

How to use

• Mint the language as a ProgrammingLanguage IRI and reference it from a software project via gmeow:writtenInLanguage (non-functional: a codebase uses several), aligning to a registry with gmeow:languageCode where one exists.

Examples

• ex:projectGmeow gmeow:writtenInLanguage ex:langPython, ex:langRust.