Revisión de Exercitium

Durante el curso 2013-14 inicié el blog Exercitium como complemento del curso de Informática de 1º del Grado de Matemáticas (I1M) de la Universidad de Sevilla.

El objetivo de Exercitium es plantear diariamente un problema para que los alumnos de I1M puedan practicar y escribir distintas soluciones en los comentarios.

Hasta el momento, en Exercitium se han publicado 514 ejercicios y 2.633 comentarios con soluciones. Además, según las estadísticas de WordPress, el blog ha tenido 118.249 visitas distribuidas como se muestra en la siguiente tabla

Como se observa, las visitas decrecen en verano (ya que no se proponen ejercicios desde julio hasta noviembre).

La distribución geográfica de las visitas se resume en el siguiente mapa de estadísticas de WordPress

Se observa que aunque en principio el blog era para las alumnos de I1M, las visitas no se han limitado a España sino que se ha extendido a otros países. Los países con mayor número de visitas son

Aprovechando el período de descanso estival he empezado una revisión de los problemas de Exercitium. La idea es escribir con Stack un proyecto por cada curso y publicarlo en GitHub. De momento, he publicado Exercitium1 con la revisión de los primeros ejercicios del curso 2013-14 y su correspondiente documentación en GitHUb.io.

En la revisión, estoy añadiéndole tests con DocTest, propiedades con QuickCheck y documentación con Haddock.

De esta forma, se facilita la descarga de los ejercicios y su uso. Para ello, basta

• Instalar Stack (siguiendo sus instrucciones).
• Descargar el proyecto usando una de las siguientes opciones
  • Descargar el fichero de Exercitium1, descomprimirlo y cambiar al directorio Exercitium1-master.
  • Clonar el repositorio de Exercitium1 con
    
    Shell

    git clone git@github.com:jaalonso/Exercitium1.git

    1	git clone git@github.com:jaalonso/Exercitium1.git

    
    y cambiar al directorio Exercitium1.
• Configurar el proyecto con
  
  Shell

  stack setup

  1	stack setup

• Construir el fichero con
  
  Shell

  stack build

  1	stack build

• Comprobar que todo está bien con
  
  Shell

  stack test

  1	stack test

Durante este verano tengo previsto continuar las revisiones, publicarlas en GitHub y anunciarlas en Twitter con la etiqueta #RevExercitium.