haskell-servant/servant

Generic records causes very slow compile times

Open

#1038 aperta il 18 set 2018

Vedi su GitHub
 (6 commenti) (0 reazioni) (0 assegnatari)Haskell (422 fork)batch import
help wantedperformance

Metriche repository

Star
 (1953 star)
Metriche merge PR
 (Merge medio 23h 44m) (4 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Il problema descrive tempi di compilazione lenti quando si utilizza il meccanismo di record Servant.API.Generic rispetto allo stile :<|>. Per affrontare questo, prima crea un benchmark che riproduca la differenza di prestazioni utilizzando un esempio minimale. Quindi analizza il Core generato o l'output di GHC per identificare la causa. Se il problema risiede in GHC, invia una segnalazione di bug al tracker di GHC. I file rilevanti includono il modulo Servant.Generic.
Tech stack
Nessuno
Dominio
backendperformance
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
5
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
Haskell knowledgeServant library familiarityGHC compiler internals
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
10