II.
LibraryProcess overview
Reference · livelib-process:programming-languages--type-system-implementation
specializations/programming-languages/type-system-implementation overview
Type System Implementation - Comprehensive process for implementing type checking and type inference. Covers type representation, checking algorithms, inference, subtyping, and error reporting.
Attributes
displayName
specializations/programming-languages/type-system-implementation
description
Type System Implementation - Comprehensive process for implementing type checking and type inference.
Covers type representation, checking algorithms, inference, subtyping, and error reporting.
libraryPath
library/specializations/programming-languages/type-system-implementation.js
specialization
programming-languages
references
- Types and Programming Languages by Pierce
- Practical Foundations for Programming Languages by Harper
- - Hindley-Milner Type Inference: https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
- - Bidirectional Type Checking: https://arxiv.org/abs/1908.05839
example
const result = await orchestrate('specializations/programming-languages/type-system-implementation', {
languageName: 'MyLang',
typeSystemStyle: 'gradual',
inferenceLevel: 'local',
implementationLanguage: 'Rust'
});
usesAgents
- type-system-engineer
Outgoing edges
lib_applies_to_domain1
- domain:software-engineering·DomainSoftware Engineering
lib_belongs_to_specialization1
- specialization:programming-languages·SpecializationProgramming Languages
lib_implements_workflow1
- workflow:sdk-api-design·WorkflowSDK / API Design
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
uses_agent1
- lib-agent:programming-languages--type-system-engineer·LibraryAgenttype-system-engineer
Incoming edges
None.