Ghép mẫu Haskell trên dây - Tại sao tính năng này không hoạt động?

Question

getMultiWordPortion :: String -> String 
getMultiWordPortion (x:':':xs) = xs 
getMultiWordPortion _ = "" 

Kết quả mong đợi từ kết hợp mẫu trong mã này là mọi thứ trước dấu đầu tiên được gán cho x và mọi thứ sau đó được gán cho xs, là kết quả. Nếu không có dấu hai chấm, không có gì được trả lại.

Điều gì thực sự xảy ra với chuỗi mẫu tôi đang sử dụng ("PING: gibson.freenode.net" - đó là một phần của ứng dụng khách IRC) là tôi nhận được giá trị trả lại trống.

Tôi đang làm gì sai ở đây?

Answer 1

Mẫu x:':':xs có nghĩa là "Ký tự đầu tiên là x, ký tự thứ hai là ':' các ký tự còn lại nằm trong danh sách xs". Vì vậy, điều này có nghĩa là loại x là Char, không phải [Char] và mẫu đó chỉ phù hợp nếu có chính xác một ký tự trước dấu hai chấm.

Không có cách nào để sử dụng đối sánh mẫu trên danh sách để nói "khớp với một danh sách con, theo sau là một phần tử, tiếp theo là danh sách còn lại".

Để nhận chuỗi con sau dấu hai chấm đầu tiên, bạn có thể sử dụng dropWhile (/= ':') theString. Điều này sẽ bao gồm dấu hai chấm, do đó hãy sử dụng tail hoặc đối sánh mẫu để xóa dấu hai chấm.

Answer 2

Nhà điều hành : đáp ứng phần tử một phần vào đầu danh sách. Mẫu của bạn sẽ chỉ khớp với một chuỗi trong đó dấu hai chấm là mục thứ hai trong danh sách.