作为练习，我想编写一个类型为'a -> ('a -> 'b) -> 'b的F#程序。我是F#的新手，但我知道->是正确的联想。x fun1 = xval fun2 : x:'a -> fun1:'b-> 'a
val fun3 :
浏览 18提问于2019-09-16得票数 0
2回答
Haskell的bind算子(>>=)与F#的正向管道算子(|>)等价吗？
haskell、f#、bind、monads、pipeline
Haskell的bind运算符(>>=)的类型签名：F#正向管道操作符(|>)的类型签名：他们看起来很像考虑到F#的不纯性质，|>在Haskell中的等价算子是>>=。例如：getLine >>= putStrLn
<
浏览 2提问于2018-08-12得票数 6
回答已采纳
4回答
F#中的类型推断
f#、type-inference
在F#中，为什么我的add函数不能添加两个浮点数(add 3.5 5.5) //error
另外，请解释一下F#中的类型推断是如何工作的
浏览 0提问于2011-12-04得票数 3
回答已采纳
1回答
下面是一个具有语法和语义错误的F#代码：let x = (if)
F#如何同时报告语法和语义错误，而F#编译器仅在报告语法错误时停止？
浏览 3提问于2015-06-01得票数 4
回答已采纳
3回答
F#是否知道其受歧视的工会的汇编形式？
f#、servicestack、servicestack-text
F#中的一个受歧视的联合被编译成一个抽象类，它的选项成为嵌套的具体类。DU是抽象的，DU A和DU B是具体的。使用ServiceStack，可以使用函数定制类型到JSON字符串和back的序列化。关于DU类型，下面是我如何在C#中这样做的。DU.NewA() else DU.NewB(); // Func<String, DU>
F#是否知道其受歧视的工会的汇编形式？如何在编译时在F#中获得DU.A的<
浏览 0提问于2013-07-24得票数 10
回答已采纳
5回答
我刚在F#中发现了一些我称之为怪癖的东西，我想知道它是设计的还是错误的，如果是设计的，为什么会如此……如果写入第一个项大于第二个项的任何范围表达式，则返回的序列为空。在F# CTP 1.9.6.2中进行检测。
编辑：谢谢你建议解释这个范围，但是还有一个案例(这就是我问这个问题的灵感)还没有涵盖。如果A和B是变量，尽管它们总是不同，但没有一个变量总是比其他变量更大呢？考虑到范围表达式在编译时似乎没有得到优化，在A和B不允许负步骤的情况下，确定步骤(未明确指定)的代码有什么好的理由吗？
浏览 7提问于2009-05-18得票数 8
回答已采纳
1回答
F#泛型约束使一个泛型类型从另一个泛型继承
generics、f#、type-constraints
我想在F#中做同样的事情，但令人惊讶的是，它似乎不起作用。been used in a way that constrains it to always be ''I when 'I : not struct'的结果.我想知道上面类似于C#的泛型结构是否可以在F#我想要一个通用的F#与CoreWCF的互操作，例如：open CoreWCF.Configuration考虑到这些评论和引用，我试图以混合<
浏览 5提问于2020-09-28得票数 3
回答已采纳
1回答
type A() = static member B(x) = B() //ERROR: The value or constructor'B' is not defined
浏览 2提问于2010-05-14得票数 4
回答已采纳
2回答
F#类型约束-类型变量a已被约束为‘b’类型
generics、f#、monads
我试图让一个函数工作，它可以打开信封类型，将函数应用到内容中，并返回信封类型。有点像玉米煎饼的绑定功能。Errors=errors} = e
| [] -> e : Envelope<'a>
| _ -> f content : Envelope<'b>The type variable 'a has been constrained to be type ''b'.
浏览 0提问于2018-11-26得票数 1
回答已采纳
2回答
我想知道为什么F#编译器允许以下内容 member this.Add a b = a + b当涉及到类的方法时，F#不应该要求您显式指定类型吗？
浏览 6提问于2014-06-25得票数 1
回答已采纳
1回答
F#中OCaml样式泛型类型参数的语法是什么？
generics、f#、ocaml
根据的说法，F#支持OCaml样式类型参数。问题中的示例如下：但是，我在F#文档中找不到记录此语法的任何地方，而且，我无法让F#编译器接受我提供的链接所指向的答案中的语法。编译器不接受这种使用多个参数的尝试：然而，这是可行的
浏览 10提问于2020-08-01得票数 3
回答已采纳
1回答
F#引用可以用于创建适用于任意F#记录类型的函数吗？
f#、records、quotations
给定一个F#记录：和两个物体：let b = { X =x then y else xlet (><) : R -> R -> Rlet c = a >< b // = { X = a.X -?> b.X ; Y = a.Y -?>
浏览 3提问于2012-02-12得票数 2
回答已采纳
2回答
我对F#非常陌生，我试图编写一些不区分浮点数和整数的代码，并将它们仅仅视为“数字”。首先，我需要一个简单的" add“函数，它将添加两个数字，其中每个数字可以是整数或浮点数。这是我目前的方法，感觉一点也不优雅，可能是因为我对F#的复杂性一无所知。(b) -> Integer(a + b) | Float(a) ->match b</e
浏览 2提问于2019-11-09得票数 1
回答已采纳
1回答
有没有办法将一个类型参数限制为从另一个类型参数派生？when 'U :> 'T> = 此代码生成以下错误：错误2此类型参数的使用方式将其约束为始终为“”T“”
错误3从类型'T‘到'T0’的静态强制涉及基于此程序点之前的信息
浏览 20提问于2010-10-05得票数 20
回答已采纳
我知道 | foldr f (x::xs) a = f x (foldr f xs a)
如何修改以将类型更改为('a * 'b -> 'b) -> 'a list -> '
浏览 4提问于2022-11-13得票数 1
2回答
在Python中转换3D列表
python
', 'F#', 'D '], [' ', 'F#', 'D '], [' ', 'F#', 'D ']],
[[' ', 'E ', 'B '], [' ', 'E ', 'B '], ['], [
浏览 0提问于2013-08-15得票数 5
回答已采纳
我希望使用F#的类型推断来简单地通过被调用的方法/函数来推断代码的类型。when 'a :> ``BroadcastOffset``<'b>> (this: 'a) =
this.`` 当我有如下代码时 x.BroadcastOffset() 类型推断将生效不过，如果我写的是F#自己的类型，那就是美中不足的。 x.Value F#不会推断它是一个Option<_&g
浏览 16提问于2019-04-22得票数 2
回答已采纳
2回答
对类型注释或强制转换的未知需求
f#、type-inference
B.GetInstance().Call()根据这个程序点之前的信息生成错误:查找不确定类型的对象。在此程序点之前可能需要一个类型注释来约束对象的类型。这可能会使查找问题得到解决。type A() = static member GetInstance() =new B()我刚刚发现这是可行的：(<e
浏览 3提问于2010-02-12得票数 2
回答已采纳
1回答
let try_it f x = f x;;上面的函数try_it接受一个函数f，它接受一个多态参数并返回一个多态类型let add_three a b c = a + b + c;;
print_endlin
浏览 4提问于2014-02-02得票数 3
回答已采纳
云服务器
ICP备案
对象存储
云点播
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号