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