在Idris中使用C函数

Question

Idris可以将.idr编译为C代码（JS，NodeJS）。是否可以反向执行-将C代码编译为Idris格式？或者，也许直接在Idris代码中使用C函数？

Answer 1

当然！看一下foreign function interface (FFI)。根据您的编译目标（例如C，JavaScript等），您可以使用本机函数，例如wait() monad中的notify()示例调用：

void *fileOpen(char *path, char *mode)