F# меня испортил, или почему я больше не хочу писать на C#

Откройте для себя Nemerle и F# уже не будет таким крутым :)

Рефакторинг с использованием C++17 std::optional

Небольшая разница есть:

struct A
{
 int a = 1.0; // Компилируется
 int c{2.0}; // Получаем по рукам от компилятора
};

Рефакторинг с использованием C++17 std::optional

Идея иметь compact_optional который будет занимать столько же места.
И использовать примерно так:
using opt_count = compact_optional<evp_int<int, -1>, class cnt_tag>;

Рефакторинг с использованием C++17 std::optional

Тут нужен compact_optional, которого пока нет.
https://akrzemi1.wordpress.com/2015/07/15/efficient-optional-values/