2

native-gen 工具为 showOpenDialog方法生成本地声明，javafx.stage.FileChooser如下所示

data FileChooser = mutable native javafx.stage.FileChooser where
 native showOpenDialog :: FileChooser -> Window -> IO File

编译导致消息

Non pure native type File must be MutableIO
    File in IO actions.

现在设置

native showOpenDialog :: FileChooser -> Window -> MutableIO File

导致

FileChooser.showOpenDialog has an illegal
    return type for a method that is not pure, perhaps ST s (MutableIO
    File) would work

但遵循建议会再次导致第一条错误消息。

编译器接受IOMutable File作为返回类型，这是有道理的，因为它是一个返回可变类型的 IO 操作。

如果可能，应调整编译器错误消息以避免用户方面的挫败感。

但是，在这种特殊情况下，文件可以为 null，因此核心类型不是Filebut Maybe File。但随后仅使用IOMutable (Maybe File)会导致相当令人惊讶的消息

The type MutableIO (Maybe File) is illegal,
    Maybe File must be a native type.

关于如何正确声明这种类型的任何建议？

4

1 回答 1

2

生成的代码native-gen是错误的，因为File已声明为IOinnative-gen但 File 实际上被定义为有状态（非）本机类型，从这里IO可以看出。

IOMutable定义为type IOMutable d = IO (MutableIO d)。对于您的情况，可变本机类型 ( MutableIO d) 可以为 null，因此以下内容应该有效：

data FileChooser = mutable native javafx.stage.FileChooser where
  native showOpenDialog :: FileChooser -> Window -> IO (Maybe (MutableIO File))
于 2015-08-19T16:03:27.683 回答