F # 워크 플로 빌더 구현 : for..in..do 구문의 예외 처리

Question

F # 워크 플로 빌더를 계속 탐색하면서 빌더에서 예외 처리, 특히 "for..in..do "구조.

이 실험의 최종 목표는 예외가 발생할 경우에도 시퀀스 처리를 계속할 워크 플로 작성기입니다.

다음은 빌더의 메서드에 대한 예외가

(첫 번째 Directory.EnumerateFiles (DIR) 호출에서) 발생 지점이 끝날 때까지 전화를받을 표시되지 않기 때문에 아래에, 예를 들어, 작동하지 않습니다

type failSafeSeq() = 
    member this.For(seq1, mapFunction) = 
     try 
      seq1 |> Seq.collect mapFunction 
     with 
      ex -> Console.WriteLine ex 
        Seq.empty 
    member this.Yield(yieldExpr) = yieldExpr |> Seq.singleton 
    member this.YieldFrom(yieldBang) = yieldBang 
    member this.Combine(a, b) = Seq.append a b 
    member this.Delay(delayFun) = delayFun() 
    member this.Zero() = Seq.empty 

let failSafe = new failSafeSeq(); 

let rec allFilesSeq dir = 
    failSafe { for file in Directory.EnumerateFiles(dir) do yield file 
       for subdir in Directory.EnumerateDirectories dir do yield! (allFilesSeq subdir) } 

[<EntryPoint>] 
let main args = 
    allFilesSeq "C:\\System Volume Information\\" //almost guaranteed to cause an UnauthorizedAccessException on Windows systems at the first Directory.EnumerateFiles(dir) call. 
    |> Seq.iter Console.WriteLine 
    0 

F # 워크 플로를 사용하면 가능합니까?

Answer 1

아니오;

는 expr가 For 먼저 평가 수단, 및이 발생하는 경우, 다음의 과정 For가 호출되지

... b.For(expr, fun pat -> cexpr) ... 

로 변환되어 연산 식에 spec 따라.

seq은 게으른 예를 들어, 귀하의 전략도 그대로 작동하지 않습니다. Seq.collect은 일반적으로 throw하지 않습니다 (대신 코드를 호출하고 시퀀스를 평가하면 코드가 실행될 수 있음).

는 'seq의 복구'의 라인을 따라 뭔가를 구현할 수있는 다른 방법이 될 것입니다 ... 나는 워크 플로우는 아마 잘못된 접근이라고 생각하고, 대신 당신은 seq 생성 및 매핑을위한 약간의 포장 콤비를 원하는 .

실제 최종 목표는 무엇입니까? 이 'recovering seq'은 나에게는 유용하지 않다고 생각합니다. 어떻게 적용 하시겠습니까?