在 Erlang (Elixir) 中对作为元组的记录进行模式匹配

Question

在 Erlang（或 Elixir）中将记录作为元组进行模式匹配是一种不好的做法吗？

示例代码：假设我们已经定义了这个模块：

defmodule Ween do
  defrecord TimeSpot, at: nil, tag: nil

  def proper?({ _, _, "home"} = v),   do: { true,   "succeeded with:  #{inspect v}"     }
  def proper?(other),                 do: { false,  "failed with:     #{inspect other}" }

  def sample, do: TimeSpot.new(tag: "home")
end

如果我们定义一个测试如下：

defmodule WeenTest do
  use ExUnit.Case
  require Ween

  test "records are tuples" do
    case Ween.proper?(Ween.sample) do 
      { true, v }       ->  IO.puts v
                            assert(true)
      { false, v }      ->  IO.puts v
                            assert(false)
    end
  end
end

会成功的。

编辑 1：@parroty 这里对测试的元组进行模式匹配的原因是为了模拟某种“某种”鸭子类型的记录；我希望的最终结果应该是这样的：

defmodule Ween do
  defrecord TimeSpot, at: nil, tag: nil

  def proper?([tag: "home"] = v),          do: { true,   "succeeded with:  #{inspect v}"     }
  def proper?([tag: "1234"] = v),          do: { true,   "succeeded with:  #{inspect v}"     }
  def proper?(other),                      do: { false,  "failed with:     #{inspect other}" }

  def sample, do: TimeSpot.new(tag: "home")
end

因此，带有“标签”字段且带有“home”值的每条记录都将匹配第一个子句。当然，那里似乎会有一些性能损失。

Answer 1

只是为了完整性（因为这个问题在 Elixir 标记问题列表中仍然很高）：从 Elixir 0.13 开始，不推荐使用记录（除了与 Erlang 代码交互），现在最好使用 Structs 来实现这个问题。这些也方便地为您提供所需的多态性（结构是 Map 的一种形式）

http://elixir-lang.org/getting_started/15.html

Answer 2

我认为记录可以直接用于模式匹配（这会比使用元组结构更好）。

defmodule Ween do
  defrecord TimeSpot, at: nil, tag: nil

  def proper?(TimeSpot[tag: "home"] = v),  do: { true,   "succeeded with:  #{inspect v}"     }
  def proper?(other),                      do: { false,  "failed with:     #{inspect other}" }

  def sample, do: TimeSpot.new(tag: "home")
end

Answer 3

Cesarini 和 Thompson 在他们的书Erlang Programming 中说，永远不要依赖记录作为元组实现的事实，因为这种实现可能会改变。请参阅this question 的已接受答案。