II.
LibraryAgent overview
Reference · livelib-agent:programming-languages--type-system-engineer
type-system-engineer overview
Expert in type theory and type system implementation with deep knowledge of inference algorithms, subtyping, variance, and type error diagnosis.
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
Outgoing edges
lib_applies_to_domain1
- domain:software-engineering·DomainSoftware Engineering
lib_belongs_to_specialization1
- specialization:programming-languages·SpecializationProgramming Languages
lib_involves_role2
- role:backend-engineer·RoleBackend Engineer
- role:principal-engineer·RolePrincipal Engineer
lib_requires_skill_area2
- skill-area:language-design·SkillAreaProgramming Language Design
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
Incoming edges
uses_agent3
- lib-process:programming-languages--effect-system-design·LibraryProcessspecializations/programming-languages/effect-system-design
- lib-process:programming-languages--generics-polymorphism·LibraryProcessspecializations/programming-languages/generics-polymorphism
- lib-process:programming-languages--type-system-implementation·LibraryProcessspecializations/programming-languages/type-system-implementation