用“或”和“和”来

Question

Thomas用户said in the comment：

  

我认为用“或”（又名辨别联盟）和“和”（又名记录）来塑造世界是一个非常强大的功能技巧。有时候，函数/接口也很有用，但如果我倾向于坚持“或”/“和”尽可能多地： - ）

假设我正在建模Animal（开放世界假设）的世界，我怎么能通过使用有区别的联合，记录以及有时候的函数/接口来做到这一点？

例如，使用animal types，我可以使用区别联合来对它们进行分类吗？

type Type =
    | Phyla of Phyla
    | Chordata of Chordata
    | Arthropods of Arthropods
    | ...

and Chordata =
    | Fish
    | Reptiles
    | Mammals
    | ...