II.
LibrarySkill overview
Reference · livelib-skill:programming-languages--type-theory
Type Theory overview
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
Attributes
displayName
Type Theory
description
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
libraryPath
library/specializations/programming-languages/skills/type-theory/SKILL.md
specialization
programming-languages
contentSummary
# Type Theory Skill
## Overview
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping.
## Capabilities
- Implement Hindley-Milner type inference with Algorithm W
- Implement constraint-based type inference with unification
- Design and
Outgoing edges
lib_applies_to_domain1
- domain:software-engineering·DomainSoftware Engineering
lib_belongs_to_specialization1
- specialization:programming-languages·SpecializationProgramming Languages
lib_involves_role1
- role:backend-engineer·RoleBackend Engineer
lib_requires_skill_area2
- skill-area:language-design·SkillAreaProgramming Language Design
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
Incoming edges
None.