询问`foreign import data Foo :: Type`与`data Foo`的功能差异

嘿，这个问题问得特别精准！很多人一开始会觉得前者只是“更清晰的写法”，但实际上两者在功能上有本质区别，我来给你拆解明白：

核心差异：本地类型 vs 外部不透明类型 #

• data Foo：这是Haskell定义本地代数数据类型的标准方式。编译器完全知晓这个类型的内部结构——包括它的构造器、字段类型，你可以自由地做模式匹配、用构造器创建实例，还能直接派生Eq/Show这类类型类。简单说，这是个Haskell“自己人”，编译器能全权掌控。
• foreign import data Foo :: Type：这是专门用来引入外部语言（比如C）定义的不透明类型的语法。对Haskell编译器来说，这个类型就是个“黑盒子”——它不知道里面有什么结构、有没有构造器，甚至连内存布局都和Haskell本地类型不一样。你只能通过配套的foreign import外部函数来操作它，绝对不能直接做模式匹配或者随便派生类型类。

具体功能差异点 #

• 内部操作权限：
  • 用data Foo，你可以写case myFoo of Bar x -> ...来匹配构造器，也能直接Bar 42创建值；
  • 用foreign import data，你连Foo有没有构造器都不知道，所有操作都得靠外部提供的函数（比如C里的create_foo()或者get_foo_value()）。
• 类型类实例支持：
  • data Foo可以直接deriving (Eq, Show, Ord)，或者手动写实例——因为你清楚类型的内部逻辑；
  • foreign import data没法直接派生这些，编译器不知道怎么比较两个Foo、怎么打印它。如果需要实例，要么用FFI提供的外部函数来实现（比如用C的比较函数写Eq实例），要么用unsafeCoerce这种危险操作，一般不推荐。
• 内存布局：
  • data Foo的内存由Haskell runtime管理，布局符合Haskell的规范；
  • foreign import data的内存布局是外部语言定义的，Haskell只是把它当作一个指针或者不透明内存块处理，和本地类型完全不兼容。

什么时候用哪种？ #

• 如果是纯Haskell业务逻辑里的类型，果断用data Foo；
• 如果是需要和C等外部语言交互的类型（比如C里的struct或者opaque pointer），必须用foreign import data——这时候不只是表意清晰，是功能上的刚需，否则Haskell编译器根本没法正确处理外部类型的内存和操作。

内容的提问来源于stack exchange，提问作者bklaric