haskell-servant/servant

Generic records causes very slow compile times

Open

#1.038 aberto em 18 de set. de 2018

Ver no GitHub
 (6 comments) (0 reactions) (0 assignees)Haskell (422 forks)batch import
help wantedperformance

Métricas do repositório

Stars
 (1.953 stars)
Métricas de merge de PR
 (Mesclagem média 23h 44m) (4 fundiu PRs em 30d)

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

Guia do colaborador

Direção de pesquisa
O problema descreve tempos de compilação lentos ao usar o mecanismo de registro Servant.API.Generic em comparação com o estilo :<|>. Para resolver isso, primeiro crie um benchmark que reproduza a diferença de desempenho usando um exemplo mínimo. Em seguida, analise o Core gerado ou a saída do GHC para identificar a causa. Se o problema estiver no GHC, envie um relatório de bug para o rastreador do GHC. Os arquivos relevantes incluem o módulo Servant.Generic.
Pilha de tecnologia
None
Domain
backendperformance
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
5
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
Haskell knowledgeServant library familiarityGHC compiler internals
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
10