Distancia entre dos puntos

Definir la función

tal que (distancia p1 p2) es la distancia entre los puntos p1 y p2. Por ejemplo,

Comprobar con QuickCheck que se verifica la propiedad triangular de la distancia; es decir, dados tres puntos p1, p2 y p3, la distancia de p1 a p3 es menor o igual que la suma de la distancia de p1 a p2 y la de p2 a p3.

Soluciones

A continuación se muestran las soluciones en Haskell y las soluciones en Python.


Soluciones en Haskell

El código se encuentra en GitHub.


Soluciones en Python

El código se encuentra en GitHub.

Comentarios

  • La raíz cuadrada de x se escribe
    • en Haskell, como sqrt x y
    • en Python, como sqrt(x) y hay que importarla del módulo math.