一元。NET类型

Question

null

>

我知道nullable 有点像Haskell中的maybe，绑定几个maybe操作表示一组可能在任何时候失败的操作。我知道list monad(IEnumerable )表示不确定性。我甚至有点理解func作为单子(readermonad)的功能。懒惰 和任务 的单子符号是什么？绑定它们是什么意思？

在.NET中，有没有人有更多类似单子的类型示例？

Answer 1

Haskell在默认情况下有Lazily，所以在Haskell中这并不是很有启发性，但是我仍然可以展示如何将任务实现为monads。以下是如何在Haskell中实现它们：

import Control.Concurrent.Async (async, wait)

newtype Task a = Task { fork :: IO (IO a) }

newTask :: IO a -> Task a
newTask io = Task $ do
    w <- async io
    return (wait w)

instance Monad Task where
    return a = Task $ return (return a)
    m >>= f  = newTask $ do
        aFut <- fork m
        a    <- aFut
        bFut <- fork (f a)
        bFut

为了方便起见，它构建在Async库上，但不必如此。Async函数所做的全部工作就是派生一个线程来计算一个操作，并返回一个将来值。我只是定义了一个小的包装器，这样我就可以定义一个monad实例。

使用此API，您可以轻松地定义自己的任务，只需在任务运行时提供您想要分叉的操作：

import Control.Concurrent (threadDelay)

test1 :: Task Int
test1 = newTask $ do
    threadDelay 1000000  -- Wait 1 second
    putStrLn "Hello,"
    return 1

test2 :: Task Int
test2 = newTask $ do
    threadDelay 1000000
    putStrLn " world!"
    return 2

test3 :: Task Int
test3 = do
    n1 <- test1
    n2 <- test2
    return (n1 + n2)

为了证明它是有效的，我将做两个简单的测试。首先，我将派生test3，而不要求它的未来，以确保它正确地生成复合线程：

main = do
    fork test3
    getLine -- wait without demanding the future

这是正确的：

$ ./task
Hello,
 world!
<Enter>
$

现在我们可以测试当我们要求结果时会发生什么：

main = do
    fut <- fork test3
    n   <- fut  -- block until 'test3' is done
    print n

$ ./task
Hello,
 world!
3
$