пытаясь следовать примеру в книге эксперта f # и имея проблему с рабочими процессами... код выглядит следующим образом:
type Attempt<'a> = option<'a>
let succeed x = Some (x)
let fail = None
let bind p rest =
match p with
| None -> fail
| Some r -> rest r
let delay f = f()
type AttemptBuilder() =
member b.Return (x) = succeed x
member b.Bind (p, rest) = bind p rest
member b.Delay (f) = delay f
member b.Let (p, rest):Attempt<'a> = rest p //'
member b.ReturnFrom x = x
// using it:
let attempt = new AttemptBuilder()
let test foo =
attempt {
if not foo then return! fail else return foo
}
let check () =
attempt {
let! n1 = test true
let! n2 = test false
let! n3 = test true
let foo = n1,n2,n3
return foo
}
let foo = check ()
проблема в том, что когда все значения верны, я получаю, как и ожидалось, Some(true, true, true), но если одно из переданных значений ложно, foo равно null (!). Кто-нибудь фтв?
Спасибо!
foo
на самом делеNone
, простоNone
во время выполнения представляется какnull
. - person Brian   schedule 17.11.2010