{
  "id": "lib-agent:programming-languages--type-system-engineer",
  "_kind": "LibraryAgent",
  "_file": "generated-library/agents.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "type-system-engineer",
    "description": "Expert in type theory and type system implementation with deep knowledge of inference algorithms, subtyping, variance, and type error diagnosis.",
    "libraryPath": "library/specializations/programming-languages/agents/type-system-engineer/AGENT.md",
    "specialization": "programming-languages",
    "role": "Senior Type System Engineer",
    "expertise": [
      "Hindley-Milner type inference",
      "Bidirectional type checking",
      "Subtyping and variance",
      "Dependent types fundamentals",
      "Type error diagnosis and localization",
      "Gradual typing and flow analysis",
      "Effect systems and algebraic effects"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-agent:programming-languages--type-system-engineer",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:programming-languages--type-system-engineer",
      "to": "skill-area:compiler-implementation",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--type-system-engineer",
      "to": "domain:software-engineering",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:programming-languages--type-system-engineer",
      "to": "role:backend-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:programming-languages--type-system-engineer",
      "to": "role:principal-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:programming-languages--type-system-engineer",
      "to": "specialization:programming-languages",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    }
  ],
  "incomingEdges": [
    {
      "from": "lib-process:programming-languages--effect-system-design",
      "to": "lib-agent:programming-languages--type-system-engineer",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:programming-languages--generics-polymorphism",
      "to": "lib-agent:programming-languages--type-system-engineer",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:programming-languages--type-system-implementation",
      "to": "lib-agent:programming-languages--type-system-engineer",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    }
  ]
}