놓치기를 가장 잘 잡는 방법!, 할!, 돌아오고 돌아 오십시오! F #

Question

의 연산 식에서 계산식을 좋아하지만 return 키워드 나!를 잊어 버리는 것과 같은 간단한 실수를 저질렀습니다. let과 같은 표현에! 그리고 돌아 오라!, 또는 나는 do를 쓰는 것을 잊어 버린다. 이것은 내가 상태에 대해 잊어 버리고 제가 정의한 모나드 연산자에만 집중하는 상태 모나드에서 많이 발생합니다.

때때로 모나드 연산자가 "익명"기능 대신 "모나드 유형"인 유형을 반환하는지 확인합니다. 이것은 내 건방진 타이핑을 추적하는 데 도움이되지만 아직 이상하지 않습니다. 누구 더 좋은 속임수가 있니?

Answer 1

일반적인 모나드를 사용하면 키워드 뒤에 !이 누락되면 코드가 컴파일되어서 형식이 제대로 작동하지 않으므로 컴파일되지 않아야합니다. 예를 들면 :

let sum = async { 
    let x = async { return 1 } 
    let y = async { return 2 } 
    return x + y 
} 

두 Async<int>의를 추가하려고하고 있기 때문에이 컴파일되지 않습니다,하지만 당신은 let!들에 let의를 변경하는 경우가 컴파일됩니다.

마찬가지로, return의 누락 식별하기 위해, 단지 컴파일러 경고 메시지와 홀수 모나드 유형 피려 :이 경우

let sum = async { 
    let! x = async { return 1 } 
    let! y = async { return 2 } 
    x + y // warning FS0020 
} 

, sum 당신이 그것을 사용하려고하면 자명하다 Async<unit>입니다 코드의 다른 부분. 양자 택일로, 당신은이 문제를 즉시 잡으려고 유형 약어를 사용할 수 있습니다

let sum : Async<int> = async { // error FS0001: type mismatch 
    let! x = async { return 1 } 
    let! y = async { return 2 } 
    x + y // warning FS0020 
}