Práctica: A Quemar Esas Grasitas

Modalidad de trabajo 📋

Este proyecto cuenta con 2 archivos relevantes (además del README.md que estás viendo):

• src/Library.hs: acá van las definiciones de funciones y tipos de datos que se piden para resolver la consigna.
• test/Spec.hs: acá se definen las pruebas automáticas.

Recomendación: cada vez que estés por empezar un punto, leelo completo. Luego avanzá de a poco, testeando a medida que trabajás sobre la solución.

En la medida en la que avances sobre el ejercicio, recordá subir tu solución a GitHub con los comandos:

git add .
git commit -m "Mensaje que explica lo que hiciste"
git push

Este trabajo es sólo para práctica personal, no será corregido. Sin embargo podés consultar a tus tutores y pedir que te revisen lo que subiste durante la clase para que te den feedback personalizado.

Haremos puestas en común de cada punto para que puedan comparar y despejar dudas a lo largo de la clase.

Este proyecto, a diferencia de los de trabajos prácticos, no está configurado para correr las pruebas en Travis luego de pushear a GitHub. Si tenés dudas sobre algún error de compilación o tests que no pasan y necesitás ayuda para destrabarte, asegurate de mandarle un screenshot a tus tutores para que te den una mano.

Pruebas manuales y automáticas ✅

Para probar tu programa manualmente (desde la consola de Haskell) corré el comando: stack ghci. Para correr las pruebas automáticas corré el comando: stack test.

Para probar el programa, ya sea manualmente o con las pruebas automáticas, tu proyecto tiene que compilar. Los problemas de compilación, si los hay, te los va a marcar el VSCode tanto en el editor como en la vista de Problemas.

El proyecto inicial tiene un problema de compilación que necesitás solucionar antes de poder correr el programa, porque el tipo Gimnasta no está definido. Resolver ese problema forma parte del precalentamiento, que se describe más abajo.

Testeo automático

Esta práctica es más abierta y te da lugar para definir tus propias pruebas automáticas en base a lo que sería esperable que pase al usar las funciones que definas de acuerdo a la consigna.

Además para los primeros puntos ya te proponemos qué testear, lo cual se indica en el título del test correspondiente.

Por ejemplo, si hubiera un test de este estilo:

  it "Sumar 2 y 8 debería dar 10" $ do
    -- Cambiar esto por la consulta y el valor esperado real
    True `shouldBe` False

Se podría cambiar por algo así para validar lo que se pide:

  it "Sumar 2 y 8 debería dar 10" $ do
    2 + 8 `shouldBe` 10

Para más información sobre testing podés ver el video de Fer Dodino sobre HSpec, y cómo se usan estas herramientas para desarrollar a partir de las pruebas automáticas (TDD).

Dominio 🔍

Se desea desarrollar un sistema para un popular gimnasio que permita predecir el efecto de los ejercicios que realizarían sus socios con las máquinas que dispone. Las máquinas tienen ciertos ejercicios de fábrica (algunos son customizables), los cuales pueden realizarse durante una cantidad de minutos determinada, y sirven para tonificar músculos y/o quemar calorías.

De cada gimnasta nos interesa saber su edad, su peso y su coeficiente de tonificación.

Para simplificar, representaremos esos valores con números enteros, por ese motivo cuando sea necesario hacer divisiones usaremos división entera div, para evitar problemas de tipos que no son relevantes a esta práctica.

Los ejercicios que se pueden hacer en el gimnasio los modelaremos con funciones que dada una cantidad de minutos y un gimnasta, retorna al gimnasta luego de realizar dicho ejercicio.

Un ejemplo simple de ejercicio en el cual el gimnasta no hace nada (y por ende queda igual que al principio sin importar cuánto tiempo lo realice) podría ser:

relax minutos gimnasta = gimnasta

Precalentamiento ♨️

En el archivo src/Library.hs declarar el tipo de dato Gimnasta como creas conveniente, teniendo en cuenta que debe ser posible comparar dos gimnastas con la función (==).

También se pide explicitar el tipo de la función relax y declarar una constante gimnastaDePrueba para poder probar el programa.

Testing ✅

Recordá que, luego de completar esta parte del ejercicio, el proyecto debería compilar y también debería dar verde la prueba de la sección Precalentamiento, donde se usa la función relax con el gimnastaDePrueba al correr stack test.

Punto 1: Gimnastas saludables 👌

Necesitamos saber si alguien está saludable, lo cual se cumple si no está obeso y tiene una tonificación mayor a 5. Alguien es obeso si pesa más de 100 kilos.

En el archivo src/Library.hs definir las funciones para saber si alguien es obeso y si alguien está saludable.

Testing ✅

En el archivo test/Spec.hs escribir las consultas para probar tu solución y los resultados esperados de acuerdo al nombre de cada test, como se explica más arriba en la sección Pruebas manuales y automáticas -> Testeo automático.

Dado que cada gimnasta a usar para las pruebas tiene que cumplir con condiciones distintas de las demás, lo más conveniente es crear el gimnasta directamente en el test, en vez de declarar una constante como hiciste con gimnastaDePrueba para el primer test que ya venía definido.

Lo mismo aplica para los puntos siguientes, te va a simplificar mucho pensar las pruebas de forma independiente, sin tener que recordar detalles sobre datos de prueba que armaste para otro próposito.

Punto 2: Quemar calorías 💦

Hacer que una función para que un gimnasta queme una cantidad de calorías, y en consecuencia, que baje de peso.

• Si el gimnasta es obeso, baja 1 kilo cada 150 calorías quemadas.
• Si no es obeso pero tiene más de 30 años y las calorías quemadas son más de 200, baja siempre un kilo.
• En cualquier otro caso se baja la cantidad de calorías quemadas dividido por el producto entre el peso y la edad del gimnasta.

Testing ✅

En el archivo test/Spec.hs escribir los tests que creas convenientes para este punto, dentro de un nuevo describe con título "Punto 2: Quemar calorías".

Para pensar 💭 ¿cuántos casos de prueba podrían ser necesarios para validar todos los caminos posibles?

Punto 3: Ejercicios 🚴

Ahora sí, a quemar esas grasitas!

Desarrollar las funciones pesas, caminataEnCinta, entrenamientoEnCinta, colina y montania sabiendo que queremos usarlas para que un gimnasta ejercite.

Levantar pesas 💪

Las pesas tonifican la décima parte de los kilos a levantar si se realiza por más de 10 minutos, sino nada.

Ejercicios en cinta 🏃

Cualquier ejercicio que se haga en una cinta quema calorías en función de la velocidad promedio alcanzada durante el ejercicio, quemando 1 caloría por la velocidad promedio por minuto.

• La caminata es un ejercicio en cinta con velocidad constante de 5 km/h.
• El entrenamiento en cinta arranca en 6 km/h y cada 5 minutos incrementa la velocidad en 1 km/h, con lo cual la velocidad máxima dependerá de los minutos de entrenamiento.

Escalar 🗻

La colina quema 2 calorías por minuto multiplicado por la inclinación de la colina.

La montaña son 2 colinas sucesivas (cada una con la mitad de duración respecto de los minutos totales indicados), donde la segunda colina tiene una inclinación de 3 más que la inclinación inicial elegida. Además de hacer perder peso por las calorías quemadas por las colinas, este ejercicio incrementa en una unidad la tonificación del gimnasta.

Testing ✅

Al igual que para el punto anterior, en el archivo test/Spec.hs escribir los tests que creas convenientes para este punto, definiendo un nuevo describe con título "Punto 3: Ejercicios".

Hacé al menos un test para cada una de las funciones pesas, caminataEnCinta, entrenamientoEnCinta, colina y montania que te parezca interesante. Obviamente si encontrás más ejemplos relevantes para testear, podés definir tantos tests como quieras.

Sobre todo para este punto, no dejes los tests para el final, acompañá el desarrollo con las pruebas. El desarrollo de software es un proceso iterativo. Si sólo hacés una iteración, todo se vuelve cuesta arriba 😅