không thể khớp với loại mong muốn (Int -> Int -> Int) với loại thực tế `(t0, t1, t2) '

Question

Tôi là người mới bắt đầu và tôi đang cố gắng thực hiện một số hướng dẫn trên Haskell trước khi nhập uni cho khoa học máy tính.

Tôi bị kẹt trong chương trình này. Phải mất ba số và đặt chúng theo thứ tự tăng dần. Bất cứ ai có thể giúp tôi và cho tôi biết whats sai vì nó lái xe cho tôi điên? Cảm ơn vì đã dành thời gian cho tôi.

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)) 

Lỗi này là:

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

Bạn cho trình biên dịch thông tin sai loại:

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

nên

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

Các gõ đầu tiên tuyên bố rằng orderTriple convert s một chức năng (từ hai Ints đến một) vào một chức năng như vậy, mà không phải là tất cả những gì mã của bạn làm.

(Ngoài ra: +1 để nghiên cứu FP để chuẩn bị cho chương trình CS).

Answer 2

Mũi tên -> tách đối số của hàm. (Trên thực tế nó là phức tạp hơn một chút) Nhưng để tách các đối số của một tuple, sử dụng dấu phẩy:

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

Trong trường hợp của các loại khác, một không gian là đủ:

Either String Int