haskell - Haskell 中的句柄更安全？

Question

使用 Haskell Handles 时我感觉有点不安全。也就是说，我正在寻找两个功能(也许它们已经存在，在这种情况下请原谅我的无知)。

1. 当我获得句柄(例如，由 Network.accept 返回)时，既可读又可写，我希望将它们转换成一对只读和只写句柄，以便写入只读句柄不会进行类型检查，反之亦然。 (也许可以实现这使用幻像类型并包装 IO 函数？)
2. 在并发设置中，我发现多个线程可能会写入同一个句柄，这会导致非常严重的后果。如何通过类型系统(如果可能)来防止这种情况发生，或者至少通过在运行时抛出异常来通知这种情况？

欢迎任何想法。

Answer 1

看起来像safer-file-handles图书馆做你想做的事。第一部分处理得非常清楚。并发安全似乎由 regions 中的 RegionT 处理。图书馆。我根本没有使用过这个，但它看起来是一个非常常见的方法。