Для меня слежка за существующими ценностями, как описано в:

Затенение и Вложенная функция
неизменный в F #
f # повторяющееся определение
FSharp для комментария веселья и прибыли

кажется, идет вразрез с понятием неизменности и безопасности типов, что делает F # таким сильным. Затенение в F # работаетразные чем в C #. Мне потребовалось довольно много времени, чтобы выяснить, что ошибка в моем коде была вызвана непреднамеренным затенением имени в той же области видимости. Есть ли способ получить предупреждения компилятора для теневых значений в VS?

Я знаю, что в некоторых случаях это может быть полезно. например дляПроверено Аритметика .