La funzione Haskell non termina

Question

Ho scritto una funzione in Haskell che prende tre punti nell'aereo, e controlla se sono su una linea retta, o svoltiamo a destra oa sinistra.

Here's codice:

detDirection :: Point -> Point -> Point -> Direction 

detDirection a@(Point (x1, y1)) b@(Point (x2, y2)) c 

= if (collinear1 a b c) 
    then Straight 
    else let 
      ab     = Vector [x2 - x1, y2 - y1] 
      angleAbX   = angle ab (Vector [1, 0]) 
      (Point (x1, y1)) = turnAtP a b angleAbX 
      (Point (x2, y2)) = turnAtP a c angleAbX 

      in if (y1 > y2) 
       then Right 
       else Left 

Ive testato collinear1, angle, turnAtP in GHCi, e tutti terminano immediatamente. detDirection, tuttavia, continua a funzionare per sempre.

Qualcuno può dirmi dove si trova il problema?

Answer 1

In Haskell, let è un'associazione ricorsiva, ovvero è possibile fare riferimento alle variabili dichiarate nell'espressione let nelle espressioni di definizione delle altre variabili. Così, quando si scrive

let 
     ab     = Vector [x2 - x1, y2 - y1] 
     angleAbX   = angle ab (Vector [1, 0]) 
     (Point (x1, y1)) = turnAtP a b angleAbX 
     (Point (x2, y2)) = turnAtP a c angleAbX 

il x1, x2, y1, e y2 sulla prima riga non si riferiscono agli argomenti della funzione, ma per gli stessi nomi dichiarati in seguito nella let espressione. Basta cambiare le due Point linee di legare alcune variabili diverse, come

 (Point (x3, y3)) = turnAtP a b angleAbX 
     (Point (x4, y4)) = turnAtP a c angleAbX 

e modificare il calcolo tardi di conseguenza, e il vostro loop infinito andrà via.