问在Idris中使用C函数
EN

Stack Overflow用户

提问于 2018-09-30 20:48:33

回答 1查看 93关注 0票数 2

Idris可以将.idr编译成C代码(JS，NodeJS)。有没有可能以相反的方向将C代码编译成Idris格式？或者，在Idris代码中直接使用C函数？

发布于 2018-09-30 21:41:26

好的!看一看foreign function interface (FFI)。基于您的编译目标(f.e.C、JavaScript、…)您可以使用本机函数，例如在IO monad中调用void *fileOpen(char *path, char *mode)的示例：

do_fopen : String -> String -> IO Ptr
do_fopen f m
   = foreign FFI_C "fileOpen" (String -> String -> IO Ptr) f m

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/52578013

复制

相似问题

问在Idris中使用C函数EN