文件名称：idris-codegen-wasm:用于Idris编译器的WebAssembly代码生成后端
文件大小：21KB
文件格式：ZIP
更新时间：2024-05-30 09:30:19
webassembly wasm idris codegen Haskell
Idris WebAssembly CodeGen 它仍处于发展的早期阶段。 实施的 控制流指令 Garbadge系列 RTS中的字符串表示和基本操作的实现（支持UTF8） 字符和本机int运算 双重操作 Bit8 / 16/32/64操作 转换（将int转换为大数，将bit转换为int等） 使用LOOP指令解开自尾呼叫 int和char的有效拆箱表示 有效的子字符串表示形式为StrOffset 去做 BigNum原语（现在它们被模拟为WASM i64编号） 通过Idris语言测试套件 FFI和Idris级对新后端的支持 建造 当前的实现完全取决于 。 要构建，您需要克隆 cd ./idris-codegen-wasm && cabal build 示例代码现在可以正常运行 module Main factorial : Int -> Int factoria
【文件预览】：
idris-codegen-wasm-master
----idris-codegen-wasm.cabal(1KB)
----src()
--------IRTS()
--------Main.hs(1KB)
----rts()
--------rts.wast(2KB)
--------index.html(16KB)
--------webassembly.d.ts(3KB)
--------rts.ts(971B)
----.gitignore(59B)
----README.md(2KB)