テストをコンピュテーション式で書けないか、という思考実験

TestBuilder.fs �5�� // コンピュテーション式中で用いる型 type AssertionResult<'T> = | NotAsserted of 'T | Success | Failure of string // コンピュテーションビルダー type TestBuilder() = member self.Bind(x, f) = match x with | NotAsserted(y) -> f y | z -> z member self.Return(_) = Success member self.ReturnFrom(x) = x // アサート用関数 let assertEqual<'T when 'T : equality> (x: 'T) (y: 'T) : AssertionResult<'T> = if x = y then Success