II.
LibraryProcess overview
Reference · livelib-process:programming-languages--generics-polymorphism
specializations/programming-languages/generics-polymorphism overview
Generics and Polymorphism - Process for implementing parametric polymorphism, generics, traits/interfaces, type bounds, and monomorphization or type erasure strategies.
Attributes
displayName
specializations/programming-languages/generics-polymorphism
description
Generics and Polymorphism - Process for implementing parametric polymorphism, generics, traits/interfaces,
type bounds, and monomorphization or type erasure strategies.
libraryPath
library/specializations/programming-languages/generics-polymorphism.js
specialization
programming-languages
references
- - Rust Generics: https://doc.rust-lang.org/book/ch10-00-generics.html
- - Haskell Type Classes: https://wiki.haskell.org/Type_class
- - Java Generics: https://docs.oracle.com/javase/tutorial/java/generics/
- - C++ Templates: https://en.cppreference.com/w/cpp/language/templates
example
const result = await orchestrate('specializations/programming-languages/generics-polymorphism', {
languageName: 'MyLang',
polymorphismStyle: 'monomorphization'
});
usesAgents
- type-system-engineer
- language-feature-designer
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_area3
- skill-area:language-design·SkillAreaProgramming Language Design
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
- skill-area:typescript-generic-programming·SkillAreaTypeScript Generic Programming
uses_agent2
- lib-agent:programming-languages--type-system-engineer·LibraryAgenttype-system-engineer
- lib-agent:programming-languages--language-feature-designer·LibraryAgentlanguage-feature-designer
Incoming edges
None.