И
Не компилится из-за inline
Size: a a a
2021 July 10
VK
Компилится
И
И
P
Спасибо. Интересное решение, в лоб)
IC
У меня вот так заработало:
let inline factorial n =
let rec factorialInner p =
match p with
| x when x <= LanguagePrimitives.GenericOne -> LanguagePrimitives.GenericOne
| _ -> p * factorialInner (p - LanguagePrimitives.GenericOne)
factorialInner nIC
Кстати, только у меня райдер при попытке перейти к объявлению LanguagePrimitives.GenericOne просто открывает начало prim-types.fs? Это известная проблема?
И
Надо чтобы bigint возвращало, там довольно быстро начинается переполнение
И
У меня тоже
IC
Тогда надо задать к n требование, что у bigint есть конструктор с этим типом, получается.
IC
А с учётом того, что у bigint есть конструкторы для byte[] и ReadOnlySpan<byte>, это всё выглядит очень странно.
P
Тогда надо в лисп или смолток, там если операция породила большое / дробное число, оно и возвращается
IC
Да не, наверное, можно перечислить типы, как это сделано для GenericOne.
P
Тут в другом проблема, если на вход подан инт, то функция стипизируется к инту, а операция инт * инт даст переполнение
IC
Почему это? Внутренняя функция будет работать только с bigint просто.
P
А так, это да
IC
Ладно, я сдаюсь. Тут нужны люди, познавшие дзен сртп.
P
А не, не поможет, если внутренняя с бигинтом, а внешняя затипизировалась как инт, то снова возвращаемся на исходную - бигинт в инт не влезет
IC
Внешняя возвращает bigint всегда, разумеется.