Claude/language roadmap planning pjm qg #6
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
…ructure Phase 2 implementation of AffineScript: REPL & Interpreter: - value.ml: Runtime value representation with linear tracking - eval.ml: Tree-walking interpreter with pattern matching - repl.ml: Interactive REPL with commands (:help, :env, :debug, etc.) - stdlib.ml: Standard library modules (Math, String, Array, Option, Result) Semantic Analysis: - symbol.ml: Symbol table with scope management - resolve.ml: Name resolution pass for all AST nodes - types.ml: Internal type representation (QTT quantities, rows, effects) - typecheck.ml: Bidirectional type checker with unification - borrow.ml: Affine type borrow checker (use-after-move detection) Code Generation: - codegen.ml: WebAssembly code generator (WAT output) CLI Updates: - Added 'repl', 'run', and 'eval' commands - Integrated stdlib prelude loading Examples: - hello.afs, fibonacci.afs, factorial.afs - higher_order.afs, records.afs, enums.afs Tests: - test_eval.ml: 35+ interpreter tests
Add comprehensive compiler infrastructure: - lib/wasm_binary.ml: Full WASM binary encoder with LEB128, sections - lib/dependent.ml: Dependent types (length-indexed vectors, refinements) - lib/effects.ml: Algebraic effects and handlers runtime - lib/package.ml: Package manager with semver, dependency resolution - lib/lsp.ml: Language Server Protocol implementation Add standard library in library/: Common library (library/common/): - prelude.afs: Core types (Option, Result), traits (Eq, Ord, Iterator) - collections.afs: Vec, HashMap, HashSet, LinkedList, BinaryHeap - io.afs: IO effect, file handling, streams, buffered I/O - async.afs: Futures, channels, async primitives - string.afs: String utilities, StringBuilder - math.afs: Math functions, constants, statistics, RNG - time.afs: Duration, Instant, DateTime - sync.afs: Atomics, spinlocks, RwLock, barriers AffineScript-specific library (library/affinescript/): - linear.afs: Linear types, tokens, session types - effects.afs: Effect handlers (Reader, Writer, State, Except) - ownership.afs: Box, Rc, Weak, Cow, RefCell - refinements.afs: Positive, NonZero, Vec[N,T], Matrix[M,N,T] Total: ~8400 lines of new code
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| } | ||
|
|
||
| let init_state root = | ||
| let home = Sys.getenv_opt "HOME" |> Option.value ~default:"/tmp" in |
Check warning
Code scanning / Semgrep OSS
Semgrep Finding: ocaml.lang.portability.slash-tmp.not-portable-tmp-string Warning
| (** Read manifest from file *) | ||
| let read_manifest path = | ||
| try | ||
| let ic = open_in path in |
Check warning
Code scanning / Semgrep OSS
Semgrep Finding: ocaml.lang.portability.crlf-support.prefer-read-in-binary-mode Warning
|
|
||
| (** Write manifest to file *) | ||
| let write_manifest path manifest = | ||
| let oc = open_out path in |
Check warning
Code scanning / Semgrep OSS
Semgrep Finding: ocaml.lang.portability.crlf-support.prefer-write-in-binary-mode Warning
| let _ = Sys.command (Printf.sprintf "mkdir -p %s/test" state.pm_root) in | ||
| (* Create main.afs *) | ||
| let main_path = Filename.concat state.pm_root "lib/main.afs" in | ||
| let oc = open_out main_path in |
Check warning
Code scanning / Semgrep OSS
Semgrep Finding: ocaml.lang.portability.crlf-support.prefer-write-in-binary-mode Warning
| (** Load and execute a file *) | ||
| let load_file state filename = | ||
| try | ||
| let ic = 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.