SB
Size: a a a
2021 July 10
И
Можно ли как-то задать параметр функции таким, что он принимает любой целый тип? int/uint/long и т.д.
Например для расчета факториала
Например для расчета факториала
let rec factorial n : bigint =
match n with
| x when x <= 1 -> 1I
| _ -> (n |> bigint) * factorial (n - 1)
На factorial 10UL компилятор ругаетсяP
Можно сртп, и тип не задавать
let inline add x y = x+y
Это магия такая, но работает
let inline add x y = x+y
Это магия такая, но работает
И
P
Если длинно, то типов сумм нет т.е. выразить что аргумент может быть любым из заданных например только целочисленных типов не получится. Сртп это такая компиляторная магия, при использовании функции в конкретном месте компилер выводит типы аргументов и для этих типов должны выполняться констрейнты (поддерживать операции которые используются в теле функции, в примере моем выше +)
P
У тебя n в factorial сравнивается с интом и поэтому тип n выводится как инт, а в принте ты передаеш бигинт литерал
И
А как должно быть?
P
Сравни с бигинтом
IC
И тогда у n будет тип BigInt.
P
С 1UL (это ж бигинт?)
P
Да, ну и норм
И
Нет, тогда будет работать только с bigint
UL это uint64
UL это uint64
IC
> Можно ли как-то задать параметр функции таким, что он принимает любой целый тип? int/uint/long и т.д.
P
Если надо генерик факториал, то надо убрать явное задание типа функции : bigint, и как-то сравнивать с генерик 1, хз кактут
P
Но точно ли тебе нужен генерик факториал?
И
Факториал просто для примера
VK
```
```
let rec inline factorial n =
match n with
| x when x <= LanguagePrimitives.GenericOne -> LanguagePrimitives.GenericOne
| _ -> n * factorial (n - LanguagePrimitives.GenericOne)```
P
Интересно что под капотом у GenericOne ?