rev/mpl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
mpl/README.md
developtheweb 1fb7e360f5 Resolve M0 blockers and fix all examples 
- Resolved all lexical blockers:
  - Comments: -- single-line, {- -} multi-line
  - Strings: "..." with escapes, """...""" raw
  - Paths: Both 🖫"..." and \path"..."
- Fixed all 10 example files:
  - Added semicolons to all statements
  - Fixed factorial precedence
  - Fixed network server forall loop
  - Added comments to all examples
- Updated glyph-escapes.md with string escape sequences
- Updated math_prog_lang.md with complete lexical rules
- Fixed Chinese comma in structure list
- Updated README with badges and M0 exit criteria
- Marked ISSUE_M0_BLOCKERS.md as resolved

Ready for v0.1-alpha tag and ANTLR implementation
2025-07-25 12:21:52 -04:00

1.3 KiB
Raw Permalink Blame History

Mathematical Programming Language (MPL)

Version Status

A programming language that maintains cognitive universality while supporting all modern programming paradigms through mathematical notation.

Quick Start

✎"Hello, World!"

Repository Structure

  • math_prog_lang.md - Complete language specification
  • ISSUE_M0_BLOCKERS.md - Critical decisions needed before M0 implementation
  • glyph-escapes.md - ASCII escape sequences for all Unicode glyphs
  • precedence.csv - Operator precedence table
  • examples/ - Example programs from the specification

M0 Milestones

  1. ✅ Language specification consolidated
  2. ✅ Pre-M0 audit completed
  3. ✅ Lexical blockers resolved (see ISSUE_M0_BLOCKERS.md)
  4. ⏳ Implement ANTLR 4 grammar
  5. ⏳ Create test suite (500 LOC)
  6. ⏳ Achieve M0 exit criteria

M0 Exit Criteria

  • Lexer round-trips every glyph via escape and direct entry
  • Parser accepts all files in examples/
  • grmtools (or ANTLR diagnostics) reports 0 ambiguities
  • Fuzz seed (10k random tokens) yields no segfault
  • Pretty-printer emits code that re-parses into identical AST

Contact