lambdaclass / lambdaclass/lambda_compiler_kit
perf: fix O(n²) string concatenation in parseStr (Tokenizer.lean)
Nessuno ha ancora preso questa issue.
- Lingua principale
- Lean
- Stelle
- 2
- Fork
- 1
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Problem
parseStr in Lck/Json/Tokenizer.lean accumulates the string result with acc ++ s, which is O(n²) for large strings because each concatenation copies the accumulated string.
Suggested Fix
Use String.Builder accumulation or collect into List Char/List String and concatenate once at the close-quote branch to achieve O(n) behavior.
References
Raised in AI code review (Codex #1, medium severity).
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Apri Lck/Json/Tokenizer.lean e analizza parseStr, in particolare il suo accumulatore e il ramo delle virgolette di chiusura. Sostituisci la concatenazione ripetuta di stringhe con uno degli approcci suggeriti per l'accumulo in tempo lineare, preservando il comportamento del parsing e confermando che le stringhe grandi non attivino più lavoro O(n²).
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Ambito
- compilers, performance
- Tipo di issue
- Refactoring
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Stato di attività
- Ferma
- Chiarezza
- Specificata chiaramente
- Idoneità per principianti
- 58/100