Chức năng Haskell lấy một loại và một giá trị và kiểm tra nếu giá trị có loại

Question

Tôi đang cố gắng tạo một trình thông dịch Scheme đơn giản trong Haskell. Là một phần của điều này, tôi đang thực hiện một số toán tử nguyên thủy như số ?, chuỗi? vv

tôi có mã như thế này:

isNumber :: [LispVal] -> LispVal 
isNumber ([Number n]) = Bool True 
isNumber   _ = Bool False 

isString :: [LispVal] -> LispVal 
isString ([String n]) = Bool True 
isString   _ = Bool False 

Và những gì tôi muốn là một cái gì đó giống như

isType :: ?? -> [LispVal] -> LispVal 
isType (typeName [typeName n]) = Bool True 
isType      _ = Bool False 

Nói cách khác, tôi muốn tạo tương đương với ISNUMBER bởi nói "isType Number". Điều này có thể bằng cách nào đó? Tôi đang đấu tranh để tìm thấy bất cứ điều gì tương tự trong Google, có thể bởi vì tôi không biết những gì để gọi tình hình.

Answer 1

Tôi giả sử bạn có một loại một cái gì đó như thế này:

data LispVal = String String | Number Double -- &c.... 

... và bạn muốn có một hàm kiểm tra xem một giá trị LispVal là một nhà xây dựng đặc biệt (String, Number, & c.) dựa trên một số đối số.

Không thực sự là một cách đơn giản, chung chung để làm điều này, thật không may.

Bạn có thể nghỉ mát để so sánh chuỗi:

getTypeName :: LispVal -> String 
getTypeName (String _) = "String" 
getTypeName (Number _) = "Number" 

isType :: String -> [LispVal] -> LispVal 
isType name [val] = Bool (name == getTypeName val) 
isType _ _ = Bool False 

Hoặc bạn có thể so sánh các loại hai LispVal s:

sameType :: LispVal -> LispVal -> LispVal 
sameType (String _) (String _) = Bool True 
sameType (Number _) (Number _) = Bool True 
sameType _ _ = Bool False 

... và sau đó tạo ra một giá trị giả để so sánh với cho isType .

Bạn cũng có thể tạo ra một "loại" giá trị và thực hiện một loại phản ánh trên LispVal s, sau đó so sánh dựa trên những:

data LispType = LispString | LispNumber | LispType 

getType :: LispVal -> LispVal 
getType (String _) = Type LispString 
getType (Number _) = Type LispNumber 
getType (Type _) = Type LispType 

isType :: LispVal -> [LispVal] -> LsipVal 
isType t [v] = isEqual t (getType v) 
isType _ _ = Bool False 

Một số biến thể của một trong những phương pháp có lẽ là lựa chọn tốt nhất của bạn. Có nhiều cách khác, dựa trên các tính năng nâng cao hơn của Haskell, nhưng chúng có lẽ không đáng để giải quyết rắc rối trừ khi các kiểu ngôn ngữ diễn giải được gắn chặt chẽ hơn với các kiểu của Haskell.