Ограничение типа F # с типом Enum

Question

Я хотел бы написать функцию F #, которая принимает общее значение перечисления и, скажем, удваивает его базовое целочисленное значение. К счастью, есть встроенная функция, называемая int, которая преобразует перечисление в целое число, поэтому это должно быть легко, не так ли? Вот моя первая попытка:

let doubler (value : 't when 't : enum<int>) = 
    2 * (int value) 

К сожалению, это приводит следующие сообщения компилятора:

Program.fs (2,10): предупреждение FS0064: Эта конструкция вызывает код быть меньше общего, чем обозначенных аннотациями типа. Переменная типа 't была ограничена типом' int '.

Program.fs (2,10): error FS0071: Несоответствие ограничения типа при применении по умолчанию типа 'int' для переменной ввода типа. Тип 'int' не является типом перечисления CLI. См. Также Program.fs (1,28) - (1,42). Рассмотрим , добавив дополнительные ограничения типа

Что я делаю неправильно? Есть ли лучший способ извлечь базовое целое из общего значения перечисления в F #?

Answer 1

Необходимо EnumToValue.

open FSharp.Core.LanguagePrimitives 

let doubler xEnum = 
     2 * EnumToValue(xEnum) 

type ColorEnum =  
      | Red=0 
      | Yellow=1 
      | Blue=2 

let blue = ColorEnum.Blue 

doubler blue 
//val it : int = 4 

И если вы исследуете тип подписи doubler:

вал удвоитель: xEnum: 'а -> Int когда' а: перечислимую

Что касается вашей первой ошибки, int является особенным, в некотором смысле, что это тоже функция. Как вы отмечаете, вы можете использовать базовый тип ограничения в перечислении, но в этом случае быть явным о типе, так что нет никакой путаницы:

let double2 (x:'T when 'T:enum<int32>) = 
    2 * EnumToValue(x) 

К сожалению, вы все равно не в состоянии бросить в int без использования EnumToValue. Может быть проблема с компилятором или что-то еще. Может быть, внутренности EnumToValue могут дать подсказку?