Пустой список общих аргументов

Question

В разделе 15.3 спецификации упоминается последовательность < > с пробелами, являющимися разрешенной формой.Он указывает пустой список общих аргументов, который допускает следующую странность:

type A() = class end
let a = new A< >()

Почему это разрешено?Поскольку универсальные типы могут быть созданы с опущенными аргументами типов, это своего рода оптимизация проверки типов?

Answer 1

Я согласен с Рамоном, что это делает вещи более непротиворечивыми, поскольку вы можете рассматривать неуниверсальные типы как вырожденный случай типов универсальной арности 0. В случае типов, которые «перегружены» универсальной арностью, это позволяетВы должны быть более точными в отношении того, к какому типу вы обращаетесь:

type T(o:obj) = class end
type T<'t>(t:'t) = class end

let t = T("test")
let t' = T< >("test")
let t'' = T<_>("test")

Не вдаваясь в подробности о разрешении перегрузки, не обязательно очевидно, какой тип t имеет, но совершенно ясно, какие типы t'и t'' есть.

Answer 2

Я думаю, что это просто для последовательности. Вы можете сделать List<int> и Dictionary<string, bool>, так что вы также можете сделать int< >.