type-machine: Simulando Subtipagem Estrutural em Haskell
2025-08-20
Programadores Haskell muitas vezes enfrentam dificuldades na modelagem de dados, especialmente ao lidar com tipos de registro com muitos campos. Este artigo apresenta type-machine, uma biblioteca Haskell que utiliza Template Haskell para simular subtipagem estrutural usando transformadores de tipo e typeclasses Is. Isso simplifica a manipulação de tipos de registro e melhora a eficiência do código. A biblioteca fornece funções como pick, omit e record, permitindo fácil manipulação de campos de registro. Benchmarks demonstram suas vantagens de desempenho em relação a abordagens alternativas.
Desenvolvimento
Subtipagem Estrutural