Haskell 中的代数数据类型是否等于 F# 中的可区分联合？
我正在学习 Haskell，想知道 Haskell 中称为代数数据类型的构造是否与 F# 中的可区分联合相同，或者它们之间存在一些细微的差异。 我还希望对 F#（我…
F#：将受歧视的联合和类层次结构结合在一起？
假设我有一个重要的类层次结构： Tag ControlFlowTag IfTag ForTag JumpTag HTMLTag DivTag 并且我想制作一个散布这些和字符串的列表。 let MyList = …
“拆箱”受歧视工会的多功能类型/寻找好的解决方法
对于一个小型 AST 解析器，我有一个小的可区分联合 type Numerical = | Int of int | Real of float ，可用于其他一些构造，例如 type Vector = Numer…
F# 可区分联合与 C# 类层次结构
我有以下代码： public abstract class A ... public class B : A ... public class C : A ... void my_fct(A x) { if (x is B) { block_1 } else if …
选择是否对 F# 中的小型 AST 使用可区分联合或记录类型
假设我正在实现一个非常简单的玩具语言解析器。我正在决定是使用 DU 还是记录类型（也许两者混合？）。该语言的结构如下： a Namespace consists of a…
与可区分联合相比，在 F# 中使用记录类型时更加详细
let Method = { Name:string } //oversimplification let method_parser = spaces >>. many1Satisfy isLetter .>> spaces |>> (fun name -> { Name=na…
在可区分联合中使用 F# 中的 and 关键字
我今天面临以下 DU 声明： type Grammar = Definition list and Definition = Def of string * Expression and Range = | Char of char | Range of ch…
Haskell 中 FFI 的 Union 和 Type**？
我需要知道如何与 FFI 解析 Unions 和 Type**（例如 int**）？ 我知道我需要一个结构的可存储实例，我也可以将它用于联合吗？ 像这样的联合： typedef…
F# 判别联合从列表中选择 0 或 1
给定一个从字符串数组映射到可区分联合的映射程序，我想选择特定 DU 类型的实例。我知道会有 0 或 1 个实例。还有比这更聪明的方法吗？ type thing = …
