3

我正在尝试找出本机界面。我正在尝试使用UDP. 这是我所拥有的：

module UDPTest where    

data StringAsBytes = native java.lang.String where
  native getBytes :: String -> ST s (Mutable s (JArray Byte))    

data InetSocketAddress = native java.net.InetSocketAddress where
  native new :: String -> Int -> ST s (Mutable s InetSocketAddress)

data DatagramPacket = native java.net.DatagramPacket where
  native new :: Mutable s (JArray Byte)  -> Int -> Mutable s InetSocketAddress ->  ST s (Mutable s DatagramPacket)    

data DatagramSocket = native java.net.DatagramSocket where
  native new :: () -> IOMutable DatagramSocket throws SocketException
  native send ::  Mutable RealWorld DatagramSocket -> MutableIO DatagramPacket -> IO () throws IOException
  native close :: MutableIO DatagramSocket -> IO ()    

data SocketException = native java.net.SocketException
derive Exceptional SocketException   

main _ = do
  messageStr = "hello world;\n"
  messageAsBytes <- StringAsBytes.getBytes messageStr
  address <- InetSocketAddress.new "localhost" 3003
  messageLen <- messageAsBytes.getLength
  packet <- DatagramPacket.new messageAsBytes messageLen address
  socket <- DatagramSocket.new ()
  socket.send packet
  socket.close

这段代码意外运行，但它让我想知道几件事。首先，应该是什么类型DatagramSocket.new来反映抛出异常的事实？我试图把它打包进去Maybe，但结果一团糟。有什么办法吗？目前，我不知道如何处理异常，main这并没有完全解决它，或者我可能遗漏了一些东西。其次，为什么我被编译器强迫改变InetSocketAddress为pure不纯的，在 中使用它DatagramSocket.new？我还被迫JArray在代码中需要它的地方使用可变版本。

4

2 回答 2

2

首先：您可以将抛出异常的函数（方法）的结果包装到Either中，如下所示：native fn :: A -> Either SomeException B或加糖版本：native fn :: (SomeException | B)。

其次：弗雷格值是不可变的。如果您在 Frege 中定义了某些数据类型 A，则它是不可变的。您可以包装一些 Java 类型并为不可变类型标记它们pure：data D = pure native com.acme.D。InetSocketAddress未声明pure。这意味着ImmutableSocketAddress可以在任何时间由其他线程更改（例如关闭套接字）。因此 Frege 编译器将其标记为Mutable. 您可以将此类数据传递给仅使用 taint 包装的 Java 函数Mutable。您可以在 Frege 中编写一个不需要Mutabletaint 的函数，但要传递一个参数，您需要使用 somereadonly或Freezable去掉Mutable.

于 2016-02-16T05:05:13.377 回答
2

关于异常：有两种管理异常的方法。

第一种是将返回类型包装在一个Either. 这将为您提供所需的值Right以及发生时的异常Left。要处理异常，您通常使用模式匹配或either函数。不幸的是，在 IO 代码中（就像你的情况一样）这会导致代码像

do
   r1 <- Socket.new ...
   case r1 of
      Left -> -- handle exception
      Right x -> do
           r2 -> x.send ....
           case r2 of
              ....

这不是很好。因此，Either对于纯函数来说，这种风格是首选的，而对于 IO/ST 动作来说，另一种风格是首选的。

为此，请使用throws ...子句声明您的本机函数，就像您已经为sendand所做的那样new。异常感知 IO/ST 操作如下所示：

foo = do
          s <- Socket.new
          d <- s.send ....
          ...
   `catch` (\x1::SocketException -> ...)
   `catch` (\x2::IOException -> ....)
   ....
   `finally` finallyaction

您可能需要多少catch个 es，但请确保对它们进行排序，以便最具体的一个在不太具体的一个之前，即如果 ExceptionDerive 扩展了 ExceptionSuper，那么 ExceptionDerived 的捕获必须发生在另一个之前。该finally子句是可选的。请注意，您无法访问do在 catch 子句和 finally 子句中绑定在块中的变量。如果您需要这个，您需要在较低级别（即，某些变量绑定到您需要的值）进行异常处理。

请查找 catch，最后在 frege doc 或 Froogle 上查找。

确保catch缩进小于do it 保护中的代码。这是为了确保编译器看到：

 do { .... } `catch` handler

您也可以编写代码而不关心异常，然后再添加它们。例如，您从以下内容开始：

 action1 a b c = do 
       dothis a
       dothat b
       dosomethingelse c
       pure whatyouwant

稍后，您可以重命名action1为action1noex并写入

action1 a b c = action1noex a b c
      `catch`   ....

第二点。对于只能在 IO Monad 中使用的数据类型，建议声明为

data Socket = mutable native java......

这使得可以简单地编写Socket而不是Mutable s Socketor Mutable RealWorld Socket，因为编译器知道这样的值将始终是可变的。您只能在具有 IO 结果的本机函数中使用此类类型。

相反，对于您只是构造但从不以不纯方式使用的数据类型，您可以将它们定义为pure native.

我不确定，InetSockAddress但我想它一旦构建就不会修改？

同样，rgd。字节数组。如果您总是并且只想将其从字符串转换为字符串，则可以将其视为 utf8 文本类型（不幸的是，我们在库中还没有）。这看起来像

data Charset = pure native java.nio.charset.Charset
pure native utf8 "java.nio.charset.StandardCharsets.UTF_8" :: Charset
data Bytes = pure native "byte[]" 
pure native getBytes :: String -> Charset -> Bytes
pure native getString new :: Bytes -> Charset -> String
toBytes s = getBytes s utf8
fromBytes bs = getString bs utf8

（未经测试，请暂时忽略有关警告byte[]）

于 2016-02-16T18:07:52.210 回答