nie może być zgodny z oczekiwanym typem (Int -> Int -> Int) z rzeczywistym typem `(t0, t1, t2) '

Question

Jestem początkujący i próbuję zrobić kilka samouczków na temat Haskella przed wejściem do uni Informatyka.

Utknąłem w tym programie. Ma trzy liczby i umieszcza je w porządku rosnącym. Czy ktoś może mi pomóc i powiedzieć mi, co jest nie tak, ponieważ doprowadza mnie to do szału? Dziękuję za Twój czas.

import Prelude hiding (min,max) 
orderTriple :: (Int -> Int -> Int) -> (Int -> Int -> Int) 
max :: Int -> Int -> Int -> Int 
min :: Int -> Int -> Int -> Int 
middle :: Int -> Int -> Int -> Int 


max x y z 
|(x>=y) && (x>=z) = x 
|(y>=x) && (y>=z) = y 
|otherwise  = z 

min d e f 
|(d<=e) && (d<=f) = d 
|(e<=d) && (e<=f) = e 
|otherwise  = f 

middle g h i 
| (g <= (max g h i)) && (g >= (min g h i)) = g 
| (h <= (max g h i)) && (h >= (min g h i)) = h 
| otherwise     = i 

orderTriple (a,b,c) = ((min a b c),(middle a b c),(max a b c)) 

Błąd jest:

orderList.hs:23:13: 
    Couldn't match expected type `[Int -> Int -> Int]' 
       with actual type `(t0, t1, t2)' 
    In the pattern: (a, b, c) 
In an equation for `orderTriple': 
    orderTriple (a, b, c) = [(min a b c), (middle a b c), (max a b c)] 

Answer 1

Dajesz kompilatora błędne informacje typu:

orderTriple :: (Int -> Int -> Int) -> (Int -> Int -> Int) 

powinny być

orderTriple :: (Int, Int, Int) -> (Int, Int, Int) 

Pierwszy wpisując wnosi orderTriple nawróconego s funkcja (z dwóch Int do jednego) na inną taką funkcję, która nie jest wcale tym, co robi twój kod.

(Również: +1 dla nauki FP w przygotowaniu dla programu CS).

Answer 2

Strzałka -> oddziela argumenty funkcji. (W rzeczywistości jest to nieco bardziej skomplikowane) Ale oddzielić argumenty krotki, użyj przecinka:

orderTriple :: (Int,Int,Int) -> (Int,Int,Int) 

W przypadku innych typów, przestrzeń jest wystarczająca:

Either String Int