Tương đương với Haskell do-notation hoặc F # Computation Expressions trong Scala?

Question

Biểu thức tính toán F # cho phép ẩn sự phức tạp của cú pháp đơn thuần sau một lớp đường cú pháp dày. Có cái gì đó tương tự có sẵn trong Scala?

Tôi nghĩ rằng đó là cho comprehensions ...

Ví dụ:

val f = for { 
    a <- Future(10/2) // 10/2 = 5 
    b <- Future(a + 1) // 5 + 1 = 6 
    c <- Future(a - 1) // 5 - 1 = 4 
} yield b * c   // 6 * 4 = 24 

val result = f.get 

Nhưng nó không thực sự cảm thấy đúng. Có cú pháp tốt hơn không?

cho dụ trong Haskell bạn sẽ phải

 
    main = do fromHandle <- getAndOpenFile "Copy from: " ReadMode 
      toHandle <- getAndOpenFile "Copy to: " WriteMode 
      contents <- hGetContents fromHandle 
      hPutStr toHandle contents 
      hClose toHandle 
      putStr "Done." 

này không giống như scala không giống như một vòng lặp foreach. Cú pháp Scala dường như có liên kết quá mạnh với Danh sách hiểu là một khái niệm khác biệt. Mà ngăn tôi viết nội bộ DSL (monad) mà không nhìn lạ.

Answer 1

Dường như không có cú pháp như vậy có sẵn trong scala và chúng tôi sẽ cần phải thực hiện nó ourself bằng cách sử dụng kiến ​​trúc plugin trình biên dịch.

Answer 2

Các mảnh còn thiếu có lẽ là việc sử dụng các = là của scala cho-comprehensions:

val f = for { 
    a <- Future(10/2) // 10/2 = 5 
    b <- Future(a + 1) // 5 + 1 = 6 
    c <- Future(a - 1) // 5 - 1 = 4 
    d = b * c   // 6 * 4 = 24 
} yield d 


val result = f.get 

Với trộn đúng đắn của cả hai <- và =, bạn nên có tất cả sự linh hoạt mà bạn cần.