Consider adding proof requirement to some currently easy exercises
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Tranquilo
- Área
- content
Línea de trabajo
Revisa los ejercicios reverse-string, difference-of-squares, hamming y matching-brackets, así como sus actuales niveles de dificultad. Determina qué ejercicios deberían requerir pruebas y cómo encajan esos requisitos en el track; se considera terminado cuando la propuesta tiene un alcance definido y las actualizaciones correspondientes de los ejercicios.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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)
- Lenguaje dominante
- Lean
- Estrellas
- 3
- Forks
- 4
- Merge medio
- 6 min
- PR fusionados (30 d)
- 1
Preparar el entorno
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de exercism/lean
-
Concept exercisesAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Add `List-Ops` practice exerciseAbiertox:action/create x:knowledge/elementary x:module/practice-exercise x:size/medium x:type/coding x:type/content
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
-
Add `Zipper` practice exerciseAbiertox:action/create x:knowledge/elementary x:module/practice-exercise x:size/large x:type/coding x:type/content
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
-
x:action/create x:knowledge/none x:size/massive x:type/coding
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
-
Build a representerAbiertox:action/create x:knowledge/advanced x:module/representer x:size/massive x:type/coding
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
Todos los issues de exercism/lean
Issues similares
-
Create an initial design guideAbiertodocumentation
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
UkuleleTuesday/website#217 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
2 star needs images needs review showcase
Dificultad 1/5 Menos de una hora Aptitud para principiantes 68/100
-
Add: Cbeebies pl SDAbiertocheck:passed streams:add
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
Los mantenedores suelen responder en 1 día
-
[Author] @harrykimpelAbiertoauthor-page claim-verified needs-maintainer-review
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
shanselman/TinyToolTown#831 · 2 comentarios ·
Los mantenedores suelen responder en 6 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
vercel-labs/skills#2336 ·
Los mantenedores suelen responder en 1 día