DataFrame léger dans MicroHs : Une aventure Haskell 2010

2025-09-11

En commençant par un projet Android en Frege (Haskell sur JVM) en 2015, le parcours de programmation fonctionnelle de l'auteur l'a mené à la quête de découpler sa bibliothèque DataFrame de GHC pour la compatibilité avec MicroHs. Cet article détaille l'implémentation des fonctionnalités principales de DataFrame : construction, expressions basiques, `filterWhere`, `derive` et rendu Markdown, en Haskell 2010, sans GADTs, familles de types ou réflexion. L'expérience montre que, bien que verbeux, les fonctionnalités principales restent viables, offrant une portabilité entre MicroHs (pour les petits CLIs ou les contextes embarqués) et GHC (pour la vitesse et l'accès à l'écosystème). Les binaires MicroHs sont environ 100 fois plus petits mais 5 à 10 fois plus lents ; un compromis intéressant pour de nombreuses tâches de manipulation de données, permettant un backend GHC pour les tâches lourdes.

Lire plus
Développement