Seq.map의 코드가 실행되지 않았습니까?

Question

다음 코드가 있습니다. Seq.map과 ignore 사이의 코드는 실행되지 않습니다. 두 printfn은 실행되지 않습니다. 왜?

는 I 기능 download에서

printfn "Downloading"

printfn "Downloaded"를 디버깅하는 시도

1. links (이 전체 배관을 강조)
   중단 점을 설정.

실행은 첫 번째 중단되지만 중단 점 2, 3은 결코 적중되지 않습니다. (또는 안으로 들어간다). 결과가 무시되기 때문에 F #은 Seq.map 부분을 최적화 했습니까?

let download url = 
    printfn "Downloaded" 
    () // Will complete the function later. 

let getLinks url = 
    .... 
    |> Seq.toList 

let ..... 
    async { 
     ...... 
     links = getLinks url // Tried to modify getLinks to return a list instead of seq 
     ........ 
      links // execution hit this pipe (as a whole) 
      |> Seq.map (fun l -> 
       printfn "Downloading" // execution never hit here, tried links as Seq or List 
       download l) 
      |> ignore 

는 업데이트 : 나는 for in do 일을 알고있다. 왜 Seq.map가 아닌가요?

Answer 1

요한이 말했듯이, seq 게으른이며, 당신이 실제로 순서 (대신 ignore 통해 폐기)를 통과하지 않기 때문에, 당신은 Seq.map에 전달 람다의 코드가 실행되지 않습니다. ignore을 Seq.iter ignore으로 변경하면 시퀀스를 탐색하여 원하는 결과를 볼 수 있습니다. (시퀀스를 반드시 통과해야하는 함수는 모두 가능합니다. 예 : Seq.count |> ignore)