{
  "id": "skill-area:language-design",
  "_kind": "SkillArea",
  "_file": "domain/skill-areas/skill-areas-technical-depth.yaml",
  "_cluster": "domain",
  "attributes": {
    "displayName": "Programming Language Design",
    "description": "Designing programming languages and DSLs — syntax design, type\nsystem theory, semantics (operational, denotational), memory\nmanagement models (GC, ownership, reference counting), and\nlanguage ergonomics. Covers PEG/EBNF grammars and parser design.\n",
    "domains": [
      "specialization:programming-languages"
    ],
    "expertiseLevels": [
      "expert"
    ]
  },
  "outgoingEdges": [
    {
      "from": "skill-area:language-design",
      "to": "specialization:programming-languages",
      "kind": "applies_to",
      "attributes": {
        "confidence": "primary"
      }
    }
  ],
  "incomingEdges": [
    {
      "from": "skill-area:software-development",
      "to": "skill-area:language-design",
      "kind": "prerequisite_for_learning",
      "attributes": {
        "strength": "recommended"
      }
    },
    {
      "from": "specialization:compiler-design",
      "to": "skill-area:language-design",
      "kind": "contains"
    },
    {
      "from": "lib-agent:aerospace-engineering--do-178c-specialist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--compiler-architect",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:computer-science--computability-theorist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--concurrency-expert",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--distributed-systems-theorist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--formal-specification-expert",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--model-checking-expert",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--semantics-specialist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--static-analysis-expert",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:computer-science--theorem-proving-expert",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--type-theorist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:mathematics--theorem-prover-expert",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:quantum-computing--quantum-documentation-specialist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:quantum-computing--quantum-sdk-developer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--compiler-frontend-architect",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--ffi-interop-engineer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--ir-design-specialist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--language-feature-designer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:programming-languages--language-tooling-engineer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--llvm-engineer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--runtime-systems-engineer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--semantic-analysis-engineer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--type-system-engineer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--abstract-interpretation-analysis",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-complexity-analysis",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-correctness-proof",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-design-paradigm-selection",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-engineering-evaluation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--approximation-algorithm-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--cache-optimization-analysis",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--compiler-optimization-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--complexity-lower-bound-proof",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--computational-problem-classification",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--concurrent-data-structure-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--cross-area-cs-integration",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--decidability-analysis",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--distributed-consensus-protocol-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--dsl-design-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--formal-specification-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--model-checking-verification",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--np-completeness-proof",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--operational-semantics-specification",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--program-synthesis-specification",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--randomized-algorithm-analysis",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--system-performance-modeling",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--theorem-prover-verification",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--theoretical-cs-paper-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--type-system-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:quantum-computing--algorithm-benchmarking",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--error-correction-code-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--error-correction",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--error-mitigation-strategy",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--error-mitigation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--hamiltonian-simulation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--hardware-backend-configuration",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--hardware-noise-characterization",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--hybrid-system-integration",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--molecular-ground-state-energy",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--multi-platform-deployment",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--post-quantum-cryptography-assessment",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-algorithm-benchmarking",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-algorithm-documentation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-circuit-design-optimization",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-circuit-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-circuit-testing-framework",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-classifier-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-computing-training-program",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-finance-application",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-neural-network-training",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-optimization-application",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-random-number-generation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-resource-estimation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--quantum-sdk-library-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--variational-algorithm-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:quantum-computing--variational-algorithm",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:programming-languages--ast-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--bytecode-vm-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--code-generation-llvm",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--concurrency-primitives",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--debugger-adapter-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--effect-system-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--error-message-enhancement",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--ffi-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--garbage-collector-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--generics-polymorphism",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--interpreter-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--ir-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--jit-compiler-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--language-grammar-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--lexer-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--lsp-server-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--macro-system-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--memory-allocator-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--module-system-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--parser-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--pattern-matching-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--repl-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--semantic-analysis",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--source-map-generation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:programming-languages--type-system-implementation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:aerospace-engineering--do-178c-compliance",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--abstract-domain-library",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--consensus-protocol-library",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--counterexample-guided-refinement",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--data-flow-analysis-framework",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--dsl-compiler-generator",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--latex-proof-formatter",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--linearizability-checker",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--loop-invariant-generator",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--memory-model-analyzer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--model-checker-interface",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--operational-semantics-builder",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--optimization-correctness-verifier",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--related-work-analyzer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--smt-solver-interface",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--soundness-proof-assistant",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--ssa-transformation-library",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--synthesis-specification-language",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--temporal-logic-translator",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--termination-analyzer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--theorem-prover-interface",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--tla-plus-generator",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--type-inference-engine",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:mathematics--coq-proof-assistant",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:mathematics--isabelle-hol-interface",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:mathematics--lean-proof-assistant",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:mathematics--proof-structure-analyzer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:quantum-computing--qsharp-compiler",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--bytecode-vm",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--concurrency-primitives",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--dap-protocol",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--effect-systems",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:programming-languages--error-messages",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--ffi-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--grammar-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:programming-languages--lexer-generator",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--llvm-backend",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--lsp-protocol",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--macro-systems",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--module-systems",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:programming-languages--pattern-matching",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--register-allocation",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--repl-development",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--source-maps",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--ssa-ir-design",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--tree-sitter",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:programming-languages--type-theory",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "role:compiler-engineer",
      "to": "skill-area:language-design",
      "kind": "requires_expertise",
      "attributes": {}
    }
  ]
}