Для этого есть IsNullOrWhiteSpace.

Да, точно. Попутал.

что-то я запутался, разве let не позволяет привязку делать повторно? если руками - да, если из файла - нет. почему?

Явный шадовинг в глобал скоупе запрещен, но локально можно.

В твоём случае интерактив разрешает шадовинг чтобы тебе не надо было перезапускать сессию для изменения переменой. Ну типа весь смысл интерактива в этом.

При этом все ещё нельзя в одной программе (fsx файле) делать явный глобал шадовинг

т.е. на уровне функции будет работать?

Ну да

отлично, спасибо!

azure cosmos db (mongodb api) не сапортит retryable writes, это типа нормально или не очень?

то есть если произошла какая-то фигня и рекорд не записался то он вообще не запишется

у меня есть подозрение что именно из-за этого (как я нагуглил) у меня в бекграунд сервисе иногда бывает выскакивает такое:

MongoDB.Driver.MongoConnectionException: An exception occurred while receiving a message from the server.
---> System.IO.EndOfStreamException: Attempted to read past the end of the stream.

хотел спросить каковы ваши мысли по этому поводу

в зависимости от характера "фигни", рекорд может не записаться и после ретраев.

в общем случае, если тебе надо записать "чтоб наверняка", это не только ответственность БД, но и твоего приложения.

но так эти ретраи хоть будут

и мб не надо будет тогда велосипед делать по типу отлавливания эксепшена и ретрая каждые n милисекунд

такого нет

но просто хочется чтобы ретраи были это ж наверно правильная штука

хоть убей, не вижу ничего сложного в том, чтоб твой апп в критической точке сам следил за возможными ошибками и использовал именно ту стратегию восстановления, которая нужна и отвечает бизнес-кейсу. если не хочешь сам это писать, возьми из опенсоурса что-то и будет у тебя отдельный объект RetryPolicy или ExecutionStrategy. дефолтные настройки таких штук все равно часто не годятся, не говоря уже о том, что в таких ситуациях можно и нужно отдавать кастомные метрики как минимум.

иначе мониторить здоровье системы будет сложнее.

есть необходимость изменять xml файл, есть что нибудь для F# или лучше Linq to XML ничего не придумали?