странная ошибка синтаксиса haskell

Question

Итак, у меня только небольшой опыт работы с Haskell, и я работал над нижеприведенной программой, чтобы реализовать поиск, чтобы найти максимумы в функции, но я получаю нечетную ошибку. Когда я компилирую это говорит:

MaximaSearch.hs: 26: 1: Ошибка синтаксического анализа (возможно, неправильно отступов или несоответствующие скобки)

Это линия, которая говорит, что «основные = делать», так что я думаю, что это какая-то отставая ошибку с моих отступов в коде предыдущей, но я не могу заметить ни одной ошибки ...

Вот код:

module Main where                 
    g :: Float -> Float                 
    --your function here                
    g x = cos(x^2)                  

    --goldenSectionSearch                
    goldenSS :: (Float -> Float) -> Float -> Float -> Float -> Float -> Float   
    goldenSS f a b c tau                
    | (c-a) < tau * (abs b + abs x) = (c+a)/2           
    |f x > f b = let                 
        t1|(c - b) > (b-a) = goldenSS f b x c tau       
        |otherwise = goldenSS f a x b tau         
        in t1                
    |otherwise = let                 
        t2|(c-b) > (b-a) = goldenSS f a b x tau        
        |otherwise = goldenSS f x b c tau         
        in t2                
    where                    
     let x                   
      | (c-b) > (b-a) = b + resphi*(c-b)          
      |otherwise = b - resphi*(b-a)            
      where resphi = 2 - phi where phi = (1+ sqrt 5)/2       
     in x                   

    --main                    
    main = do                   
      print x                  
      print (g x)                 
      where                  
       x = goldenSS g a ((a+b)/2) b tau          
       where                 
        a = 2                
        b = 3                
        tau = 0.001  

каких-либо идеи?

Answer 1

Причина, по которой вы получаете ошибку синтаксического анализа, проистекает из неидиоматического использования привязок let и where в вашем коде.

Haskell допускает множественные синтаксические структуры для временных привязок и сопоставления образцов, но вы их смешиваете довольно странно и беспорядочно.

Чтобы узнать, как писать чистый код и таким образом, более привычную для Haskell, я рекомендую смотреть на существующие Haskell библиотеки и программы (например, на hackage), чтобы получить представление о том, как let и where переплеты обычно работают , В общем, я считаю, что для чистых функций я почти исключительно использую where (в отличие от let), но некоторые вещи стилистичны.

Что касается этого кода, я немного изменил его, чтобы использовать привязки where вместо let, и он компилируется и запускается для меня сейчас. Даже если вам придется настроить его немного, чтобы получить его, чтобы собрать для вас, это общая структура становится чище и менее вероятно, чтобы дать вам разобрать ошибки:

module Main where         

g :: Float -> Float              
g x = cos(x^2)               

goldenSS :: (Float -> Float) -> Float -> Float -> Float -> Float -> Float 
goldenSS f a b c tau           
    |(c-a) < tau * (abs b + abs x) = (c+a)/2        
    |f x > f b = t1       
    |otherwise = t2          

    where x | (c-b) > (b-a) = b + resphi*(c-b)     
      |otherwise = b - resphi*(b-a)  

     resphi = 2 - phi 

     phi = (1+ sqrt 5)/2       

     t1 |(c - b) > (b-a) = goldenSS f b x c tau       
      |otherwise = goldenSS f a x b tau  


     t2 |(c-b) > (b-a) = goldenSS f a b x tau        
      |otherwise = goldenSS f x b c tau 



main = 
    do                   
    print x                  
    print (g x)                 
    where x = goldenSS g a ((a+b)/2) b tau          
     a = 2                
     b = 3                
     tau = 0.001