为什么不能为F#结构元组声明类型别名？
F#是一种函数式编程语言，它支持元组（tuple）作为一种数据结构。元组是将多个值组合在一起的数据类型，可以包含不同类型的值。在F#中，可以使用结构元组（struct tuple）来声明元组类型。
然而，F#不支持为结构元组声明类型别名的主要原因是结构元组是一种匿名类型，它的类型信息是在编译时确定的。类型别名是为了给类型起一个更具描述性的名称，方便代码的可读性和维护性。但是，由于结构元组是匿名的，没有具体的名称，因此无法为其声明类型别名。
尽管不能为结构元组声明类型别名，但可以使用模式匹配和解构来方便地访问和操作结构元组的成员。模式匹配是F#中强大的特性之一，可以根据结构元组的模式进行匹配，并提取其中的值。
在云计算领域中，结构元组可以用于表示和处理多个相关的数据项，例如表示一个云服务器的IP地址和端口号。由于结构元组是不可变的，因此在并发和分布式环境中具有良好的性能和线程安全性。
腾讯云提供了丰富的云计算产品和服务，可以满足各种应用场景的需求。具体推荐的腾讯云产品和产品介绍链接地址可以根据实际需求进行选择和查询。
相关·内容
Scott有一个关于在中进行域建模的F#，并展示了以下幻灯片：
Deal 是类型是记录还是联合类型？
我的问题是关于这一行：
type Deal = Deck -> (Deck*Card)
我不太明白这点。我们如何简单地创建一个函数并将其推入一个类型？我以为数据和功能应该是分开的？
浏览 0提问于2019-01-16得票数 1
回答已采纳
说我有个元组：
let t = (1,'a')
我想要创建一个三元组：
let createTriple (a,b) c =
(a, b, c)
在F#中是否有一个语法，我可以从一个n元组和一个单数值创建一个n元组？
let createNTuple (a..z) q =
(a..z, q)
浏览 10提问于2014-08-04得票数 2
回答已采纳
在我的F#库中声明的“坐标”类型在我的C#库中无法识别：
我执行了以下步骤：
我关闭了我的解决方案
删除了我所有的bin目录
删除我的".vs“目录
重新开放的视听演播室
重建我的解决方案
在完成上述步骤之后，我的C#项目仍然不会在我的F#项目中提取最新的类型声明。
此外，我已经多次删除和重新添加我的F#项目引用到我的C#项目。
版本: VS2019预览3.0
浏览 0提问于2019-05-10得票数 1
回答已采纳
2回答
F#处理值和引用
、、
我需要了解关于F#的一些非常重要的事情:它如何处理引用和值。我知道F#定义了不可变和可变对象，也知道其中的原因。
但有一件事我不知道:对象是如何处理的？
我的意思是，在C#中，一切都是一个指针，当将另一个对象的引用赋值给另一个对象时，数据是相同的，我们将有两个指针指向相同的数据。
所以在C#中，如果我有这样的代码：
Object myobj1 = new Object();
Object myobj2 = myobj1;
bool myobj1 == myobj2; // It is true
那f#呢？
let myvar: MyObj = new MyObj ()
let myvar2:
浏览 0提问于2011-02-14得票数 4
回答已采纳
函数匹配基于F#中文件的定义：
let f2 x y = x + y
let value5 = f2 10 20
let value = f2(10, 20) <-- Error
let f3 (x, y) = x + y
let value6 = f3(10, 20)
let value = f3 10 20 <-- Error
但是，我可以通过F#的一个参数同时使用这两种方法：
let f n = n + 10
let value3 = f 10
let value4 = f(10)
为什么会这样呢？当只有一个输入参数时，F#是否以不同的方式处理参数匹配？
浏览 0提问于2011-06-06得票数 2
回答已采纳
1回答
在理解F#中"null“和Option的共存时，我遇到了一个问题。在一本书中，我读到空值在F#中不是一个正确的值，因为这样F#就消除了过多的空值检查。但它仍然允许在F#中使用空初始化的引用。换句话说，你可以有空值，但是你没有武器来保护你自己。为什么不将空值完全替换为选项。它仍然存在是因为与.NET库或语言的兼容性问题吗？如果是，你能举一个例子来说明为什么它不能被选项取代吗？
浏览 2提问于2011-03-07得票数 2
回答已采纳
2回答
在F#中，您可以定义first函数如下：
let first (x, y) = x
你可以这样称呼它：
first (1, 2)
还可以根据BCL Tuple类型定义相同的函数：
let first (t:Tuple<_, _ >) = t.Item1
但是，不能使用前面的语法调用它，否则会得到以下错误：
error FS0001: The type ''c * 'd' is not compatible with the type 'Tuple<'a,'b>'
相反，您必须执行以下操作：
first (T
浏览 2提问于2014-02-19得票数 7
回答已采纳
是否有一个很好的引用来制表哪些F#类型是值类型，哪些是引用类型？或者，是否有一个很好的方法来查询一个类型来确定它是哪一个？是的，我知道类是引用类型，而结构是值类型。同时，对于F#类型而言，这种区别并不总是直观的。例如，。显然，记录类型也是如此。
浏览 2提问于2015-03-27得票数 1
回答已采纳
1回答
你好，埃瑟姆社区，
在我的稳固代码中有几个结构体来组织事情。下面是代码中的一个结构：
struct Staking {
uint total;
uint currentIndex;
mapping(address => uint) registry;
}
Staking public staking;
在编译时，我还会在abi中得到一个标记() getter。现在，在我的前端，我已经配置了以赛人npm库，并试图检索我的所有结构。呼叫
const data = await ethers.gameContract.staking();
给我这个，JSON.stringi
浏览 0提问于2023-01-18得票数 0
回答已采纳
1回答
我注意到System.Tuple.Create方法在F#中的一个非常奇怪的行为。当查看时，它指示返回类型为System.Tuple<T>。但是，在F#中使用此方法时，除Tuple.Create(T)之外的所有重载都将返回'T1 * 'T2。显然，调用Tuple<T>构造函数将返回Tuple<T>。但我不明白Tuple.Create的返回类型在F#中有何不同。
浏览 0提问于2014-12-01得票数 4
回答已采纳
4回答
元组中的项目没有名称，这意味着您通常没有一种清晰的方法来记录每个项目的含义。
例如，在这个有区别的组合中：
type NetworkEvent =
| Message of string * string * string
| ...
我想说明的是，第一项和第二项分别是发件人和收件人的姓名。做这样的事情是不是很好的做法：
type SenderName = string
type RecipientName = string
type NetworkEvent =
| Message of SenderName * RecipientName * string
| ...
许多C/C++库都
浏览 3提问于2011-12-21得票数 13
回答已采纳
1回答
在F#代码中打开一些.Net程序集时，我遇到了名称冲突问题
open System.IO
我现在找到并使用的唯一选择是为冲突的类型提供类型的全名，但这有点无聊。
是否可以在F#中为.Net命名空间定义别名以防止名称冲突？
浏览 3提问于2012-02-21得票数 27
回答已采纳
1回答
我遇到了动态类型的python、静态类型的f#、强类型的C++和弱类型的JavaScript。
我还不知道所有这些类型系统之间的确切区别。一般来说，我可以认为强类型与静态类型相关，而弱类型与动态类型相关。
有人能用例子解释一下每种类型的系统吗？
浏览 0提问于2012-02-05得票数 1
回答已采纳
2回答
我想对stl的某些部分进行重命名或别名，以便它们符合我的项目的命名约定。到目前为止，重命名类型很简单
template<class Type>
using Vector = std::vector<Type>;
我试着做一些类似别名成员的事情：
template<class Type>
using Vector::PushBack = std::vector<Type>::push_back;
// and
template<class Type>
using Vector<Type>::PushBack = std::v
浏览 20提问于2020-03-11得票数 0
回答已采纳
有什么方法可以在F#列表和F#元组之间进行转换吗？
例如：
[1;2;3] -> (1,2,3)
(1,2,3,4) -> [1;2;3;4]
为此，我需要两个函数：
let listToTuple list = ...
let tupleToList tuple = ...
提前谢谢你。
浏览 1提问于2010-05-27得票数 23
回答已采纳
2回答
我在代码中看到这样的事情：
struct listnode{
char data;
struct listnode *nextptr;}
typedef struct listnode LISTNODE;
typedef LISTNODE *listnodeptr;
那么为什么他使用了两次typedef？
浏览 1提问于2017-02-01得票数 0
2回答
给定F#中的下列类型
type Message = string * AsyncReplyChannel<SymbolicExpression>
我该如何构造它呢？在上做得很好，但是我找不到如何构造新的‘代数数据类型’Message。
我想做的是：
member x.Evaluate(expression: string, ?timeout) : SymbolicExpression =
agent.PostAndReply(fun c -> Message (expression,c), ?timeout=timeout)
我试图将MailboxP
浏览 3提问于2015-07-15得票数 0
回答已采纳
在C# 4.0中，F#中的语法糖隐藏了CLR实现，为什么不呢？
浏览 3提问于2010-03-17得票数 10
回答已采纳
1回答
在Rust的中，中有这样的代码
pub struct ParseError(ParseErrorKind);
enum ParseErrorKind {
OutOfRange,
...
}
在第一行中，语法struct ParseError(ParseErrorKind)意味着什么？枚举ParseErrorKind是否有些“别名”为称为ParseError的结构，还是ParseError是包含枚举类型ParseErrorKind的匿名字段的结构？如果是后者，人们将如何进入该领域？或者是别的什么东西？
使用这种struct语法的优点是什么？为什么不直接使用ParseEr
浏览 6提问于2021-12-26得票数 3
回答已采纳
在玩了Idris之后，我变得非常喜欢使用显式类型来增强我的F#程序的声明性自我文档，方法是更经常地在我的函数上显式地编写这些类型，并使用类型别名。
使用显式类型定义函数，使我(重新)发现F#实际上有两种类型的函数显式类型。有使用:的标准let函数样式，还有使用->的lambda函数。
例如
// explicitly typed function using the classical let ':' style
let OK1 (content : string) (context : Context) : Async<Context option> =
浏览 2提问于2016-09-15得票数 4
回答已采纳
4回答
我阅读了这篇MSDN文章：
...The单元类型是指没有特定值的类型；单元类型只有一个值，在不存在或不需要其他值时充当占位符。单元类型类似于语言中的空类型，如C#和C++.
所以..。好的，我知道，单元类型就是这样一个类型，它只有一个值()。但我有一些问题：
为什么需要它？
什么时候需要？
我不明白为什么不使用F#中的void类型，比如C#和C++ use。
如果我看下表：
Type .NET Type Description
void Void Indicates no type or value.
我看到F#确实有一个空类型。所
浏览 0提问于2013-12-20得票数 15
回答已采纳
F#元组和结构之间的根本区别是什么。它们都可以容纳多个变量，但我只想知道何时使用一个变量而不是另一个变量。
更具体地说，我试图通过一组函数传递一组参数，每次都会积累一个新变量。例如，我从param1开始，并将它传递给返回的func1 (param1，param2)。然后将这个元组(或struct)传递给func2，后者返回(param1、param2、param3)等等。
我现在的想法是:用一个元组，我总是可以保持正确数量的参数，但是我放弃了数据的统一格式，最后，我必须打包并重新打包一个大约10个元素的元组。对于结构，我的优点是参数的一致性，但问题是，我必须在开始时指定参数为null。
浏览 5提问于2015-05-15得票数 0
回答已采纳
4回答
f#记录是否与.net结构相同？我看到人们在谈论f#结构，他们是否将这个术语与F#记录互换？就像在中，谈论使用结构作为字典键，但是使用代码type Tup = {x: int; y: int}为什么这比上面链接中作为字典键的元组更快？
浏览 1提问于2011-05-02得票数 13
回答已采纳
为什么会发生这种情况，我应该如何解释它：
type JustAString = string
> type JustAString = string
type JustAStringAgain = String
> type JustAStringAgain = | String
浏览 3提问于2014-03-17得票数 6
回答已采纳
2回答
C# int、Int32和枚举
、、、、
如果int是Int32的同义词，为什么
enum MyEnum : Int32
{
Value = 1
}
...not编译？Where as
enum MyEnum : int
{
Value = 1
}
那么，即使将光标悬停在int word上会显示struct System.Int32吗？
浏览 1提问于2009-11-29得票数 35
回答已采纳
我试图找出如何在F#中为树设计一个类型，并在这个线程中寻找一些帮助。
在其中，它们定义：
type Tree =
| Branch of string * Tree list
| Leaf of string
我不知道字符串和树之间的*操作符应该做什么。我到处都看到了，但不知道该找什么来找答案。
谢谢!
浏览 3提问于2019-09-20得票数 2
回答已采纳
为什么微软在创建Q#时决定使用关键字Unit而不是void或none来描述没有返回值的方法？这是有原因的，还是微软只是想做些不同的事情？
浏览 3提问于2019-02-27得票数 0
回答已采纳
不久前，我决定学习Haskell，以帮助学习更“纯功能”的思想，我可以应用到F#中。从一开始，Haskell中似乎没有像F#那样的真正类型。我对此很满意，所以我想找到一种方法，让我从我在F#中使用的混合OO/Functional中解脱出来，真正尝试无类化，真正地开发一个以功能为中心的设计。使用Haskell时想到的第一件事就是传递元组，因为它们可以在键值对中保存信息，非常像动态语言，但没有像F#类型那样的构造函数语法。
例如，在F#中：
type DatabaseWorkValueItem(firstItem, secondItem, thirdItem) =
member public
浏览 0提问于2012-01-09得票数 5
回答已采纳
我查看了这里描述的F#中类型的模式匹配语法：
该页面中的示例(略有修改)：
open System.Windows.Forms
let RegisterControl (control: Control) =
match control with
| :? Button as button -> button.Text <- "Registered."
| :? CheckBox as checkbox -> checkbox.Checked <- false
| _ -> ()
我不明白的是，为什么我们需要引入
浏览 4提问于2014-11-22得票数 1
回答已采纳
1回答
使用Apache PIG时，从Python UDF返回字典的输出模式是什么。
我有一个字典，大概是这样的：
dict = {x:{a:1,b:2,c:3}, y:{d:1,e:3,f:9}}
我的输出模式如下所示
@outputSchema("m:map[im:map[X:float,Y:float]]")
**方括号，因为在Pig中，我们使用[]表示此字典转换为的映射。
浏览 1提问于2012-11-13得票数 8
2回答
原状元组
、、
给出了在F#中
元组具有自动定义的相等操作。
因此
let myQueryable = [| (1, 1); (2,2)|].AsQueryable()
let check =
query {
for x in myQueryable do
} |> Seq.where(fun x -> x = (2,2))
是{(2,2)}，那为什么
let check =
query {
for x in myQueryable do
where(x = (2, 2))
浏览 1提问于2017-11-01得票数 2
回答已采纳
2回答
我刚刚意识到F#记录是引用类型，以及我进行了多少装箱和取消装箱操作。我有很多这样的小记录：
type InputParam =
| RegionString of string
| RegionFloat of float32
但是，如果我试图用" struct“属性标记它，我会得到一个编译器错误，说明”如果一个联合类型有多个大小写，并且是一个结构，那么必须给联合类型中的所有字段指定唯一的名称。“显示了创建如下所示的结构受歧视的联合：
[<Struct>]
type InputParamStruct =
| RegionString of Regio
浏览 1提问于2020-01-14得票数 7
回答已采纳
1回答
解构C#元组
、、
是否有可能解构C#中的元组，类似于F#？例如，在F#中，我可以这样做：
// in F#
let tupleExample = (1234,"ASDF")
let (x,y) = tupleExample
// x has type int
// y has type string
在C#中可以做类似的事情吗？例如：
// in C#
var tupleExample = Tuple.Create(1234,"ASDF");
var (x,y) = tupleExample;
// Compile Error. Maybe I can do this if I
浏览 4提问于2017-11-10得票数 11
回答已采纳
2回答
我正在尝试将一个现有的c#移植到f#，我是否会被困在移植这行c#代码上：
public object myInnerOject
浏览 2提问于2010-05-18得票数 10
回答已采纳
2回答
TL;DR:我正在尝试创建一个外部接口，但是我得到了编译错误。我的F#技能还不能胜任这项任务。
我已经写了一个Photoshop脚本，现在我正试图将该脚本转换为寓言( F# )，以供我自己的F#练习。
Sidenote:我是F#的新手，但我有很好的C#背景。
要使用photoshop脚本库，我需要将它定义为外部接口()。为了测试目的，我尝试先实现一个小类。即UnitValue类(见 p.230)
我的尝试：
#r "node_modules/fable-core/Fable.Core.dll"
open System
open Fable.Core
[<Global
浏览 8提问于2017-01-12得票数 3
回答已采纳
我正在学习f#，我知道在调用函数时不需要使用括号。
例如
let addOne arg1 =
arg1 + 1
addOne 1
vs
this.GetType()
为什么我必须在第二个函数上使用括号？
浏览 6提问于2017-06-01得票数 7
回答已采纳
我找到了优秀的F# JSON库，它受Elm的Json.Decode启发，定义了一个基本的Decoder类型，如下所示：
type Decoder<'T> = string -> obj -> Result<'T, DecoderError>
有一些像这样的函数，我希望我能使它与F#+兼容，所以我可以像这样使用它：
let customerId = Decode.string |>> CustomerId (参见 )
据我所见，要使第三方库使用函子之类的F#+概念，需要用static member Map扩展第三方类型，但Deco
浏览 3提问于2020-11-16得票数 2
回答已采纳
在F#中，当调用以Action<T,U>为参数的C#方法时，我认为应该使用类似于(fun (x, y) -> ())的东西。但实际上它只接受(fun x y -> ())
为什么前者失败了？它的行为更像目标委托。
当向接受委托的方法提供FSharpFun时实际发生了什么。它似乎没有执行隐式向上转换，因为委托不是FSharpFun的接口或基类。
这是一个隐式转换吗？但我认为F#只进行显式转换。
浏览 2提问于2014-11-06得票数 2
回答已采纳
8回答
这两种结构声明有什么区别？
、、、、
我对不同教程中的这两种结构感到困惑：
typedef struct complex {
float real;
float imag;
} COMPLEX;
typedef struct {
float real;
float imag;
} COMPLEX;
COMPLEX c1;
他们都是对的吗？为什么？是否有必要在结构之前添加complex的小写？一般情况是什么？
浏览 1提问于2021-09-13得票数 32
回答已采纳
在F#中，是否有以下列方式定义的类型的特殊名称：
type Foo = int -> string
我之所以这样问，是因为这类人似乎有特殊的意义。与其他类型相比，它是相当抽象的，似乎只能作为一种函数接口使用。它在F#文献中没有太多的讨论，但在许多F#开放源码软件项目的来源中被使用了很多。
这是一种特殊的类型，在函数式编程中有更广泛的意义吗？除了作为函数的接口之外，它还有其他应用程序吗？为什么实例化是没有意义的，即使您可以通过定义一个具有匹配类型签名的函数来做到这一点？还是说它是一个函数定义的别名，然后在其他类型的签名/定义中作为一个简短的形式使用，并说明它的所有属性？
浏览 2提问于2016-07-16得票数 2
回答已采纳
3回答
下面的代码编译得很好。
头。h：
typedef struct Placeholder_Type* Placeholder;
impl.cpp：
#include "header.h"
void doSomething(Placeholder t) {
(void) t;
}
int main() {
int *a = new int();
doSomething((Placeholder)a);
}
编译命令：
clang++ impl.cpp
Placeholder_Type类型在任何地方都不存在，在输出二进制文件中也不作为符号存在。
为什么为一个不
浏览 5提问于2022-02-03得票数 5
回答已采纳
我是新来的，所以如果我太笨了我很抱歉。我很难理解如何使用typedef。假设我有以下命令：
typedef struct {
char pseudo[MAX_SIZE] ;
int nb_mar ;
} player ;
这会创建一个名为player的类型，它由一个字符链和一个int组成，对吗？
现在，如果我们有这行代码：
struct set_of_players {
player T[NB_MAX_JOUEURS] ;
int nb ;
};
我不明白这是干什么的？我假设它创建了一个类型为struct set_of_players的变量，但
浏览 0提问于2018-03-28得票数 4
回答已采纳
1回答
在里面，我试图创造一个克里文抽象机器。我需要构建的数据类型之一是一个环境。一个环境就是这样建造的：
我们有x，一个"Var“(这只是字符串的同义词)我们有N，一个”术语“(这是Lambda术语)
所以环境E的定义是：
E = (x，N，E)·E。
因此，环境是元组的列表。每个元组包含一个Var (String)、一个术语和一个环境列表(可能是空的)。
我是这样定义"Env“的：
data Env = Env (Var, Term, [Env])
在我看来，这似乎是可行的。然而，当我尝试使用Env时，我得到：
*Main> ("y", Lambda "
浏览 0提问于2019-04-02得票数 1
回答已采纳
我发现如果我创建这样的协议：
protocol MyProtocol { }
我不能这么做：
weak var myVar: MyProtocol?
我找到了解决这个问题的方法，这就是将@objc添加到协议声明中：
@objc protocol MyProtocol { }
但是为什么这能修正错误呢？
我的猜测是，添加@objc可以防止结构符合协议，因此变量的值被确定为引用类型。我说的对吗？
另外，添加@objc可以阻止我添加像[String: Any]这样的快速类型。我也想知道是否有另一种修正错误的方法。
浏览 2提问于2016-09-14得票数 4
回答已采纳
我想从一个方法中返回两个对象。
如何将此方法添加到现有的目标c类中，以便在非快捷文件中从调用该方法的任何地方访问元组？
元组是否需要在一个快速类中创建？
浏览 0提问于2014-07-26得票数 10
回答已采纳
let rect = new Rectangle(x, y, sprite.Width, sprite.Height)
rect.X <- 888
第二行在F#中失败，但在C#中，分配是有效的。我不知道为什么。
浏览 3提问于2016-01-19得票数 3
回答已采纳
我正在处理一个来自F#的平台调用，而且我收到了一个编译器错误，我实在无法理解。首先，让我展示我正在做的事情的C签名：
int Foo(
ULONG_PTR *phHandle,
DWORD flags
);
在F#中，我认为正确的本地调用方式是这样的：
[<DllImport("somedll.dll")>]
static extern int APlatformInvokeCall
(
[<Out>]nativeint& phHandle,
uint32 flags
)
如果我试图
浏览 3提问于2014-03-08得票数 5
回答已采纳
试图弄清楚如何创建一个接受方法列表和另一个参数的方法。我有我在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
回答已采纳
我对C语言是个新手，而且我现在正在做的一个项目也遇到了一些麻烦。实际上，我有以下文件: main.c、alarm.c、alarm.h
我在alarm.c中有一个struct声明，如下所示：
#define STRLEN 150;
struct alarmparams
{
char time[STRLEN];
char duration[STRLEN];
char snooze[STRLEN];
char port[STRLEN];
};
在main.c中，我有：
#include <stdio.h>
#include <string.h>
浏览 2提问于2013-11-19得票数 7
回答已采纳
2回答
#include<stdio.h>
#include<stdlib.h>
typedef struct
{
int number;
struct player *next;
}player;
player *newPlayer;
player *firstPlayer;
player *currentPlayer;
int main(void)
{
newPlayer = malloc(sizeof(player));
firstPlayer = newPlayer;
currentPlayer = newPlayer;
浏览 0提问于2020-04-29得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
