search

BraulioVM / pl

0 stars 0 forks source link

Implementar comprobación semántica de dimensiones en la multiplicación #15

Closed BraulioVM closed 6 years ago

BraulioVM commented 6 years ago

Actualmente en la multiplicación de escalares solo se comprueba que los tipos de los factores son numéricos iguales. En el apéndice A del guión de prácticas viene qué tipo de multiplicaciones se deben permitir. También hay que implementar la comprobación semántica para la multiplicación matricial

namasme commented 6 years ago

En realidad es más que el producto porque también se permite la suma, diferencia y división. A todo esto, ¿tiene sentido que sólo permitamos operar con escalares del mismo tipo? Parece que añade complejidad teniendo que comprobar las constraints.

BraulioVM commented 6 years ago

Bueno recuerdo que en algún lado venía algo así como que los tipos iban a ser estrictos y que no se iba a permitir ningún tipo de casteo. Yo esto lo he interpretado como que tampoco se harían casteos en la suma. Preguntaremos al profesor en la siguiente clase

BraulioVM commented 6 years ago

Queda implementar la multiplicación y división elemento a elemento