Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

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.

Leia mais
(arthi-chaud.github.io)
Desenvolvimento Subtipagem Estrutural

Dados compactados seguros para tipos em Haskell: Uma abordagem de biblioteca

2025-04-28

Esta postagem de blog resume um artigo a ser apresentado na ECOOP 2025, introduzindo uma biblioteca Haskell para suporte de dados compactados seguro para tipos e portáteis. A biblioteca usa Template Haskell para gerar código para compactar, descompactar e percorrer dados compactados sem exigir modificações no compilador. Os benchmarks mostram algumas melhorias de velocidade, mas também revelam sobrecarga computacional devido à abordagem monádica. O trabalho futuro se concentra na geração de código C para otimização de desempenho.

Leia mais
(arthi-chaud.github.io)
Desenvolvimento dados compactados