DataFrame Leve em MicroHs: Uma Aventura Haskell 2010

Começando com um projeto Android em Frege (Haskell na JVM) em 2015, a jornada de programação funcional do autor o levou a uma busca para desacoplar sua biblioteca DataFrame do GHC para compatibilidade com MicroHs. Esta publicação detalha a implementação da funcionalidade principal do DataFrame - construção, expressões básicas, `filterWhere`, `derive` e renderização Markdown - em Haskell 2010, sem GADTs, famílias de tipos ou reflexão. O experimento demonstra que, embora verboso, a funcionalidade principal permanece viável, oferecendo portabilidade entre MicroHs (para CLIs minúsculos ou contextos embutidos) e GHC (para velocidade e acesso ao ecossistema). Os binários do MicroHs são aproximadamente 100 vezes menores, mas 5 a 10 vezes mais lentos; uma troca vantajosa para muitas tarefas de manipulação de dados, permitindo um back-end GHC para processamento pesado.