Странный вопрос на Haskell / GHCi - PullRequest
Новая
       29

Странный вопрос на Haskell / GHCi

5 голосов
/ 09 ноября 2010

Итак, у меня есть немного кода *, который при получении трех точек должен возвращать направление. Я написал это решение, но каждый раз, когда я пытаюсь запустить его, оно приводит к зависанию GHCi, поэтому мне интересно, что я делаю неправильно. Вот код: 

--chapter 3 question 9
data Point x y = Point x y deriving (Eq, Show)
data Vector x y = Vector x y deriving (Eq, Show)

sub (Point x y) (Point a b) = (Vector (x-a) (y-b))
dot (Vector x y) (Vector a b) = (x*a)+(y*b)
perp (Vector x y) = (Vector (-y) x)
mag (Vector x y) = sqrt (dot v v) where v = (Vector x y)

data Direction = LeftTurn | RightTurn | Straight | Reverse | Stop | Undefined 
    deriving (Eq, Show)
getDirection (Point a b) (Point c d) (Point e f) 
    | a/=c && b/=d && c==e && d==f = Stop
    | a==c && b==d || c==e && d==f || e==a && f==b = Undefined
    | d > 0 = LeftTurn
    | d < 0 = RightTurn
    | otherwise = Straight
    where d = dot (sub p1 p0) (perp (sub p2 p1))
          where p0 = (Point a b)
                p1 = (Point c d)
                p2 = (Point e f)

Я не вижу рекурсии, поэтому не понимаю, почему она так себя ведет. До сих пор компилятор Haskell очень громко говорил мне, когда я делаю что-то глупое, но это компилируется просто отлично.

* Это вопрос 9 из главы 3 «Реального мира Хаскелла», если вам интересно.

1 Ответ

7 голосов
/ 09 ноября 2010

Вы связываете имя дважды.Сначала в шаблоне Point c d, чем в предложении where.

Таким образом, если вы пытаетесь получить доступ к d, связанному с шаблоном, вы фактически ссылаетесь на d изwhere предложение рекурсивно.

...