Chuyển đổi Có thể Int sang Int trong Haskell

Question

Tôi đang làm việc trên mã sau đây và muốn tìm chỉ mục của số trong chuỗi hộp. Vì vậy, tôi đã sử dụng findIndex nhưng nó trả về giá trị có thể Int trong khi tôi chỉ muốn giá trị Int.

Làm cách nào tôi có thể chuyển đổi giá trị Có thể Int thành Int hoặc có cách nào để tôi có thể trích xuất Int từ Có thể Int. Mã nên in một thông báo lỗi nếu lẽ Int là gì

box:: String 
box = unlines $ ["0 | 1 | 2", 
       "---------", 
       "3 | 4 | 5", 
       "---------", 
       "6 | 7 | 8"] 

moves = do 
     putStrLn " Enter the number" 
     number <- readLn :: IO Int 
     print number 
     findpostion number box 

findposition number box = findIndex (==number) box 

Answer 1

Bạn có thể dễ dàng làm điều này bằng mô hình kết hợp trong bản Tuyên Bố do của bạn:

case findposition number box of 
    Just n -> -- do whatever with n 
    Nothing -> putStrLn "Invalid number!" -- you can handle the error however you want. 

Một lựa chọn tốt sẽ tạo một hành động IO riêng để lấy số điện thoại:

getNumber = do putStrLn "Enter the number:" 
       number <- readLn 
       case findposition number box of 
       Just n -> -- Do whatever 
       Nothing -> putStrLn "Please try again." >> getNumber 

Bằng cách này nếu người dùng nhập số không hợp lệ, nó sẽ hỏi lại.

Ngoài ra, như được viết bây giờ, mã của bạn sẽ không hoạt động. Bạn nên có một số cách khác để lưu trữ các số trong số box dưới dạng số thực; ngay bây giờ, họ đang ở trong Strings.

Answer 2

Rõ ràng, không thể nói chung: khi tìm kiếm không thành công, không có giá trị trả về số nguyên chuẩn, do đó bạn nhận được Nothing mà không có bất kỳ giá trị nào như vậy.

Nếu bạn không thực sự quan tâm đến Nothing trường hợp (ví dụ bởi vì bạn sẽ luôn luôn đảm bảo có một yếu tố như vậy), bạn có thể sử dụng chức năng fromJust ra khỏi Data.Maybe, mà bạn cũng có thể nhanh chóng triển khai chính mình:

findposition number = (\(Just i)->i) . findIndex (==number) 

Tuy nhiên điều này không thực sự được đề xuất vì bạn sẽ cần đảm bảo điều này không bị hỏng và thực hiện việc này dễ dàng hơn nhiều bằng cách khớp mẫu phù hợp.