Odpowiednik do notacji Haskella lub Wyrażeń obliczeniowych F # w Scali?

Question

F # Wyrażenia obliczeniowe pozwalają ukryć złożoność monadycznej składni za grubą warstwą cukru syntaktycznego. Czy w Scali jest coś podobnego?

Myślę, że to dla listowe ...

Przykład:

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 

Ale to naprawdę nie czuję się dobrze. Czy istnieje lepsza składnia?

dla exemple w Haskell trzeba

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

ten przeciwieństwie Scala nie wyglądać jak pętla foreach. Składnia Scala wydaje się mieć zbyt silne sprzężenie ze zrozumieniem listy, co jest odrębną koncepcją. Które uniemożliwiają mi pisanie wewnętrznej DSL (monada), która nie wygląda dziwnie.

Answer 1

Wygląda na to, że nie ma takiej składni dostępnej w scala i musielibyśmy ją zaimplementować samodzielnie za pomocą architektury wtyczki kompilatora.

Answer 2

brakujące ogniwo jest prawdopodobnie użycie = jest Scala za-listowe:

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 

Dzięki rozsądnemu mieszania zarówno <- i =, trzeba mieć wszystko, czego potrzeba elastyczności.