代码之家 › 专栏 › 技术社区 › Alex Gordon

神殿中神父服务的领域建模

Alex Gordon · 技术社区 · 6 年前

我试图通过尝试建模来实践我的领域建模 this 事件。

把酒和细面粉一起产品称为随附产品。只有细面粉称为随餐供应。随餐供应不必挥手,也不必被带到祭坛的角上,也不必被献上。加上乳香。它需要盐,而且在外面燃烧整个祭坛。

酒倒在祭坛上。它不是倒在火上的。相反,牧师应该举起手来,把它倒在祭坛的底部,从那里,它降到什亭。

我试图通过表达我们要处理的记录类型来简化:

type AlterLocations = 
    | Outer
    | Corner
    | Base

type AccompanyingOfferings = 
    | Wine
    | Flour

type AccompanyingMealOfferings = 
    | FineFlour

type Auxilary = 
    | Salt
    | Frankinsense

type Offering =
    {
        Name: string
    }

但是,我一直在为实际情况建模事件 :

type MealOffering = 
    {
        Offering:Offering
        Flour:AccompanyingMealOfferings
        Waved: bool
        RequiresSalt: bool
        OfferedWithFrankinse: bool
        ShouldBeBroughtToCorner: bool
        EntirelyBurnt: bool
    }

我们如何表示可能具有多个标记/标志的类型?

1 回复 | 直到 6 年前

rmunn 6 年前

你可以从 Argu 处理命令行参数并执行如下操作:

type OfferingFlags =
    | Waved
    | RequiresSalt
    | OfferedWithFrankincense
    | ShouldBeBroughtToCorner
    | EntirelyBurnt

然后 MealOffering 类型可能如下所示:

type MealOffering = 
    {
        Offering: Offering
        Flour: AccompanyingMealOfferings
        Flags: OfferingFlags list
    }

旗不出现在列表中表示 false 值,列表中的标志表示 true 该标志的值。也就是说,要检查一个产品是否需要盐,您需要:

offering.Flags |> List.contains RequiresSalt

同献的素祭清单(需要盐,完全烧掉了,但确实烧掉了) 不需要挥挥手,带到角落,或提供乳香),看起来像:

[ RequiresSalt; EntirelyBurnt ]

这种建模方法的优点是,无论有多少个标志,都可以添加一个新标志,而不必编辑 美食家 类型。这也可能是一个缺点,因为当您将每个标志单独建模为 bool ,任何时候添加一个新标志,编译器都会强制您在任何地方考虑它——而通过将其建模为一个du值列表,编译器不会强制您检查新标志 RequiresSomethingElse 在需要进行标记的地方标记。但是如果您认为已经添加了新标志,或者您添加的任何新标志也应该默认为 假 在大多数地方,然后 OfferingFlags list 方法通常是一个好方法。

推荐文章

Thomas · 使类型别名在F中不可互换#

3 年前

sdgfsdh · 我该怎么说。使用异步转换函数进行收集?

7 年前

Soldalma · 我可以实例化包含顶级副作用值的类吗?

7 年前

matekus · F#-包含数字的字符串的自然排序

7 年前

Ayto Maximo · F#CSV-对于每一行,从列数据创建一个数组

7 年前

Chechy Levas · 在F#中使用免费单子是否意味着启动时间更长,指令有限?

7 年前

matekus · F#类型匹配-无法创建映射或匹配记录

7 年前

Rob Lyndon · 未找到F#ProvidedTypes文件

7 年前

red-swan · 如何将intro ML.Net演示翻译为F#?

7 年前

jkone27 · F#-在编译时从字符串生成简单的空类型

7 年前