Как отбросить до аббревиатуры типа?

Question

type floatType = float32 
let a = 5.0 
let b = float32 a // Works 
let b' = floatType b // Does not work 

Можно ли применить к типу аббревиатуры?

Answer 1

При написании float32 a вы используете функцию Microsoft.FSharp.Core.Operators.float32, которая делает явное преобразование в одноточечный поплавок без единиц.

Если вы хотите, чтобы подобное использование floatType, можно добавить следующее к определениям:

let inline floatType a = float32 a 

Теперь ваш код должен работать.

Answer 2

Да, вы можете использовать псевдоним типа для кастинга, но вы не выполняете кастинг, это не синтаксис для кастинга. В вашем примере вы используете explicit conversion.

Casting это другое дело, это "новообращенных" в супер-класса (до-литье) или подклассу (понижающего литье), увидеть эту модификацию вашего примера:

type floatType = float32 
let a = box 5.0f 
let b = a :?> float32 
let b' = a :?> floatType 

Это пример - отбрасывание вниз, и, как вы видите, оно работает с псевдонимом.

Так что невозможно отличить от float до float32, даже без аннотаций типа.