Consider adding proof requirement to some currently easy exercises
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 35/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Tranquilla
- Ambito
- content
Direzione di ricerca
Esamina gli esercizi reverse-string, difference-of-squares, hamming e matching-brackets e le loro attuali valutazioni di difficoltà. Determina quali esercizi dovrebbero richiedere dimostrazioni e come tali requisiti si integrano nel track; il lavoro è concluso quando la proposta ha un ambito definito e sono stati apportati i corrispondenti aggiornamenti agli esercizi.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Would it reasonable to ask students to prove one or two properties of their solutions, for some of the simplest exercises? We would increase their difficulty rating at the same time.
Possible examples:
reverse-string
length A <= 1 implies reverse A = A
reverse (A ++ B) = (reverse B) ++ (reverse A)
difference-of-squares
difference 0 = 0
difference (n+1) = difference n + n (n+1)^2
hamming
(length A = length C and length B = length D) implies hamming (A ++ B) (C ++ D) = (hamming A C) + (hamming B D)
matching-brackets
matching-brackets A implies matching-brackets '(' A ')'
(matching-brackets A and matching-brackets B) implies matching-brackets (A ++ B)
- Lingua principale
- Lean
- Stelle
- 3
- Fork
- 4
- Merge medio
- 6m
- PR unite (30g)
- 1
Preparare l'ambiente
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.
Altre issue di exercism/lean
-
Concept exercisesAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
x:action/create x:knowledge/elementary x:module/practice-exercise x:size/medium x:type/coding x:type/content
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
x:action/create x:knowledge/elementary x:module/practice-exercise x:size/large x:type/coding x:type/content
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
x:action/create x:knowledge/none x:size/massive x:type/coding
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
Build a representerApertax:action/create x:knowledge/advanced x:module/representer x:size/massive x:type/coding
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
Tutte le issue di exercism/lean
Issue simili
-
Add: Cbeebies pl SDApertacheck:passed streams:add
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
vercel-labs/skills#2336 ·
I maintainer di solito rispondono entro 1 giorno
-
Awaiting Triage
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
I maintainer di solito rispondono entro 1 giorno
-
OSCON 2016Apertacontent
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
rubyevents/rubyevents#2148 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 2 giorni