适用于所有数值数据类型的函数

Question

我写了一个简单的函数来反转给定的数字：

let reverseNumber x =
    let rec innerFunc acc elem =
        if elem = 0
            then acc
            else 
                let rem = elem % 10
                innerFunc (10 * acc + rem) (elem / 10)

    innerFunc 0 x

问题是它只适用于整数。对于例如int64我需要创建另一个版本，分别使用0L和10L而不是0和10。

我听说可以使用内联关键字和LanguagePrimitives编写更多泛型函数，但后者既不包含提醒操作也不包含'GenericTen'（尽管可能通过'GenericOne + GenericOne + ...获得）

你可以帮忙吗？

Answer 1

忽略@ kvb链接答案的完整性，这是使它成为通用的最小工作：

module NumericLiteralG =
    let inline FromZero () = LanguagePrimitives.GenericZero
    let inline FromOne () = LanguagePrimitives.GenericOne

let inline reverseNumber (x:^a) =
    let ten:^a = 1G + 1G + 1G + 1G + 1G + 1G + 1G + 1G + 1G + 1G
    let rec innerFunc (acc:^a) (elem:^a) =
        if elem = 0G then acc
        else
            let (rem:^a) = elem % ten
            innerFunc (ten * acc + rem) (elem / ten)
    innerFunc 0G x

类型注释并非绝对必要，仅用于减少IntelliSense中列出的类型约束;如果没有它们，代码将完全相同。