Как лучше поймать недостающую, пусть !, сделать !, вернуться и вернуться! в выражениях вычислений в 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 
}