问Haskell中仿真对象的同一性

EN

你为什么要“解决”这个非问题？对象标识是OO语言中的一个问题，Haskell很高兴地避免了这个问题。

在一个不可变对象的世界中，两个值相同的对象是同一个对象。将相同的不可变对象两次放入列表中，那么无论您想要看到什么地方，都有两个不同的对象(例如，它们都“都”贡献了元素的总数，并且它们具有唯一的索引)，而没有Java风格的引用等式引起的任何问题。如果您愿意，甚至可以将该列表保存到数据库表中，并获取两个不同的行。你还需要什么？

更新

Jarret，您似乎确信模型中的对象必须具有真正独立的身份，因为现实生活中的对象是不同的。然而，在模拟中，这只在需要区分对象的上下文中起作用。通常，您只需要在必须区分和跟踪对象的上下文中使用唯一标识符，而不是在这些上下文之外。因此，确定这些上下文，映射对您的模拟(而不是对“真实”世界)重要的对象的生命周期，并创建适当的标识符。

你一直在回答你自己的问题。如果汽车有车主，那么鲍勃的红色汽车可以与卡罗尔的红色汽车区分开来。如果鲍勃能重新油漆他的汽车，你可以用一辆蓝色的汽车代替他的红色汽车。你只需要在

1. 你的模拟有没有车主的汽车
2. 你需要能够区分一辆没有主人的红色汽车和另一辆。

在一个简单的模型中，1可能是真，2不是。在这种情况下，所有无主的红色汽车都是同一辆红色汽车，那么为什么要把它们区分开来呢？

在你的导弹模拟中，为什么导弹需要跟踪他们自己的发射器？他们不是针对他们的发射器！如果发射器能够在导弹发射后继续控制导弹，那么发射器需要知道它拥有哪些导弹，但事实并非如此。导弹只需要知道它的弹道和目标。当它着陆和爆炸时，业主的意义是什么？如果它是从发射器A发射的，而不是从B发射器发射的，它会产生更大的爆炸吗？

你的发射器可以是空的，也可以有n导弹仍然可以发射。它有个位置。目标有位置。在任何时候都有k导弹在飞行，每一枚导弹都有一个位置、一个速度/弹道和一个爆炸威力。任何位置与地面重合的导弹，应转化为爆炸导弹或哑弹等。

在每一种情况下，哪些信息是重要的？发射装置的身份在引爆时真的很重要吗？为什么？敌人要发动报复性打击吗？不是吗？那这不是引爆的重要信息。它可能在发射后甚至都不是重要的信息。发射可以只是一个步骤，即A发射器所属的导弹数量减少，而飞行中的导弹数量增加。

现在，您可能对这些问题有了一个很好的答案，但是在开始使用对象可能不需要的标识之前，您应该完全映射您的模型。

我的方法是将所有状态信息存储在数据记录中，如

data ObjState = ObjState
    { objStName :: String
    , objStPos :: (Int, Int)
    , objStSize :: (Int, Int)
    } deriving (Eq, Show)

data Obj = Obj
    { objId :: Int
    , objState :: ObjState
    } deriving (Show)

instance Eq Obj where
    obj1 == obj2 = objId obj1 == objId obj2

并且状态应该由API/库/应用程序管理。如果您需要指向可变结构的真正指针，那么它就有内置的库，但是它们被认为是不安全和危险的，除非您知道自己在做什么(即使这样，您也必须小心)。有关更多信息，请查看base中的base模块。

在Haskell中，值和恒等的概念是解耦的。所有变量都是与值的不可变绑定。

有几种类型的值是对另一个值的可变引用，如IORef、MVar和TVar，这些类型可以用作标识。

您可以通过比较两个MVar和比较它们引用的值来执行身份检查。

Rich的精彩演讲详细讨论了这个问题：http://www.infoq.com/presentations/Value-Values