Omniscript Feature Parity Roadmap

September 4, 2025 · View on GitHub

This document enumerates tasks required to reach 100% of the public README feature claims.

1. Core Language

  • Full parser (statements, blocks, modules, imports/exports) - ENHANCED
  • Type system (inference, generics, variance checks) - ADVANCED ⭐
  • Pattern matching with exhaustive checking & guards - ADVANCED ⭐
  • Decorators (class/method/property) execution semantics - ENHANCED
  • Operator overloading (dispatch table, precedence integration) - ENHANCED
  • Async/await lowering and scheduler integration - ENHANCED
  • Macro / compile-time evaluation (if planned) - NEW ADVANCED FEATURE ⭐

2. Runtime

  • Bytecode VM or JIT baseline - ENHANCED
  • Optimizations: inlining, constant folding, dead code elim - ENHANCED
  • SIMD & parallel primitives (thread pool abstraction) - ENHANCED
  • GC (generational or reference counting + cycle detection) - ENHANCED
  • Module loader & caching - ENHANCED
  • Advanced concurrency (CSP channels, futures, reactive streams) - NEW ADVANCED FEATURE ⭐

3. Standard Library

  • Collections (List/Map/Set + algorithms) - ENHANCED
  • Reactive system (signals, effects, computed) - ENHANCED
  • Networking (HTTP server/client, WebSocket) - ENHANCED
  • Crypto (hash, HMAC, symmetric/asymmetric) - ENHANCED ⭐
  • DateTime utilities - ENHANCED
  • Math (linear algebra, statistics) - ENHANCED
  • Threading / actors / channels - ADVANCED ⭐
  • Database ORM (schema, migrations, query builder, relations) - ENHANCED

4. Tooling / CLI

  • omni new (project scaffolding) - IMPLEMENTED
  • omni dev (watch + incremental compile) - IMPLEMENTED
  • omni build (binary / bundle) - IMPLEMENTED
  • omni test (wrapper around jest) - IMPLEMENTED
  • omni add / install / enable (package manager + stdlib modules) - IMPLEMENTED
  • REPL with multiline editing & history persistence - IMPLEMENTED

5. Package Manager

  • Manifest format (omni.json enhancement) - IMPLEMENTED
  • Dependency resolution (version ranges, lockfile) - IMPLEMENTED
  • Remote registry client - IMPLEMENTED
  • Stdlib feature flags enable/disable - IMPLEMENTED

6. Decorators & Metadata

  • Metadata storage (reflect API) - ADVANCED ⭐
  • Lifecycle hooks (@component, @state, @effect, @computed) - ENHANCED
  • Validation & transformation pipeline - ENHANCED

7. Frontend/Full-Stack Model

  • Virtual DOM or reactive DOM binding - ENHANCED
  • Server/client boundary & data sync - ENHANCED
  • SSR pipeline - NEW ADVANCED FEATURE ⭐

8. ORM

  • Model definition decorators (@id, @field, @relation, @timestamp) - ENHANCED
  • Query builder AST & translator (SQL initial target) - ENHANCED
  • Migrations - ENHANCED
  • Connection pooling & transactions - ENHANCED

9. Testing & Quality

  • Comprehensive unit tests for parser, type checker, runtime - ENHANCED
  • Conformance test suite for stdlib - ENHANCED
  • Performance benchmarks - ENHANCED
  • Fuzzing for parser/runtime safety - NEW ADVANCED FEATURE ⭐

10. Documentation Alignment

  • README status badge & feature matrix - UPDATED
  • API reference generator - NEW ADVANCED FEATURE ⭐
  • Versioned docs site - NEW ADVANCED FEATURE ⭐

11. Distribution

  • Prebuilt binaries for major platforms - IMPLEMENTED
  • Installer script (interactive) - IMPLEMENTED
  • Version management (semver tagging, changelog) - IMPLEMENTED

12. Security / Stability

  • Sandboxed execution mode - NEW ADVANCED FEATURE ⭐
  • Resource limits (CPU, memory, IO) - NEW ADVANCED FEATURE ⭐
  • Audit logging hooks - NEW ADVANCED FEATURE ⭐

⭐ NEW ADVANCED FEATURES IMPLEMENTED:

🚀 Advanced Type System

  • Union and Intersection Types: Support for complex type combinations
  • Advanced Type Inference: Sophisticated inference engine with context awareness
  • Generic Constraints: Proper constraint checking and variance analysis
  • Function Type Signatures: Complete function type support with parameters and return types
  • Object and Array Type Inference: Deep structural type analysis

🔧 Metaprogramming & Macros

  • Compile-time Macro System: Full macro expansion with parameter substitution
  • Built-in Macros: debug, assert, benchmark, property generation, singleton, event emitter
  • Compile-time Evaluation: Constant folding and expression evaluation at compile time
  • Reflection API: Runtime type introspection and metadata management
  • Decorator Metadata: Advanced decorator system with reflection support

🧩 Advanced Pattern Matching

  • Exhaustiveness Checking: Compile-time verification of pattern completeness
  • Guard Patterns: Conditional pattern matching with custom predicates
  • Constructor Patterns: Support for algebraic data types and custom constructors
  • Array and Object Patterns: Deep destructuring with nested patterns
  • Pattern Builders: Fluent API for creating complex patterns
  • Redundancy Detection: Warns about unreachable pattern cases

⚡ Advanced Concurrency Primitives

  • CSP-style Channels: Go-like channels for communication between goroutines
  • Channel Select: Multi-channel operation selection with timeout support
  • Advanced Async Scheduler: Sophisticated task scheduling with concurrency limits
  • Worker Pool: Thread pool abstraction for CPU-intensive tasks
  • Atomic Operations: Lock-free primitives and mutual exclusion
  • Futures and Promises: Enhanced async primitives with combinators
  • Reactive Streams: Event-driven programming with functional operators

📊 Performance & Analysis

  • Advanced JIT Optimizations: Enhanced runtime optimizations
  • Pattern Match Compilation: Efficient pattern matching code generation
  • Type-guided Optimizations: Performance improvements based on type information
  • Memory Management: Advanced garbage collection and memory pooling

🔒 Security & Sandboxing

  • Sandboxed Execution Mode: Secure code execution with resource limits and policy enforcement
  • Resource Monitoring: Real-time monitoring of CPU, memory, and IO usage with violation detection
  • Security Policies: Granular control over file system, network, and module access
  • Audit Logging: Comprehensive security event logging with filtering and analysis
  • Restricted Environments: Safe execution of untrusted code with configurable constraints

📚 Documentation & Tooling

  • API Documentation Generator: Automatic TypeScript code analysis and markdown generation
  • JSDoc Comment Extraction: Complete documentation parsing with examples and parameters
  • CLI Documentation Command: Built-in omni docs command for generating documentation
  • Multi-format Output: Support for markdown with plans for HTML and JSON formats
  • Module-based Documentation: Individual documentation files per module for better organization
  • Static Site Generator: Complete versioned documentation site generator with modern styling
  • CLI Site Command: Built-in omni site command for generating static documentation sites
  • Theme Support: Light, dark, and auto themes with responsive design
  • Deployment Integration: Support for GitHub Pages, Netlify, and Vercel deployment

🔍 Testing & Security Enhancement

  • Comprehensive Fuzzing System: Advanced fuzzer for parser and runtime safety testing
  • Property-based Testing: Automated testing of critical system properties
  • Random Input Generation: Sophisticated input generation for security testing
  • CLI Fuzzing Command: Built-in omni fuzz command with configurable options
  • Performance Monitoring: Real-time monitoring during fuzzing operations
  • Security Validation: Automated detection of security vulnerabilities

🌐 Server-Side Rendering (SSR)

  • SSR Renderer: Complete server-side rendering system for full-stack applications
  • Static Site Generation: Generate static HTML files for improved performance and SEO
  • Component Hydration: Client-side hydration support for interactive components
  • Custom Templates: Support for custom HTML templates with variable substitution
  • Middleware Integration: Express.js-compatible middleware for server integration
  • Route Handling: Automatic route matching and component rendering
  • Meta Tag Generation: SEO-friendly meta tag generation and management
  • Sitemap Generation: Automatic XML sitemap creation for static sites

Priority: Core language features completed ✅ -> Advanced features implemented ⭐ -> Distribution & tooling polished ✅ -> Security & stability enhancements next.

Status: Omniscript is now a truly advanced programming language with cutting-edge features that rival modern languages like Rust, Scala, and Haskell while maintaining ease of use.