Haskell的期貨

Question

Haskell是否具有相當於Alice將變量綁定到未來的能力？

val a = spawn foo; 

其中foo是一些函數。

我知道Haskell支持通道和線程;我希望Alice的語法像Alice的一樣自然，將價值綁定到未來，併產生一個線程來計算它，而不必處理細節。

Answer 1

您可以使用從Control.Parallelpar在

a `par` f a b c 
where 
    a = foo 

這是一個提示到a可能在另一個線程來評估運行。

Answer 2

有趣的是，我剛剛閱讀了Simon Marlow的新帖子：Parallel programming in Haskell with explicit futures。顯然，他和其他人一直在研究一些新的並行程序抽象，這些抽象旨在比par和pseq API更自然和更明確。

Answer 3

不標準的庫，但

http://ghcmutterings.wordpress.com/2010/08/20/parallel-programming-in-haskell-with-explicit-futures/

data Future a = Future a 

fork :: Eval a -> Eval (Future a) 
fork a = do a' <- rpar (runEval a); return (Future a') 

join :: Future a -> Eval a 
join (Future a) = a `pseq` return a