- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
根据Haskell Wiki ,在 Haskell FFI 中,我们可以使用“wrapper”包装器从 Haskell 函数中创建一个 C 函数:
foreign import ccall "wrapper" createFunPtr :: (Int -> Int) -> IO (FunPtr (Int -> Int))
f <- createFunPtr (+ 42)
在
do
-block 给出函数指针
f
类型
int (*)(int)
在 C.
Int -> Int
类型的函数内部可能有一些本地绑定(bind)(例如,lambda 表达式可能引用外部范围内的变量),而在 C 中,函数指针仅仅是函数的内存地址,调用这些函数指针只是类似于原始跳转的东西。所以Haskell函数的附加数据没有别的地方住
FunPtr
.
operator()
传递一个隐式
this
指针。但是
FunPtr
s 就像 C 中的普通函数指针一样被处理,因此不可能传递一些额外的参数。
最佳答案
快速的 Google 搜索显示 the GHC commentary :
Occasionally, it is convenient to treat Haskell closures as C function pointers. This is useful, for example, if we want to install Haskell callbacks in an existing C library. This functionality is implemented with the aid of adjustor thunks.
An adjustor thunk is a dynamically allocated code snippet that allows Haskell closures to be viewed as C function pointers.
Stable pointers provide a way for the outside world to get access to, and evaluate, Haskell heap objects, with the RTS providing a small range of ops for doing so. So, assuming we've got a stable pointer in our hand in C, we can jump into the Haskell world and evaluate a callback procedure, say. This works OK in some cases where callbacks are used, but does require the external code to know about stable pointers and how to deal with them. We'd like to hide the Haskell-nature of a callback and have it be invoked just like any other C function pointer.
Enter adjustor thunks. An adjustor thunk is a little piece of code that's generated on-the-fly (one per Haskell closure being exported) that, when entered using some 'universal' calling convention (e.g., the C calling convention on platform X), pushes an implicit stable pointer (to the Haskell callback) before calling another (static) C function stub which takes care of entering the Haskell code via its stable pointer.
An adjustor thunk is allocated on the C heap, and is called from within Haskell just before handing out the function pointer to the Haskell (IO) action. User code should never have to invoke it explicitly.
An adjustor thunk differs from a C function pointer in one respect: when the code is through with it, it has to be freed in order to release Haskell and C resources. Failure to do so will result in memory leaks on both the C and Haskell side.
createFunPtr
在编译时被定义为类似这样(我设置
-ddump-simpl
以获取
createFunPtr
的核心,以下是我尝试将其反编译回 Haskell)
createFunPtr fun = do stable <- newStablePtr fun
pkg_ccall stable :: IO (FunPtr (Int -> Int))
newStablePtr
是
StablePtr
的一部分API,它允许 Haskell 将对 Haskell 对象的引用导出到外部代码。允许 GC 移动传递给
createFunPtr
的函数在创建了调整器 thunk 之后。因此,所述调整器需要对在 GC 之后仍然保持的函数的引用,并且该功能由稳定指针提供。
pkg_ccall
(这实际上相当神奇)为 C 堆上的调整器 thunk 分配空间。稍后必须使用
freeHaskellFunPtr
释放此空间, 否则 C 堆(保存调整器)和 Haskell 堆(保存函数闭包,在释放稳定指针之前不能被 GC)上的内存泄漏。调整器的内容取决于平台以及 GHC 是否配置(在构建时)以使用 libffi 作为调整器。实际的汇编代码可以在
the comments in the relevant RTS file 中找到,但要点通常是:
int adjustor(int arg) {
return zdmainzdTzdTzucreateAddPtr($stable, arg);
// with stable "baked" into each adjustor, as a "push <constant>" instruction
}
zdmainzdTzdTzucreateAddPtr
是取消引用给定稳定指针并调用那里产生的 Haskell 函数的 stub 。它是静态的,烘焙到二进制文件中,大致相当于:(如果你通过 GHC
-v
和
-keep-tmp-files
,你应该能够找到包含真实定义的
ghc_<some_num>.c
文件,这需要做一些簿记。)
HsInt zdmainzdTzdTzucreateAddPtr(StgStablePtr ptr, HsInt a) {
HaskellObj fun, arg, app, ret;
fun = deRefStablePtr(ptr);
arg = rts_mkInt(a);
app = rts_apply(fun, arg);
eval(app, &ret);
return rts_getInt(ret);
}
关于haskell - Haskell FFI 中 "wrapper"包装器的实现,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57140931/
在 Haskell 中,类型声明使用双冒号,即 (::),如 not::Bool -> Bool。 但是在许多语法与 Haskell 类似的语言中,例如榆树、 Agda 、他们使用单个冒号(:)来声明
insertST :: StateDecoder -> SomeState -> Update SomeState SomeThing insertST stDecoder st = ... Stat
如果这个问题有点含糊,请提前道歉。这是一些周末白日梦的结果。 借助 Haskell 出色的类型系统,将数学(尤其是代数)结构表达为类型类是非常令人愉快的。我的意思是,看看 numeric-prelud
我有需要每 5 分钟执行一次的小程序。 目前,我有执行该任务的 shell 脚本,但我想通过 CLI 中的键为用户提供无需其他脚本即可运行它的能力。 实现这一目标的最佳方法是什么? 最佳答案 我想你会
RWH 面世已经有一段时间了(将近 3 年)。在在线跟踪这本书的渐进式写作之后,我渴望获得我的副本(我认为这是写书的最佳方式之一。)在所有相当学术性的论文中,作为一个 haskell 学生,读起来多么
一个经典的编程练习是用 Lisp/Scheme 编写一个 Lisp/Scheme 解释器。可以利用完整语言的力量来为该语言的子集生成解释器。 Haskell 有类似的练习吗?我想使用 Haskell
以下摘自' Learn You a Haskell ' 表示 f 在函数中用作“值的类型”。 这是什么意思?即“值的类型”是什么意思? Int 是“值的类型”,对吗?但是 Maybe 不是“值的类型”
现在我正在尝试创建一个基本函数,用于删除句子中的所有空格或逗号。 stringToIntList :: [Char] -> [Char] stringToIntList inpt = [ a | a
我是 Haskell 的新手,对模式匹配有疑问。这是代码的高度简化版本: data Value = MyBool Bool | MyInt Integer codeDuplicate1 :: Valu
如何解释这个表达式? :t (+) (+3) (*100) 自 和 具有相同的优先级并且是左结合的。我认为这与 ((+) (+3)) (*100) 相同.但是,我不知道它的作用。在 Learn
这怎么行 > (* 30) 4 120 但这不是 > * 30 40 error: parse error on input ‘*’ 最佳答案 (* 30) 是一个 section,它仍然将 * 视为
我想创建一个函数,删除满足第二个参数中给定谓词的第一个元素。像这样: removeFirst "abab" ( 'b') = "abab" removeFirst [1,2,3,4] even =
Context : def fib(n): if n aand returns a memoized version of the same function. The trick is t
我明白惰性求值是什么,它是如何工作的以及它有什么优势,但是你能解释一下 Haskell 中什么是严格求值吗?我似乎找不到太多关于它的信息,因为惰性评估是最著名的。 他们各自的优势是什么。什么时候真正使
digits :: Int -> [Int] digits n = reverse (x) where x | n digits 1234 = [3,1,2,4]
我在 F# 中有以下代码(来自一本书) open System.Collections.Generic type Table = abstract Item : 'T -> 'U with ge
我对 Haskell 比较陌生,过去几周一直在尝试学习它,但一直停留在过滤器和谓词上,我希望能得到帮助以帮助理解。 我遇到了一个问题,我有一个元组列表。每个元组包含一个 (songName, song
我是 haskell 的初学者,我试图为埃拉托色尼筛法定义一个简单的函数,但它说错误: • Couldn't match expected type ‘Bool -> Bool’
我是 Haskell 语言的新手,我在使用 read 函数时遇到了一些问题。准确地说,我的理解是: read "8.2" + 3.8 应该返回 12.0,因为我们希望返回与第二个成员相同的类型。我真正
当我尝试使用真实项目来驱动它来学习 Haskell 时,我遇到了以下定义。我不明白每个参数前面的感叹号是什么意思,我的书上好像也没有提到。 data MidiMessage = MidiMessage
我是一名优秀的程序员,十分优秀!