royeden / Paradigmas-TP-Especial

0 stars 0 forks source link

A.1: Mal los tipos #1

Open sanuzzi opened 6 years ago

sanuzzi commented 6 years ago

Pusieron tipos demasiado genéricos y poco expresivos. Pareciera que hicieron :t de cada cosa, copiaron y pegaron.

Pueden aclarar que en verdad los tipos son muy genéricos, pero queremos algo más expresivo que "a". ¿Qué es un síntoma? ¿Qué es un medicamento? ¿La función para curar todos los síntomas está pensada para usarse en otras cosas?

Pueden poner cosas generales, no es que esté mal, pero está súper incompleto. Se pedían tipos más claros para este dominio.

sanuzzi commented 6 years ago

La notación para definir el tipo Medicamento está mal. Revisen cómo definir sinónimos de tipos.

En la foto final, tienen que tener un tipo Medicamento, que se pueda utilizar para indicar que ibuprofeno y el resto son de ese tipo.

Además, el tipo está mal definido. ¿De verdad recibe 2 cosas? ¿Qué tipo tiene ibuprofeno, por ejemplo?

Revisen.