type_inference_experiment

A little toy compiler so I can play with type inference

Stars

7

View Code on GitHub View on X

Ecosystems: Ruby

Statistics for this project are still being loaded, please check back later.

Badges

Extracted from project README

Related Projects

trxl

A specced little language written with ruby and treetop. It has lambdas, recursion, conditionals,...

infer

Interpreter for inference rules

speculation

Ruby port of clojure.spec

mya

WIP statically-typed subset of Ruby (maybe)