【文件属性】：
文件名称：idris-cplusplus:Idris 的实验性 C++11 后端
文件大小：24KB
文件格式：ZIP
更新时间：2021-07-10 12:43:33
Haskell
Idris 的实验性 C++11 后端
这样做的动机
我想改进我的 Haskell 和 Idris，并熟悉新的 C++11 特性
？？？
一些功能/好处
与 C++ 和 C 以及 Objective-C/C++ 轻松互操作（需要做更多工作）
UTF-8 支持
来自 C/C++（进入 Idris）支持的回调——使用 C++11 的 std::function
还没有调整，性能相当不错，但不如 C 后端快
笔记
使用 C++11 的 shared_ptr（引用计数）进行内存管理，而不是 gc（有利有弊）
C++11 stdlib 有一些 unicode 支持（由这个后端使用）
目前正在使用 gcc/clang 的 __int128_t 来支持快速和肮脏的大整数——计划切换到 GMP（C++ 版本）
此后端当前不需要或使用第三方库
大多数官方 Idris 测试都成功运行——请参阅
一些
【文件预览】：
idris-cplusplus-master
----Setup.hs(2KB)
----cpprts()
--------types_aliases.h(826B)
--------mem.h(690B)
--------box.h(2KB)
--------bigint.cpp(466B)
--------vm.h(1KB)
--------types.cpp(7KB)
--------utility.h(647B)
--------io.h(521B)
--------bigint.h(1KB)
--------main.cpp(428B)
--------types_extern.h(852B)
--------types.h(2KB)
--------vm.cpp(1KB)
--------Makefile(901B)
--------io.cpp(2KB)
--------main.h(348B)
--------lambdas.h(3KB)
--------utility.cpp(2KB)
--------idris_runtime.h(278B)
--------callbacks.h(2KB)
--------exceptions.h(785B)
----.gitmodules(110B)
----src()
--------Main.hs(1KB)
--------IRTS()
----config.mk(710B)
----LICENSE(1KB)
----README.md(2KB)
----Makefile(432B)
----.gitignore(332B)
----idris-cplusplus.cabal(1KB)