Claude/language roadmap planning pjm qg #5
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add extensive documentation covering: Roadmap (ROADMAP.md): - Complete development roadmap through v1.0 - Phase-by-phase implementation plan - Testing strategy with property-based testing - Standard library and framework ecosystem plans - Milestone definitions and release schedule Wiki documentation (wiki/): - Language reference: lexical structure, types, ownership, effects, traits, modules, dependent types, row polymorphism, patterns, functions - Compiler implementation guides: architecture, lexer, parser, type checker, borrow checker, code generation - Tooling: CLI reference, REPL guide - Testing: comprehensive testing guide with property-based testing inspired by Echidna/QuickCheck - Standard library overview - Tutorials: introduction and quick start guide This documentation provides a foundation for contributors and users to understand the language design and implementation.
Implement a complete Menhir parser covering:
Expressions:
- Literals (int, float, string, char, bool, unit)
- Variables and field access
- Binary operators with correct precedence
- Unary operators (negation, not, ref, deref)
- Function calls and indexing
- Tuples, arrays, and records
- If/else and match expressions
- Lambda expressions
- Blocks and let bindings
- Effect handlers and resume
Types:
- Simple types and type constructors
- Generic types (Option[T], Vec[n, T])
- Function types with optional effects
- Tuple and record types
- Row polymorphism ({x: Int, ..r})
- Ownership modifiers (own, ref, mut)
Patterns:
- Wildcards, variables, literals
- Constructor patterns
- Tuple and record patterns
- Or-patterns and binding patterns
Declarations:
- Functions (with total, generic, effects)
- Structs and enums
- Type aliases
- Traits and implementations
- Effect declarations
- Imports and modules
Also includes:
- Parse driver bridging sedlex and Menhir
- Comprehensive parser test suite (60+ tests)
- CLI integration for 'parse' command
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
|
|
||
| (** Parse a program from a file *) | ||
| let parse_file filename = | ||
| let chan = open_in filename in |
Check warning
Code scanning / Semgrep OSS
Semgrep Finding: ocaml.lang.portability.crlf-support.prefer-read-in-binary-mode Warning
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.