projects/ojaml/README.md
# OJaml
An OCaml-inspired language and compiler built end to end in TypeScript with lexing, recursive-descent parsing, Hindley-Milner-style inference, polymorphic functions, signature-checked modules, structural patterns, polymorphic collections, ADTs, records, tuples, and WebAssembly emission.
interesting bits
- + OJaml
- + TypeScript
- + React
- + Vite
- + WebAssembly
- + WAT emission
- + WABT
- + Monaco Editor
- + Hover metadata
why it matters
The browser-native Monaco playground and Node CLI share the same WABT-backed pipeline, with diagnostics, hovers, completions, closure conversion, high-arity and staged functions, floats, strings, sequencing/pipelines, sets, maps, runtime checks, and compiler-specialization coverage.
preview
