标签: f#+

看看FSharpPlus我正在考虑如何创建一个用于的泛型函数

let qr0  = divRem 7  3
let qr1  = divRem 7I 3I
let qr2  = divRem 7. 3.

并提出了一个可能的(工作)解决方案

let inline divRem (D:^T) (d:^T): ^T * ^T = let q = D / d in q,  D - q * d

然后我看了FSharpPlus如何实现它,我发现:

open System.Runtime.InteropServices

type Default6 = class end
type Default5 = class inherit Default6 end
type Default4 = class inherit Default5 end
type Default3 = class inherit Default4 end
type Default2 = class inherit Default3 end …

F# 中的箭头是否有“proc”符号的实现？在 Haskell 中，它看起来像这样：

mean2 :: Fractional a => Circuit a a
mean2 = proc value -> do
    t <- total -< value
    n <- total -< 1
    returnA -< t / n

注意proc关键字和-<符号。

理想情况下，这可能会以某种方式使用计算表达式，但我也对其他方法持开放态度。

我有一个运行良好的示例铁路管道：

open FSharpPlus

let funA n =
    if n < 10 then Ok n
    else Error "not less than 10"

let funB n =
    if n < 5 then Ok (n, n * 2)
    else Error "not less than 5"

let funC n = // int -> Result<(int * int), string>
    n
    |> funA
    >>= funB // it works

但是，当我想将其funB转换为异步功能时，出现了编译错误。从逻辑上讲，它应该没有什么不同。相同的输出/输入...怎么了？

应该做些什么才能使其正常工作？

open FSharpPlus

let funA n =
    if n < 10 then Ok n
    else Error "not less …

我试图理解读者单子转换器。我正在使用FSharpPlus并尝试编译以下示例，该示例首先从阅读器环境中读取某些内容，然后执行一些异步计算，最后合并两个结果：

open FSharpPlus
open FSharpPlus.Data

let sampleReader = monad {
    let! value = ask
    return value * 2
}

let sampleWorkflow = monad {
    do! Async.Sleep 5000
    return 4
}

let doWork = monad {
    let! envValue = sampleReader
    let! workValue = liftAsync sampleWorkflow
    return envValue + workValue
}

ReaderT.run doWork 3 |> Async.RunSynchronously |> printfn "Result: %d"

有了这个，我在它显示的行出现编译错误，let! value = ask并显示以下完全无用的（至少对我来说）错误消息：

将默认类型“obj”应用于类型推断变量时，类型约束不匹配。没有与方法“op_GreaterGreaterEquals”匹配的重载。

已知返回类型：异步

已知类型参数：< obj , (int -> Async) >

感觉就像我只是在某个地方缺少一些操作员，但我无法弄清楚。

有人可以解释一下这段代码在 F# 中的工作原理吗：

https://github.com/fsprojects/FSharpPlus/blob/master/src/FSharpPlus/Control/Functor.fs#L99-99

static member inline Invoke (mapping: 'T->'U) (source: '``Functor<'T>``) : '``Functor<'U>`` = 
    let inline call (mthd: ^M, source: ^I, _output: ^R) = ((^M or ^I or ^R) : (static member Map : (_*_)*_ -> _) (source, mapping), mthd)
    call (Unchecked.defaultof<Map>, source, Unchecked.defaultof<'``Functor<'U>``>)

具体来说call，该函数使用了我不理解的语法

例如

• 这是什么(^M or ^I or ^R)意思？
• 其中哪些部分是代码，哪些部分是类型定义？
• ... -> 'a当它似乎返回一个元组时，它如何具有类型签名？
• 是否存在某种类型级别的编程黑客行为？