F# -了解使用泛型的类型
F#是一种函数式编程语言，它是.NET平台上的一部分，可以与其他.NET语言（如C#和VB.NET）无缝集成。F#具有强大的类型推断功能，可以帮助开发人员编写简洁、可靠的代码。
在F#中，泛型是一种强大的类型系统特性，它允许我们编写可以适用于多种类型的代码。泛型类型可以在定义时不指定具体的类型，而是使用类型参数来表示。这样一来，我们可以编写更加通用和灵活的代码，同时减少代码的重复性。
使用泛型的类型可以提供以下优势：
- 代码重用：泛型允许我们编写通用的代码，可以在多种类型上进行重用，减少了代码的冗余。
- 类型安全：泛型在编译时进行类型检查，可以在编译时捕获类型错误，提高代码的可靠性。
- 性能优化：泛型类型在运行时可以避免装箱和拆箱操作，提高了代码的执行效率。
泛型在各种开发场景中都有广泛的应用，例如：
- 数据结构和算法：泛型可以用于实现通用的数据结构（如列表、栈、队列等）和算法（如排序、搜索等），以适应不同类型的数据。
- 集合类库：泛型可以用于实现通用的集合类库，如List、Dictionary等，可以存储和操作不同类型的数据。
- 数据访问层：泛型可以用于定义通用的数据访问接口，以适应不同类型的数据源（如数据库、文件等）。
- 事件处理：泛型可以用于定义通用的事件处理机制，以适应不同类型的事件和处理逻辑。
在腾讯云的产品中，与F#相关的产品包括：
- 云函数（Serverless）：腾讯云云函数是一种事件驱动的无服务器计算服务，可以使用F#编写函数逻辑，并根据需要自动扩展和调用。
- 云数据库（TencentDB）：腾讯云数据库提供了多种类型的数据库服务，可以与F#应用程序集成，存储和访问数据。
- 人工智能（AI）：腾讯云提供了丰富的人工智能服务，如语音识别、图像识别等，可以与F#应用程序结合使用，实现智能化的功能。
更多关于腾讯云产品的信息，请访问腾讯云官方网站：https://cloud.tencent.com/
相关·内容
3回答
假设我有一个支持给定成员函数的类型族，比如下面的Property成员：
type FooA = {...} with
member this.Property = ...
type FooB = {...} with
member this.Property = ...
假设成员属性为上述每种类型返回一个整数。现在，我想编写一个泛型函数，它可以执行以下操作：
let sum (a: 'T) (b: 'U) = a.Property + b.Property
我习惯于用C++编写以下代码：
template<typename T, typename U
浏览 1提问于2010-09-02得票数 4
回答已采纳
let print_type_c (x: Type)=
if x = typeof<Int32> then "int"
elif x = typeof<Single> then "float"
elif x = typeof<Tuple<_>> then "tuple"
elif x = typeof<FSharpFunc<Tuple<'inp>,'out>> then "function..."
浏览 0提问于2016-10-20得票数 2
回答已采纳
我试图在IEnumerable上应用Seq函数。更具体地说，是System.Windows.Forms.HtmlElementCollection实现了ICollection和IEnumerable。
既然F# seq是IEnumerable，我想我可以写
let foo = myHtmlElementCollection |> Seq.find (fun i -> i.Name = "foo")
但是编译器将没有这些，并抱怨“类型'HtmlElementCollection‘与类型’seq<‘a>’不兼容”。
但是，编译器愿意接受IEnumer
浏览 1提问于2014-01-30得票数 23
回答已采纳
1回答
F#中的数组是否是泛型的？
这不是，因为它说，数组是Systam.Array。
同时我看到有array<'T>类，它在引用中没有被引用。为什么要使用哪个数组？
浏览 0提问于2018-03-11得票数 2
我有以下代码：
type Message<'a> = | Message of 'a
let handleMessage message =
match box message with
| :? Message<_> -> printfn "Message"
| _ -> printfn "Not message"
let handleMessageEx message =
match box message with
| :? Message<int>
浏览 4提问于2016-10-05得票数 5
回答已采纳
我在思考F#中的一个泛型参数时遇到了一个问题。我想要将两个类型传递给一个函数:第一个类型是我想要在另一个类型中实现的类型(即第二个参数)。
当我在C#中这样做时，我得到了想要的结果。然而，当我在F#中执行时，我得到的是Type.Name = "T“而不是"SomeType”。我已经整理了一个Gist，希望它能用C#和F#说明我想要做的事情(这只是一个linqpad示例，用来展示我想要做的事情)：
为什么结果是.GetGenericArguments..Name = "T“而不是"MySample2”(这就是C#的输出)？
浏览 1提问于2014-04-25得票数 0
我刚刚想到，F#泛型似乎不接受常量值作为“模板参数”。
假设一个人想要创建一个类型RangedInt，这样它的行为就像一个int，但是保证它只包含一个整数值的子范围。
一种可能的办法是建立一个受歧视的联盟，类似于：
type RangedInt = | Valid of int | Invalid
但这也不起作用，因为没有“范围信息的特定类型存储”。如果范围也不同，那么两个RangedInt实例应该是不同类型的。
由于C++仍然存在一些问题，它看起来类似于：
template<int low,int high>
class RangedInteger { ... };
现在出现的问
浏览 5提问于2015-09-16得票数 6
回答已采纳
1回答
在这个中，我了解到在F#中，array<'T>与System.Array是不同的。
VS告诉我，array<'T>继承了System.Array，并具有全名Microsoft.FSharp.Core.array<_>和一些额外的接口。
然而，说array<'T>是System.Array的一种类型缩写。并且它使用符号arr.[i]来获取和设置项目。
那么，对我来说，array<'T>是包含类型扩展和附加接口的类型缩写吗？哪里是查找这篇文章的最好地方？
浏览 0提问于2013-06-07得票数 6
回答已采纳
1回答
我是F#的新手，基本上我正在尝试使用FileHelpers库逐条导入csv记录。这样我就可以将每个对象放在一个队列中。
let importOrders (filePath:string) = do
let engine = new FileHelpers.FileHelperAsyncEngine(typeof<DataTypes.Order.OrderType>)
engine.BeginReadFile(filePath)
for o in engine do
unProccessedData.Enqueue(o)
浏览 2提问于2012-03-25得票数 2
回答已采纳
试图弄清楚如何创建一个接受方法列表和另一个参数的方法。我有我在C#中创建的方法，我正试图将其带到F#上：
public interface IValidator
{
MethodResult Validate(IList<Func<userModel, MethodResult>> validationMethods
, userModeltoValidate);
}
我尝试过这样的方法：
type public IValidator =
abstract Validate : IList<(BasicUserModel -> Met
浏览 0提问于2011-11-10得票数 1
回答已采纳
考虑一下这个接口：
type A<'a> =
abstract X : 'a
让我们尝试使用int作为泛型参数来实现它：
{ new A<int> with member this.X = 5 } // all is well
现在，让我们尝试一下unit作为一个论点：
// Compiler error: The member 'get_X : unit -> unit' does not have the correct type to override the corresponding abstract method
浏览 4提问于2014-10-10得票数 7
回答已采纳
1回答
在Environment.GetEnvironmentVariables() 4.5中，Collections.IDictionary.将环境变量作为非泛型Collections.IDictionary.返回。
是否有任何方法将F#中的环境变量作为泛型集合？
浏览 2提问于2012-08-17得票数 7
回答已采纳
1回答
在F#中，使用Alea可以做到这一点吗？
宣布一项职能：
let my_function = fun a b -> a + b
传递该函数的内核，并在内核中使用它：
let result = my_function 5 9
据我了解，另一种方法是静态地声明函数，例如：
[<ReflectedDefinition>]
let my_function a b =
a + b
但是我希望能够根据程序的参数来改变my_function。
例如：
[<ReflectedDefinition>]
let kernel (a:int) (adder:int->in
浏览 7提问于2017-12-07得票数 2
回答已采纳
2回答
我正在学习F#，当我在Visual中输入任何代码并在F#互动上运行它们时，它会向我展示如下内容
val foo : x:'a -> 'a
我认为这意味着foo是一个函数，它接收类型的参数x，并返回相同x类型的值。
但是，' 的意思是什么呢？的许多函数在智能感知上也显示了这样的东西。
浏览 1提问于2013-07-28得票数 14
回答已采纳
此代码将生成以下警告
module TimeSeries
open System
type TimedValue<'T> = { ts : DateTime; value: 'T}
type TimeSerie<'T> = TimedValue<'T> seq
let t : TimedValue<'double> = { ts = DateTime.Today; value=5}
警告：
此构造导致代码不像类型注释所指示的那样泛型。类型变量'double‘已被限制为'int’类型。
浏览 3提问于2012-10-22得票数 6
回答已采纳
在下列情况下
let a = [1]
let f x = x
let b = a |> List.map f
A是一个int列表。我们调用List.map，因此确定f必须是int->？函数。为什么f仍然被输入为'a ->'a而不是int->int?如果这是类型推断(不是)在F#中的工作方式，我看不出它有什么好处。
在不显式指定x的类型的情况下，是否有解决办法？假设x有类型(A*B*C列表(D选项，E列表))
还有另一件有趣的事情：
open System.Collections.Generic
let d = new Dictionary()
d.[1
浏览 1提问于2014-03-22得票数 0
let pair a b = fun select -> select a b;
let isPair(x) = x.GetType().BaseType.Name = "FSharpFunc`2"
exception OuterError of string
let first(p) =
if isPair(p) then p(fun a b -> a)
else raise (OuterError("Not a pair"))
let second(p) =
if isPair(p) then p(fun a b -&
浏览 1提问于2021-11-26得票数 0
回答已采纳
4回答
如果我创建下面的add函数
let add x y =
x + y
然后单独运行下面的代码行，我会得到一个错误，因为F#会默认假设x和y应该是整数。
add 5.4 3.2
也就是说，如果我把它们放在一起运行，add就能正常工作，因为它现在把它看作是一个获得两个浮点数的函数(这意味着编译器提前做了类型推断)。
这就引出了一个问题，为什么相同的向前看过程不允许F#知道toHackerTalk正在接受一个字符串？即使我一起运行以下几行，它也会给我一个错误，因为短语的类型是不确定的。
let toHackerTalk phrase =
phrase.Replace('t
浏览 1提问于2014-05-03得票数 4
我正在尝试学习F#，并且遵循 (第37页，kmeans函数内部)：由于我的代码是在F# 4中编写的，因此需要更新以下代码以使用List.item而不是List.nth
let centroids =
let rnd = System.Random()
[ for i in 1 .. clusterCount ->
List.nth data (rnd.Next(data.Length)) ]
它变成了：
let centroids =
let random = System.Random()
[for i in 1 .. clusterC
浏览 8提问于2017-06-23得票数 1
回答已采纳
1回答
在F#中，我使用一个泛型成员定义了一个接口：
type MyType =
abstract MyMember<'a> : 'a -> int
我想编写一个函数，它可以创建一个实现这个接口的对象：
module MyType =
let create f =
{
new MyType with
member __.MyMember(x) = f x
}
这当前无法使用以下错误消息进行编译：
This code is not sufficiently gene
浏览 0提问于2020-05-06得票数 2
回答已采纳
3回答
我试图重写这样的通用代码(C#)：
U Upcast<T, U>(T x) where T : U { return x; }
在F#中：
let ucast<'T, 'U when 'T :> 'U> (x: 'T) = x :> 'U
但是F#约束解决方法与C#不同，编译器输出大量类型错误：
error FS0698:无效约束:用于约束的类型是密封的，这意味着约束只能由一种解决方案来满足。
警告FS0064:此构造导致代码不像类型注释所指示的那样泛型。类型变量'T‘被限制为’U‘类型。
error
浏览 4提问于2010-12-30得票数 7
回答已采纳
4回答
特定泛型类型的扩展方法
、、、、
我试图为绑定到F#中特定泛型类型参数的泛型类型创建各种扩展方法，但是语言似乎不允许我这样做：
我想做的事情如下：
type IEnumerable<int> with
member this.foo =
this.ToString()
然而，它给出了编译器错误(在int关键字下划线)：
类型名称中的意外标识符。预期的infix运算符、引号或其他标记。
以下内容确实有效，尽管它没有像我所希望的那样专门将泛型类型参数绑定到int：
type IEnumerable<'a> with
member this.foo =
浏览 0提问于2009-10-07得票数 10
回答已采纳
为什么Bind1和Bind2有不同的签名？
type T() =
let bind(v, f) = v
member self.Bind1 = bind
member self.Bind2(a, b) = bind(a, b)
fsi将它们报告为
type T =
class
new : unit -> T
member Bind2 : a:'a * b:'b -> 'a
member Bind1 : (obj * obj -> obj)
end
这是在我玩一些计算表达式时出现的，我不知道为什么我会得到一个关
浏览 0提问于2009-12-22得票数 3
回答已采纳
考虑下面的示例代码，其中我有一个泛型类型和2个静态成员构造函数，它们创建了该类型的专门实例。
type Cell<'T> = { slot: 'T }
with
static member CreateInt x : IntCell = { slot = x }
static member CreateString x : StringCell = { slot = x}
and IntCell = Cell<int>
and StringCell = Cell<string>
// Warnings on the nex
浏览 2提问于2014-11-23得票数 4
回答已采纳
我正在尝试对进行模拟实现，而我恰好是在F#中这样做的。
type MockDbSet<'T when 'T : not struct>(items:seq<'T>) =
let collection = ResizeArray(items)
new () = MockDbSet(Seq.empty)
interface IDbSet<'T> with
member x.Add entity = collection.Add entity; entity
member
浏览 0提问于2014-05-14得票数 10
回答已采纳
1回答
在C#中，我可以使用两个不同的类型参数在一个类上实现两次泛型接口：
interface IFoo<T> { void Foo(T x); }
class Bar : IFoo<int>, IFoo<float>
{
public void Foo(int x) { }
public void Foo(float y) { }
}
我想在F#中做同样的事情：
type IFoo<'a> = abstract member Foo : 'a -> unit
type Bar() =
interface
浏览 21提问于2009-09-23得票数 19
回答已采纳
我希望我能做到以下几点：
type Logger = {
warn : System.Type -> string -> unit
// also methods for error, info etc
}
// during application startup
let warn (serviceProvider : IServiceProvider) (t : Type) s =
let loggerType = typeof<ILogger<'a>>.MakeGenericType(t)
let logger
浏览 1提问于2018-03-14得票数 1
回答已采纳
1回答
F#中的显式递归
、、
受启发
在F#?中是可能的显式递归。
type 'a Mu = In of 'a Mu 'a
let unIn (In x) = x
这段代码不幸地给出了"Type参数不能用作类型构造函数。
备注:例如，在论文中使用了这个结构。
使用示例(取自)：
type ('a, 'b) ListX =
| Nil
| Cons of 'a * 'b
type 'a List = ListX Mu
浏览 2提问于2009-08-10得票数 7
回答已采纳
我有这个C#代码
public interface IDinnerRepository : IRepository<Dinner>
{
IQueryable<Dinner> FindByLocation(float latitude, float longitude);
IQueryable<Dinner> FindUpcomingDinners();
IQueryable<Dinner> FindDinnersByText(string q);
void DeleteRsvp(RSVP rsvp);
}
和
pu
浏览 3提问于2014-08-09得票数 2
回答已采纳
1回答
这里我有一个简单的二进制搜索树类型：
type Tree<'k, 'v> =
| EmptyTree
| TreeNode of 'k * 'v * Tree<'k,'v> * Tree<'k,'v>
在C#中，如果我们有一个名为Tree的类，我们可以编写
List<Tree> tree = new List<Tree>()
但是如何在F#中声明一个类型树的列表呢？
浏览 2提问于2019-11-05得票数 0
回答已采纳
尝试做一些非常基本的事情--将F#列表转换为.Net泛型列表(我认为)
我是F#的新手。
let items =
pricelistItems // List<PriceListItem>
|> Seq.map(fun pli ->
let item =
new Item(
Code = pli.sku,
Description = "",
IsPurchased = true,
浏览 1提问于2021-03-04得票数 1
回答已采纳
我在我的F#应用程序中使用了F#，并希望通过创建几个函数来使日志记录更加地道的F#。
对于警告，我创建了以下函数：
let log = log4net.LogManager.GetLogger("foo")
let warn format = Printf.ksprintf log.Warn format
这很好，我可以做到：
warn "This is a warning"
// and
warn "The value of my string is %s" someString
然而，我想使这个更通用，并使它有可能传入我想要的记录器。因此，我
浏览 6提问于2016-10-07得票数 4
回答已采纳
1回答
在这个问题中，讨论了结构比较会使函数let min3(a, b, c) = min a (min b c)变慢；简单类型上的结构比较不应该像本机类型一样快吗？我很困惑，因为人们总是谈论在的F#中使用HashIdentity.Structural作为字典。如果我有一个使用简单类型(整型或字符串)作为键的字典，我是否会因为使用HashIdentity.Structural而得到性能损失
浏览 0提问于2011-05-24得票数 3
回答已采纳
上下文:我在F#中使用.NET/c#-库，并尝试使用例如Map.ofSeq。这失败了，因为Fare.State不支持比较，因为它没有实现System.IComprable接口(FS0001)。
在我的天真中，我试图像这样添加interface IComparable：
type Fare.State with
interface IComparable<Fare.State> with
member this.CompareTo obj =
match box obj with
浏览 7提问于2016-05-03得票数 6
回答已采纳
在F#中，t<'a>和'a t在含义上有什么区别吗？即使在声明之后，它们也可以互换使用吗？
浏览 2提问于2012-04-16得票数 12
回答已采纳
1回答
如何强制类型签名
、、
在下面的代码中，queue_it以意外的方式更改类型签名。我该怎么解决这个问题？
module foo =
type MBase() =
member __.id = 42
type User() = inherit MBase()
type User2() = inherit MBase()
let queue_it f = fun x -> f x
let _find(x:int) = (Unchecked.defaultof<#MBase>)
let find0 = fun x -> _f
浏览 0提问于2018-10-21得票数 1
回答已采纳
3回答
我不明白F#中的价值限制是如何工作的。我读过和中的解释。我不明白的是：
例如，为什么这会给我一个值限制错误(摘自问题)：
设toleq (e:float<_>) a b= (abs (Abs))<e
但事实并非如此：
设toleq e (a:float<_>) b= (abs (A))<e
这是广义的，好的..。
设is_bigger a b=a<b
但这不是(它被指定为int)：
让添加a b=a+b
为什么带有隐式参数的函数会产生值限制：
这是：
设item_count = List.fold (趣味acc _ -> 1+ acc
浏览 2提问于2009-07-15得票数 22
回答已采纳
F#有多种方法来声明相同的类型。这很可能是因为F#既是ML家族的成员，又是.NET语言的双重血统。我还没有找到任何关于哪一种风格更地道的指导。
具体来说，我想知道：
对于F#、float或double中的64位IEEE 754浮点数，哪一种更适合使用？
这是在F#中声明数组类型的一种更惯用的方法：
int[]
int array
array<int>
资料来源：
上下文:我正在编写一些API文档，解释数据存储中的数据如何映射到.NET类型，以及这些类型通常是如何在C#和F#中声明的。
浏览 0提问于2019-04-12得票数 1
2回答
扩展F#列表模块
、、、
我一直在向一些F#模块添加一些方便的方法，比如List。
type Microsoft.FSharp.Collections.FSharpList<'a> with //'
static member iterWhile (f:'a -> bool) (ls:'a list) =
let rec iterLoop f ls =
match ls with
| head :: tail -> if f head then iterLoop f ta
浏览 0提问于2009-10-01得票数 7
回答已采纳
1回答
让绑定类型推断
、、
我在F#中有以下代码：
let value = NSUserDefaults.StandardUserDefaults.StringForKey("type")
if value <> null then
//we know type is not null
在这里，我没有为value指定类型。但是，由于F#是一种静态类型化语言，所以编译器必须在编译期间为每个构造推导出确切的类型。在这种情况下，值要么是null，要么是String。编译器是如何处理这个问题的？在运行时分配给值的类型是什么？
浏览 1提问于2018-03-07得票数 1
回答已采纳
2回答
在将其标记为重复之前:我知道这个问题与使用单元作为类型参数时有关编译错误的各种问题有关。下面是一些例子：
这些都遇到了一个与这个类似的问题：
type Interface<'a> =
abstract member MyFunc : unit -> 'a
let implementingInstance =
{ new Interface<_> with
member __.MyFunc () = () } // Compiler error!
据我所知，代码没有编译，因为单元返回函数是用v
浏览 1提问于2016-10-27得票数 4
回答已采纳
1回答
我一直在试验F#，并且认为，作为一个学习练习，我可以得到一个现有的c#项目，然后一个接一个地用F#版本替换类。当我尝试用C# 'class‘类型实现一个通用的F#接口时，我遇到了麻烦。
C#接口
public interface IFoo<T> where T : Thing
{
int DoSomething<T>(T arg);
}
试图实现F#。我有过不同的版本，这是最近的版本(给我最少的错误信息)
type Foo<'T when 'T :> Thing> =
interface
浏览 3提问于2014-05-16得票数 3
回答已采纳
假设我有一条指令：
CharTermAttribute cattr = stream.addAttribute(CharTermAttribute.class);
注意: CharTermAttribute.class是一个类
在F#中，情况可能是这样的：
let cattr:CharTermAttribute = stream.addAttribute(..........)
我怎么能对F#说(CharTermAttribute.class )是一个类
浏览 9提问于2016-02-05得票数 2
回答已采纳
1回答
我正在尝试从本文中翻译成F#代码，
我无意中发现了这句话：
public delegate void MyFirstEventHandler(string args);
public event MyFirstEventHandler MyFirstEvent;
我试图在F#中将其翻译为：
type MyFirstEventHandler = delegate of string -> unit
type MyFsComComponent () =
let my_event = new Event<MyFirstEventHandler,string> ()
浏览 3提问于2013-06-18得票数 4
回答已采纳
3回答
我不知道问题的标题是否清楚，但我想知道自定义F#类型的实际类型。
像在C#中一样，有值类型和引用类型。对于F#，是否有一个单一的类型来管理类型系统？
它们是否都是值类型(因为它们在默认情况下是不可变的)？
或者是否存在完全不同于值/引用类型的全新类型？
任何信息都会有帮助。
浏览 0提问于2010-09-19得票数 3
回答已采纳
行是实例化InfluxDB驱动程序的数据点队列：
C#
Events = new ConcurrentQueue<InfluxDatapoint<InfluxValueField>>();
F#
let Events = new ConcurrentQueue<InfluxDatapoint<InfluxValueField>>()
在C#中，它没有问题地编译，但是在F#中，我得到了以下内容：
FS0001类型“InfluxValueField”与类型“IComparable”不兼容
在canton7的注释之后，下面是两个外部元素的源：
In
浏览 2提问于2019-11-19得票数 1
我是F#的初学者。我知道有一种方法可以使用PowerPack.dll创建双矩阵：
let B = matrix [ [ 1.0; 7.0 ];
[ 1.0; 3.0 ] ]
如何创建具有自己类型的元素的矩阵(例如，使用，而不是双精度)，使其看起来如下所示：
let B = matrix [ [ [1,2]; [3,4] ];
[ [7,8]; [5,6] ] ]
浏览 0提问于2010-03-26得票数 2
回答已采纳
在F#中，有些类型有一个特殊的泛型语法(我不确定它被称为什么)，所以您可以这样做：
int list // instead of List<int>
int option // instead of Option<int>
这个语法叫什么？
我能为我自己的类型启用它吗？
浏览 2提问于2019-01-17得票数 4
回答已采纳
1回答
提升函数
、、、
作为一个F#新手，我在理解“提升”这个术语时遇到了问题，我不能正确地提升一个函数。
例如，我如何提升下面的函数，以及它将如何影响函数行为。
let add item element = item :: element
任何帮助都将不胜感激。
浏览 7提问于2018-10-28得票数 1
2回答
F#允许在类型的成员上约束泛型类型，类似于：
type ClassWithMemberConstraint<'T when 'T : (static member StaticProperty : unit)> =
class end
这可能非常方便，尤其是因为CLR不允许定义具有静态成员的接口。因为F#允许这样的约束，我猜这意味着CLR也允许泛型成员约束，但据我所知，这在C#中是不可能的。
有什么方法可以在C#中表达这种行为吗？
浏览 1提问于2019-03-22得票数 8
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
