II.
SkillArea overview
Reference · liveskill-area:language-design
Programming Language Design overview
Designing programming languages and DSLs — syntax design, type system theory, semantics (operational, denotational), memory management models (GC, ownership, reference counting), and language ergonomics. Covers PEG/EBNF grammars and parser design.
Attributes
displayName
Programming Language Design
description
Designing programming languages and DSLs — syntax design, type
system theory, semantics (operational, denotational), memory
management models (GC, ownership, reference counting), and
language ergonomics. Covers PEG/EBNF grammars and parser design.
domains
expertiseLevels
- expert
Outgoing edges
applies_to1
- specialization:programming-languages·SpecializationProgramming Languages
Incoming edges
contains1
- specialization:compiler-design·SpecializationCompiler Design
lib_requires_skill_area149
- lib-agent:aerospace-engineering--do-178c-specialist·LibraryAgentdo-178c-specialist
- lib-agent:computer-science--compiler-architect·LibraryAgentcompiler-architect
- lib-agent:computer-science--computability-theorist·LibraryAgentcomputability-theorist
- lib-agent:computer-science--concurrency-expert·LibraryAgentconcurrency-expert
- lib-agent:computer-science--distributed-systems-theorist·LibraryAgentdistributed-systems-theorist
- lib-agent:computer-science--formal-specification-expert·LibraryAgentformal-specification-expert
- lib-agent:computer-science--model-checking-expert·LibraryAgentmodel-checking-expert
- lib-agent:computer-science--semantics-specialist·LibraryAgentsemantics-specialist
- lib-agent:computer-science--static-analysis-expert·LibraryAgentstatic-analysis-expert
- lib-agent:computer-science--synthesis-specialist·LibraryAgentsynthesis-specialist
- lib-agent:computer-science--theorem-proving-expert·LibraryAgenttheorem-proving-expert
- lib-agent:computer-science--type-theorist·LibraryAgenttype-theorist
- lib-agent:mathematics--theorem-prover-expert·LibraryAgenttheorem-prover-expert
- lib-agent:quantum-computing--quantum-documentation-specialist·LibraryAgentquantum-documentation-specialist
- lib-agent:quantum-computing--quantum-sdk-developer·LibraryAgentquantum-sdk-developer
- lib-agent:programming-languages--compiler-frontend-architect·LibraryAgentcompiler-frontend-architect
- lib-agent:programming-languages--ffi-interop-engineer·LibraryAgentFFI and Interop Engineer
- lib-agent:programming-languages--ir-design-specialist·LibraryAgentIR Design Specialist
- lib-agent:programming-languages--language-feature-designer·LibraryAgentlanguage-feature-designer
- lib-agent:programming-languages--language-tooling-engineer·LibraryAgentLanguage Tooling Engineer
- lib-agent:programming-languages--llvm-engineer·LibraryAgentLLVM Compiler Engineer
- lib-agent:programming-languages--runtime-systems-engineer·LibraryAgentRuntime Systems Engineer
- lib-agent:programming-languages--semantic-analysis-engineer·LibraryAgentSemantic Analysis Engineer
- lib-agent:programming-languages--type-system-engineer·LibraryAgenttype-system-engineer
- lib-process:computer-science--abstract-interpretation-analysis·LibraryProcessabstract-interpretation-analysis
- lib-process:computer-science--algorithm-complexity-analysis·LibraryProcessalgorithm-complexity-analysis
- lib-process:computer-science--algorithm-correctness-proof·LibraryProcessalgorithm-correctness-proof
- lib-process:computer-science--algorithm-design-paradigm-selection·LibraryProcessalgorithm-design-paradigm-selection
- lib-process:computer-science--algorithm-engineering-evaluation·LibraryProcessalgorithm-engineering-evaluation
- lib-process:computer-science--approximation-algorithm-design·LibraryProcessapproximation-algorithm-design
- lib-process:computer-science--cache-optimization-analysis·LibraryProcesscache-optimization-analysis
- lib-process:computer-science--compiler-optimization-design·LibraryProcesscompiler-optimization-design
- lib-process:computer-science--complexity-lower-bound-proof·LibraryProcesscomplexity-lower-bound-proof
- lib-process:computer-science--computational-problem-classification·LibraryProcesscomputational-problem-classification
- lib-process:computer-science--concurrent-data-structure-design·LibraryProcessconcurrent-data-structure-design
- lib-process:computer-science--cross-area-cs-integration·LibraryProcesscross-area-cs-integration
- lib-process:computer-science--decidability-analysis·LibraryProcessdecidability-analysis
- lib-process:computer-science--distributed-consensus-protocol-design·LibraryProcessdistributed-consensus-protocol-design
- lib-process:computer-science--dsl-design-implementation·LibraryProcessdsl-design-implementation
- lib-process:computer-science--formal-specification-development·LibraryProcessformal-specification-development
- lib-process:computer-science--model-checking-verification·LibraryProcessmodel-checking-verification
- lib-process:computer-science--np-completeness-proof·LibraryProcessnp-completeness-proof
- lib-process:computer-science--operational-semantics-specification·LibraryProcessoperational-semantics-specification
- lib-process:computer-science--program-synthesis-specification·LibraryProcessprogram-synthesis-specification
- lib-process:computer-science--randomized-algorithm-analysis·LibraryProcessrandomized-algorithm-analysis
- lib-process:computer-science--system-performance-modeling·LibraryProcesssystem-performance-modeling
- lib-process:computer-science--theorem-prover-verification·LibraryProcesstheorem-prover-verification
- lib-process:computer-science--theoretical-cs-paper-development·LibraryProcesstheoretical-cs-paper-development
- lib-process:computer-science--type-system-design·LibraryProcesstype-system-design
- lib-process:quantum-computing--algorithm-benchmarking·LibraryProcessalgorithm-benchmarking
- lib-process:quantum-computing--error-correction-code-implementation·LibraryProcesserror-correction-code-implementation
- lib-process:quantum-computing--error-correction·LibraryProcesserror-correction
- lib-process:quantum-computing--error-mitigation-strategy·LibraryProcesserror-mitigation-strategy
- lib-process:quantum-computing--error-mitigation·LibraryProcesserror-mitigation
- lib-process:quantum-computing--hamiltonian-simulation·LibraryProcesshamiltonian-simulation
- lib-process:quantum-computing--hardware-backend-configuration·LibraryProcesshardware-backend-configuration
- lib-process:quantum-computing--hardware-noise-characterization·LibraryProcesshardware-noise-characterization
- lib-process:quantum-computing--hybrid-system-integration·LibraryProcesshybrid-system-integration
- lib-process:quantum-computing--molecular-ground-state-energy·LibraryProcessmolecular-ground-state-energy
- lib-process:quantum-computing--multi-platform-deployment·LibraryProcessmulti-platform-deployment
- lib-process:quantum-computing--post-quantum-cryptography-assessment·LibraryProcesspost-quantum-cryptography-assessment
- lib-process:quantum-computing--quantum-algorithm-benchmarking·LibraryProcessquantum-algorithm-benchmarking
- lib-process:quantum-computing--quantum-algorithm-documentation·LibraryProcessquantum-algorithm-documentation
- lib-process:quantum-computing--quantum-circuit-design-optimization·LibraryProcessquantum-circuit-design-optimization
- lib-process:quantum-computing--quantum-circuit-design·LibraryProcessquantum-circuit-design
- lib-process:quantum-computing--quantum-circuit-testing-framework·LibraryProcessquantum-circuit-testing-framework
- lib-process:quantum-computing--quantum-classifier-implementation·LibraryProcessquantum-classifier-implementation
- lib-process:quantum-computing--quantum-computing-training-program·LibraryProcessquantum-computing-training-program
- lib-process:quantum-computing--quantum-finance-application·LibraryProcessquantum-finance-application
- lib-process:quantum-computing--quantum-neural-network-training·LibraryProcessquantum-neural-network-training
- lib-process:quantum-computing--quantum-optimization-application·LibraryProcessquantum-optimization-application
- lib-process:quantum-computing--quantum-random-number-generation·LibraryProcessquantum-random-number-generation
- lib-process:quantum-computing--quantum-resource-estimation·LibraryProcessquantum-resource-estimation
- lib-process:quantum-computing--quantum-sdk-library-development·LibraryProcessquantum-sdk-library-development
- lib-process:quantum-computing--variational-algorithm-implementation·LibraryProcessvariational-algorithm-implementation
- lib-process:quantum-computing--variational-algorithm·LibraryProcessvariational-algorithm
- lib-process:programming-languages--ast-design·LibraryProcessspecializations/programming-languages/ast-design
- lib-process:programming-languages--bytecode-vm-implementation·LibraryProcessspecializations/programming-languages/bytecode-vm-implementation
- lib-process:programming-languages--code-generation-llvm·LibraryProcessspecializations/programming-languages/code-generation-llvm
- lib-process:programming-languages--concurrency-primitives·LibraryProcessspecializations/programming-languages/concurrency-primitives
- lib-process:programming-languages--debugger-adapter-development·LibraryProcessspecializations/programming-languages/debugger-adapter-development
- lib-process:programming-languages--effect-system-design·LibraryProcessspecializations/programming-languages/effect-system-design
- lib-process:programming-languages--error-message-enhancement·LibraryProcessspecializations/programming-languages/error-message-enhancement
- lib-process:programming-languages--ffi-implementation·LibraryProcessspecializations/programming-languages/ffi-implementation
- lib-process:programming-languages--garbage-collector-implementation·LibraryProcessspecializations/programming-languages/garbage-collector-implementation
- lib-process:programming-languages--generics-polymorphism·LibraryProcessspecializations/programming-languages/generics-polymorphism
- lib-process:programming-languages--interpreter-implementation·LibraryProcessspecializations/programming-languages/interpreter-implementation
- lib-process:programming-languages--ir-design·LibraryProcessspecializations/programming-languages/ir-design
- lib-process:programming-languages--jit-compiler-development·LibraryProcessspecializations/programming-languages/jit-compiler-development
- lib-process:programming-languages--language-grammar-design·LibraryProcessspecializations/programming-languages/language-grammar-design
- lib-process:programming-languages--lexer-implementation·LibraryProcessspecializations/programming-languages/lexer-implementation
- lib-process:programming-languages--lsp-server-implementation·LibraryProcessspecializations/programming-languages/lsp-server-implementation
- lib-process:programming-languages--macro-system-implementation·LibraryProcessspecializations/programming-languages/macro-system-implementation
- lib-process:programming-languages--memory-allocator-design·LibraryProcessspecializations/programming-languages/memory-allocator-design
- lib-process:programming-languages--module-system-design·LibraryProcessspecializations/programming-languages/module-system-design
- lib-process:programming-languages--parser-development·LibraryProcessspecializations/programming-languages/parser-development
- lib-process:programming-languages--pattern-matching-implementation·LibraryProcessspecializations/programming-languages/pattern-matching-implementation
- lib-process:programming-languages--repl-development·LibraryProcessspecializations/programming-languages/repl-development
- lib-process:programming-languages--semantic-analysis·LibraryProcessspecializations/programming-languages/semantic-analysis
- lib-process:programming-languages--source-map-generation·LibraryProcessspecializations/programming-languages/source-map-generation
- lib-process:programming-languages--type-system-implementation·LibraryProcessspecializations/programming-languages/type-system-implementation
- lib-skill:aerospace-engineering--do-178c-compliance·LibrarySkilldo-178c-compliance
- lib-skill:computer-science--abstract-domain-library·LibrarySkillabstract-domain-library
- lib-skill:computer-science--consensus-protocol-library·LibrarySkillconsensus-protocol-library
- lib-skill:computer-science--counterexample-guided-refinement·LibrarySkillcounterexample-guided-refinement
- lib-skill:computer-science--data-flow-analysis-framework·LibrarySkilldata-flow-analysis-framework
- lib-skill:computer-science--dsl-compiler-generator·LibrarySkilldsl-compiler-generator
- lib-skill:computer-science--latex-proof-formatter·LibrarySkilllatex-proof-formatter
- lib-skill:computer-science--linearizability-checker·LibrarySkilllinearizability-checker
- lib-skill:computer-science--loop-invariant-generator·LibrarySkillloop-invariant-generator
- lib-skill:computer-science--memory-model-analyzer·LibrarySkillmemory-model-analyzer
- lib-skill:computer-science--model-checker-interface·LibrarySkillmodel-checker-interface
- lib-skill:computer-science--operational-semantics-builder·LibrarySkilloperational-semantics-builder
- lib-skill:computer-science--optimization-correctness-verifier·LibrarySkilloptimization-correctness-verifier
- lib-skill:computer-science--related-work-analyzer·LibrarySkillrelated-work-analyzer
- lib-skill:computer-science--smt-solver-interface·LibrarySkillsmt-solver-interface
- lib-skill:computer-science--soundness-proof-assistant·LibrarySkillsoundness-proof-assistant
- lib-skill:computer-science--ssa-transformation-library·LibrarySkillssa-transformation-library
- lib-skill:computer-science--synthesis-specification-language·LibrarySkillsynthesis-specification-language
- lib-skill:computer-science--temporal-logic-translator·LibrarySkilltemporal-logic-translator
- lib-skill:computer-science--termination-analyzer·LibrarySkilltermination-analyzer
- lib-skill:computer-science--theorem-prover-interface·LibrarySkilltheorem-prover-interface
- lib-skill:computer-science--tla-plus-generator·LibrarySkilltla-plus-generator
- lib-skill:computer-science--type-inference-engine·LibrarySkilltype-inference-engine
- lib-skill:computer-science--typing-rule-generator·LibrarySkilltyping-rule-generator
- lib-skill:mathematics--coq-proof-assistant·LibrarySkillcoq-proof-assistant
- lib-skill:mathematics--isabelle-hol-interface·LibrarySkillisabelle-hol-interface
- lib-skill:mathematics--lean-proof-assistant·LibrarySkilllean-proof-assistant
- lib-skill:mathematics--proof-structure-analyzer·LibrarySkillproof-structure-analyzer
- lib-skill:quantum-computing--qsharp-compiler·LibrarySkillqsharp-compiler
- lib-skill:programming-languages--bytecode-vm·LibrarySkillBytecode VM
- lib-skill:programming-languages--concurrency-primitives·LibrarySkillConcurrency Primitives
- lib-skill:programming-languages--dap-protocol·LibrarySkillDebug Adapter Protocol
- lib-skill:programming-languages--effect-systems·LibrarySkilleffect-systems
- lib-skill:programming-languages--error-messages·LibrarySkillError Messages
- lib-skill:programming-languages--ffi-design·LibrarySkillFFI Design
- lib-skill:programming-languages--grammar-design·LibrarySkillGrammar Design
- lib-skill:programming-languages--lexer-generator·LibrarySkillLexer Generator
- lib-skill:programming-languages--llvm-backend·LibrarySkillLLVM Backend
- lib-skill:programming-languages--lsp-protocol·LibrarySkillLanguage Server Protocol
- lib-skill:programming-languages--macro-systems·LibrarySkillmacro-systems
- lib-skill:programming-languages--module-systems·LibrarySkillmodule-systems
- lib-skill:programming-languages--pattern-matching·LibrarySkillpattern-matching
- lib-skill:programming-languages--register-allocation·LibrarySkillRegister Allocation
- lib-skill:programming-languages--repl-development·LibrarySkillREPL Development
- lib-skill:programming-languages--source-maps·LibrarySkillSource Maps
- lib-skill:programming-languages--ssa-ir-design·LibrarySkillSSA/IR Design
- lib-skill:programming-languages--tree-sitter·LibrarySkillTree-sitter
- lib-skill:programming-languages--type-theory·LibrarySkillType Theory
prerequisite_for_learning1
- skill-area:software-development·SkillAreaSoftware Development
requires_expertise1
- role:compiler-engineer·RoleCompiler Engineer