- 151 名前：名無しさん♯ mailto:sage [2007/11/21(水) 08:05:42 ]
- Asyncを単純化するとこんな感じなのかな？（ ´・ω・）
#light
type Async<'a> = Async of (('a -> unit) * (exn -> unit) -> unit)
with
static member Run (Async x) = x
let unit a = Async (fun (cont, _) -> cont a)
let bind m k =
Async (fun (cont, econt) ->
let cnext = fun a -> try Async.Run (k a) (cont, econt) with exn -> econt exn
Async.Run m (cnext, econt))
で、実際にはここでのunit→resultPrim, bind→bindAsyncPrim相当でしかなくて、
これにキャンセルサポート(AsyncGroup)を追加してはじめてresultAsync, bindAsync相当になる、と。
モナドの定義自体にはスレッド云々は関係なくて、モナドを起動する側(Run, Spawn)の方で
スレッドに結びつけてる、と。
これをC#で表現するのはめんどいのう。(´･ω･`)
|
 |
