Какие имена типов F # и синтаксис объявления считаются идиоматическими?

Question

F # имеет несколько способов объявить одни и те же типы. Вероятно, это связано с двойной линией F # как члена семейства ML и языка .NET. Я не смог найти никаких указаний на то, какой стиль более идиоматичен.

В частности, я хочу знать:

• Что более идиоматично для 64-битных чисел с плавающей точкой IEEE 754 в F #, float или double?
• Какой идиоматичный способ в F # объявить тип массива:
  • int[]
  • int array
  • array<int>

Источники:

• https://docs.microsoft.com/dotnet/fsharp/language-reference/basic-types
• https://docs.microsoft.com/dotnet/fsharp/language-reference/fsharp-types#syntax-for-types

Контекст: я работаю над некоторой документацией API, которая объясняет, как данные в хранилище данных отображаются на типы .NET, а также как эти типы обычно объявляются как в C #, так и в F #.

Answer 1

Для двойников это почти всегда float.Если вы не имеете дело как с одинарными, так и с двойными числами, и вам нужна ясность, я думаю.

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

• int option
• int list
• int[]
• Для всех других типов, в том числе для F #, таких как Async, Set и Map, синтаксис угловой скобки

Единственный тип, который, по моему мнению, имеет существенное разделение, это seq (псевдоним для IEnumerable): я бы сказал, что большинство людей используют seq<int>, но значительныйколичество людей пишут int seq.В любом случае, вы обязательно должны использовать seq, а не IEnumerable.Точно так же вы должны использовать псевдоним ResizeArray для System.Collections.Generic.List.

Answer 2

Справочник по F # Core Library , который кажется хорошим примером для подражания, предпочитает float, int[] и seq<int>.