Tiền tố chuỗi đối sánh mẫu trong Haskell

Question

Giả sử tôi muốn tạo một trường hợp đặc biệt cho hàm phù hợp với chuỗi bắt đầu bằng ký tự 'Z'. Tôi có thể dễ dàng thực hiện việc đó bằng cách sử dụng mẫu phù hợp bằng cách thực hiện một số việc như sau:

myfunc ('Z' : restOfString) = -- do something special 
myfunc s = -- do the default case here 

Nhưng điều gì xảy ra nếu tôi muốn khớp với các chuỗi có tiền tố dài hơn? Nói rằng tôi muốn có một trường hợp đặc biệt cho các chuỗi bắt đầu bằng từ "nướng bánh". Cách tốt nhất để viết một mẫu để phù hợp với một chuỗi như thế nào?

Answer 1

myfunc ('t':'o':'a':'s':'t':'e':'r' : restOfString) = ... 

Sử dụng kết hợp mẫu bình thường hoạt động, nhưng khó chịu khi chuỗi tiền tố dài hơn.

{-# LANGUAGE PatternGuards #-} 
import Data.List 
myFunc string | Just restOfString <- stripPrefix "toaster" string = 
    -- do something special 
myFunc string = -- do the default case here 

Sử dụng chức năng thư viện thay vì đối sánh mẫu dễ đọc và viết dễ hơn.

{-# LANGUAGE ViewPatterns #-} 
import Data.List 
myFunc (stripPrefix "toaster" -> Just restOfString) = -- do something special 
myFunc string = -- do the default case here 

Mở rộng cú pháp GHC 6.10 làm cho việc sử dụng này trở nên tự nhiên hơn.

---

Tất nhiên, hai sau hoàn toàn tương đương và chúng ta có thể làm (lộn xộn) mà không có bất kỳ đường nào.

import Data.List 
myFunc string = 
    if restIsJust 
     then -- do something special 
     else -- do the default case here 
    where 
    (restIsJust, restOfString) = 
     case stripPrefix "toaster" string of 
      Just something -> (True, something) 
      Nothing -> (False, undefined) 

Các tiện ích mở rộng cú pháp này có nghĩa là làm cho cuộc sống dễ dàng hơn đối với chúng tôi.

Answer 2

myfunc ('t' : 'o' : 'a' : 's' : 't' : 'e' : 'r' : restOfString) 

Theo như tôi biết, không có cú pháp ngắn gọn hơn.

Bạn cũng có thể kiểm tra xem chuỗi có bắt đầu bằng lò nướng trong điều khoản bảo vệ hay if bên trong thân chức năng.

Answer 3

import Data.List 

myFunc str | "toaster" `isPrefixOf` str = something restOfString 
      | otherwise = somethingElse 
    where Just restOfString = stripPrefix "toaster" str 

Answer 4

Thư viện Split, http://hackage.haskell.org/packages/archive/split/0.1.1/doc/html/Data-List-Split.html có nhiều chức năng cho các chuỗi tách với chuỗi, trong đó có phù hợp với tiền tố. Bạn có thể tìm thấy một cái gì đó hữu ích ở đó.

Answer 5

myFunc str = 
    case stripPrefix "toaster" str of 
    Just restOfString -> something restOfString 
    Nothing -> somethingElse 

Đây là lý do stripPrefix trả về loại Có thể.