haskell-servant/servant

Generic records causes very slow compile times

Open

#1.038 geöffnet am 18. Sept. 2018

Auf GitHub ansehen
 (6 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (422 Forks)batch import
help wantedperformance

Repository-Metriken

Stars
 (1.953 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 23h 44m) (4 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Das Problem beschreibt langsame Kompilierungszeiten bei Verwendung des Servant.API.Generic Record Mechanismus im Vergleich zum :<|> Stil. Um dies zu beheben, erstellen Sie zunächst einen Benchmark, der den Leistungsunterschied anhand eines minimalen Beispiels reproduziert. Analysieren Sie dann den generierten Core oder die Ausgabe von GHC, um die Ursache zu identifizieren. Wenn das Problem bei GHC liegt, melden Sie einen Fehler im GHC Tracker. Relevante Dateien umfassen das Servant.Generic Modul.
Tech Stack
Keine
Domain
backendperformance
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
5
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
Haskell knowledgeServant library familiarityGHC compiler internals
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
10