haskell-servant/servant

Generic records causes very slow compile times

Open

#1 038 ouverte le 18 sept. 2018

Voir sur GitHub
 (6 commentaires) (0 réactions) (0 assignés)Haskell (422 forks)batch import
help wantedperformance

Métriques du dépôt

Stars
 (1 953 stars)
Métriques de merge PR
 (Merge moyen 23h 44m) (4 PRs mergées en 30 j)

Description

apparently, large APIs using the Servant.API.Generic record mechanism are orders of magnitude slower to compile than their :<|> equivalent

https://twitter.com/mattoflambda/status/1041622124576661504

I'm not sure how much we can do about this, but we could at least benchmark, create a minimal example that triggers this behaviour, and submit it to GHC as a bug

Guide contributeur

Direction de recherche
Le problème décrit des temps de compilation lents lors de l'utilisation du mécanisme d'enregistrement Servant.API.Generic par rapport au style :<|>. Pour y remédier, créez d'abord un benchmark qui reproduit la différence de performance en utilisant un exemple minimal. Ensuite, analysez le Core généré ou la sortie de GHC pour identifier la cause. Si le problème se trouve dans GHC, soumettez un rapport de bogue au suivi de GHC. Les fichiers pertinents incluent le module Servant.Generic.
Stack technique
Aucun
Domaine
backendperformance
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
5
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Ancienne
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
Haskell knowledgeServant library familiarityGHC compiler internals
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
10