rvml:用Rust编写的具有let多态性的min-caml编译器-源码

上传者: 42160376 | 上传时间: 2021-03-14 19:10:27 | 文件大小: 63KB | 文件类型: ZIP
rvml-具有let多态性的min-caml编译器 rvml是实现let多态性的min-caml编译器。 rvml的多态类型推断是在DidierRémy发现的基于级别的算法中实现的。 代码生成器可以生成具有多态类型的代码。 要求 llvm-11.0.1 在macOS中,您可以在Homebrew中安装llvm。 $ brew install llvm 如果使用其他OS或体系结构,则可能需要从源代码构建llvm。 请参阅 。 命令行界面 rvml 0.1.0 hobo0xcc min-caml compiler with let-polymorphism USAGE: rvml [FLAGS] [OPTIONS] [INPUT] FLAGS: --ast Print AST -t, --show-type show type

文件下载

资源详情

[{"title":"( 91 个子文件 63KB ) rvml:用Rust编写的具有let多态性的min-caml编译器-源码","children":[{"title":"rvml-master","children":[{"title":"min-rt","children":[{"title":"test3.sld <span style='color:#111;'> 168B </span>","children":null,"spread":false},{"title":"tsu.sld <span style='color:#111;'> 1.27KB </span>","children":null,"spread":false},{"title":"test.sld <span style='color:#111;'> 660B </span>","children":null,"spread":false},{"title":"dra.sld <span style='color:#111;'> 3.50KB </span>","children":null,"spread":false},{"title":"tsu2.sld <span style='color:#111;'> 1.42KB </span>","children":null,"spread":false},{"title":"tsu3.sld <span style='color:#111;'> 1.42KB </span>","children":null,"spread":false},{"title":"piero1.sld <span style='color:#111;'> 1.98KB </span>","children":null,"spread":false},{"title":"orange.sld <span style='color:#111;'> 342B </span>","children":null,"spread":false},{"title":"min-rt.ml <span style='color:#111;'> 40.38KB </span>","children":null,"spread":false},{"title":"piero2.sld <span style='color:#111;'> 1.85KB </span>","children":null,"spread":false},{"title":"mir.sld <span style='color:#111;'> 411B </span>","children":null,"spread":false},{"title":"shuttle.sld <span style='color:#111;'> 1.66KB </span>","children":null,"spread":false},{"title":"tron.sld <span style='color:#111;'> 1000B </span>","children":null,"spread":false},{"title":"ball.sld <span style='color:#111;'> 139B </span>","children":null,"spread":false},{"title":"cup.sld <span style='color:#111;'> 1.80KB </span>","children":null,"spread":false},{"title":"mange.sld <span style='color:#111;'> 653B </span>","children":null,"spread":false},{"title":"tileball.sld <span style='color:#111;'> 170B </span>","children":null,"spread":false},{"title":"lattice.sld <span style='color:#111;'> 1.96KB </span>","children":null,"spread":false},{"title":"planet.sld <span style='color:#111;'> 306B </span>","children":null,"spread":false},{"title":"contest.sld <span style='color:#111;'> 1.11KB </span>","children":null,"spread":false},{"title":"test2.sld <span style='color:#111;'> 343B </span>","children":null,"spread":false}],"spread":false},{"title":"tests","children":[{"title":"non-tail-if.ml <span style='color:#111;'> 178B </span>","children":null,"spread":false},{"title":"spill.ml <span style='color:#111;'> 938B </span>","children":null,"spread":false},{"title":"inprod.ml <span style='color:#111;'> 294B </span>","children":null,"spread":false},{"title":"shuffle.ml <span style='color:#111;'> 181B </span>","children":null,"spread":false},{"title":"join-reg.ml <span style='color:#111;'> 152B </span>","children":null,"spread":false},{"title":"sum-tail.ml <span style='color:#111;'> 97B </span>","children":null,"spread":false},{"title":"matmul.ml <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":"join-reg2.ml <span style='color:#111;'> 136B </span>","children":null,"spread":false},{"title":"cls-bug.ml <span style='color:#111;'> 68B </span>","children":null,"spread":false},{"title":"funcomp.ml <span style='color:#111;'> 204B </span>","children":null,"spread":false},{"title":"inprod-rec.ml <span style='color:#111;'> 206B </span>","children":null,"spread":false},{"title":"sum.ml <span style='color:#111;'> 83B </span>","children":null,"spread":false},{"title":"spill3.ml <span style='color:#111;'> 1.13KB </span>","children":null,"spread":false},{"title":"join-stack3.ml <span style='color:#111;'> 128B </span>","children":null,"spread":false},{"title":"cls-reg-bug.ml <span style='color:#111;'> 242B </span>","children":null,"spread":false},{"title":"fib.ml <span style='color:#111;'> 90B </span>","children":null,"spread":false},{"title":"adder.ml <span style='color:#111;'> 92B </span>","children":null,"spread":false},{"title":"cls-bug2.ml <span style='color:#111;'> 108B </span>","children":null,"spread":false},{"title":"toomanyargs.ml <span style='color:#111;'> 73B </span>","children":null,"spread":false},{"title":"even-odd.ml <span style='color:#111;'> 240B </span>","children":null,"spread":false},{"title":"run.sh <span style='color:#111;'> 708B </span>","children":null,"spread":false},{"title":"spill2.ml <span style='color:#111;'> 633B </span>","children":null,"spread":false},{"title":"non-tail-if2.ml <span style='color:#111;'> 121B </span>","children":null,"spread":false},{"title":"join-stack2.ml <span style='color:#111;'> 108B </span>","children":null,"spread":false},{"title":"gcd.ml <span style='color:#111;'> 125B </span>","children":null,"spread":false},{"title":"print.ml <span style='color:#111;'> 51B </span>","children":null,"spread":false},{"title":"float.ml <span style='color:#111;'> 149B </span>","children":null,"spread":false},{"title":"ack.ml <span style='color:#111;'> 136B </span>","children":null,"spread":false},{"title":"cls-rec.ml <span style='color:#111;'> 88B </span>","children":null,"spread":false},{"title":"inprod-loop.ml <span style='color:#111;'> 219B </span>","children":null,"spread":false},{"title":"manyargs.ml <span style='color:#111;'> 95B </span>","children":null,"spread":false},{"title":"join-stack.ml <span style='color:#111;'> 152B </span>","children":null,"spread":false},{"title":"matmul-flat.ml <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false}],"spread":false},{"title":"src","children":[{"title":"typing.rs <span style='color:#111;'> 34.74KB </span>","children":null,"spread":false},{"title":"main.rs <span style='color:#111;'> 2.09KB </span>","children":null,"spread":false},{"title":"parse.rs <span style='color:#111;'> 13.38KB </span>","children":null,"spread":false},{"title":"mono.rs <span style='color:#111;'> 15.86KB </span>","children":null,"spread":false},{"title":"alpha.rs <span style='color:#111;'> 5.08KB </span>","children":null,"spread":false},{"title":"tokenize.rs <span style='color:#111;'> 9.09KB </span>","children":null,"spread":false},{"title":"codegen.rs <span style='color:#111;'> 34.82KB </span>","children":null,"spread":false},{"title":"lib.rs <span style='color:#111;'> 125B </span>","children":null,"spread":false},{"title":"closure.rs <span style='color:#111;'> 18.20KB </span>","children":null,"spread":false},{"title":"mono_old.rs <span style='color:#111;'> 15.41KB </span>","children":null,"spread":false},{"title":"env.rs <span style='color:#111;'> 3.02KB </span>","children":null,"spread":false}],"spread":false},{"title":"Cargo.toml <span style='color:#111;'> 368B </span>","children":null,"spread":false},{"title":"lib64","children":[{"title":"lib.c <span style='color:#111;'> 1.36KB </span>","children":null,"spread":false}],"spread":true},{"title":"examples","children":[{"title":"float2.ml <span style='color:#111;'> 98B </span>","children":null,"spread":false},{"title":"factorial.ml <span style='color:#111;'> 177B </span>","children":null,"spread":false},{"title":"fib_loop.ml <span style='color:#111;'> 184B </span>","children":null,"spread":false},{"title":"mandelbrot2.ml <span style='color:#111;'> 776B </span>","children":null,"spread":false},{"title":"add.ml <span style='color:#111;'> 10B </span>","children":null,"spread":false},{"title":"comment.ml <span style='color:#111;'> 103B </span>","children":null,"spread":false},{"title":"cls-fv.ml <span style='color:#111;'> 96B </span>","children":null,"spread":false},{"title":"adder2.ml <span style='color:#111;'> 113B </span>","children":null,"spread":false},{"title":"tuple_poly.ml <span style='color:#111;'> 245B </span>","children":null,"spread":false},{"title":"neg.ml <span style='color:#111;'> 173B </span>","children":null,"spread":false},{"title":"poly1.ml <span style='color:#111;'> 52B </span>","children":null,"spread":false},{"title":"fib.ml <span style='color:#111;'> 79B </span>","children":null,"spread":false},{"title":"adder.ml <span style='color:#111;'> 80B </span>","children":null,"spread":false},{"title":"if.ml <span style='color:#111;'> 87B </span>","children":null,"spread":false},{"title":"array.ml <span style='color:#111;'> 118B </span>","children":null,"spread":false},{"title":"tuple.ml <span style='color:#111;'> 59B </span>","children":null,"spread":false},{"title":"array2.ml <span style='color:#111;'> 146B </span>","children":null,"spread":false},{"title":"print.ml <span style='color:#111;'> 75B </span>","children":null,"spread":false},{"title":"semicolon.ml <span style='color:#111;'> 84B </span>","children":null,"spread":false},{"title":"float.ml <span style='color:#111;'> 29B </span>","children":null,"spread":false},{"title":"mandelbrot.ml <span style='color:#111;'> 696B </span>","children":null,"spread":false}],"spread":false},{"title":".gitignore <span style='color:#111;'> 90B </span>","children":null,"spread":false},{"title":"lib","children":[{"title":"lib.c <span style='color:#111;'> 842B </span>","children":null,"spread":false}],"spread":true},{"title":"README.md <span style='color:#111;'> 1.76KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明