api - 您如何使用功能纯语言连接 API？

Question

我只是想知道，在纯函数式语言中，如何在不引入副作用的情况下连接 API？

Answer 1

纯函数式语言，例如 Haskell，通过 "foreign function interfaces" 支持调用外语函数.

出现的问题是如何将外语函数的类型和行为编码为纯函数语言(例如 Haskell)。

有两种情况需要考虑:

纯函数

可以直接嵌入没有副作用的外语函数，没有语义问题。一个例子是 C 中的 sin::CDouble -> CDouble。

不纯函数

不纯函数有副作用。他们经常修改外语方面的状态。必须以依赖性/顺序调用此类函数，以便正确排序副作用。

要将此嵌入到纯函数式语言中，您可以将标记传递给外部函数并从外部函数传递，代表状态。每次你调用外部函数，你都会得到一个新的标记，而旧的标记会被丢弃。所以

let state0 = initState
(v, state1) <- foreignFunction state0
(u, state2) <- foreignFunction state1
return (v,u)

副作用被捕获为修改(通过关联)state 变量的纯函数。来回传递这些信息可确保安全。

要隐藏传递状态 token 的管道，您可以使用 monad。

这种方法在与来自 Haskell 的有状态外部 API 交互时非常常见，例如。产品示例:mersenne-twister binding. ，它使用 MTGen token 作为库已初始化的证据。