gleam-lang/gleam

Explicitly add list pattern when matching on non-empty list on the Erlang target

Open

#4215 aperta il 4 feb 2025

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Rust (960 fork)batch import
help wanted

Metriche repository

Star
 (21.417 star)
Metriche merge PR
 (Merge medio 10g 19h) (69 PR mergiate in 30 g)

Descrizione

From Erlang's efficiency guide:

Don't:

map_pairs1(_Map, [], Ys) -> Ys;
map_pairs1(_Map, Xs, []) -> Xs;
map_pairs1(Map, [X|Xs], [Y|Ys]) -> todo.

Do:

map_pairs2(_Map, [], Ys) -> Ys;
map_pairs2(_Map, [_|_]=Xs, [] ) -> Xs;
map_pairs2(Map, [X|Xs], [Y|Ys]) -> todo.

In the second example, since Xs can no longer match with anything, the compiler is free to reorder the branches and make it as efficient as possible. I wonder if the Gleam compiler could emit code that plays nicely with this when it can tell you're matching on a non-empty list.

Guida contributor

Direzione di ricerca
Indaga su come il compilatore Gleam genera il pattern matching per le liste non vuote quando targetizza Erlang e proponi una modifica per emettere il pattern ottimizzato come raccomandato dalla guida all'efficienza di Erlang (usando `[ | ]=Xs` invece di `Xs`).
Tech stack
rust
Dominio
backendperformance
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RustErlangcompiler internals
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50