Implement From Ir

name Implement from IR version 1.0.0 description Synthesize target language code from IR category conversion languages ["python","typescript","rust","java","go","scala","roc","kotlin","swift","elixir"] tools ["ir-synthesize-python","ir-synthesize-rust","ir-synthesize-typescript","ir-synthesize-go","ir-synthesize-scala","ir-synthesize-roc"] Implement from IR Generate idiomatic code in a target language from an Intermediate Representation (IR). Usage /codebase-implement-from-ir <ir-path> --target <language> [--style <mode>] [--gaps <handling>] Parameters Parameter Description Default ir-path Path to IR file (JSON/YAML) Required --target Target language Required --style Generation style (minimal, idiomatic, verbose) idiomatic --gaps Gap handling (warn, error, annotate, ignore) warn Process

1. IR Validation Validate the input IR: Schema compliance Required fields present Internal consistency (referenced types exist)
2. Gap Resolution Review detected gaps and apply mitigations: Gap Severity Default Action Critical Halt, require human decision High Warn, suggest alternatives Medium Auto-convert with TODO comment Low Auto-convert silently Info Log for reference
3. Pattern Translation Map IR patterns to target idioms: Type Mappings Source Python Rust TypeScript Go Scala int int i64 number int64 Long str str String string string String bool bool bool boolean bool Boolean Option[T] Optional[T] Option<T> T | undefined *T Option[T] Result[T,E] Result[T,E] Result<T,E> Result<T,E> (T, error) Either[E,T] List[T] list[T] Vec<T> T[] []T List[T] Dict[K,V] dict[K,V] HashMap<K,V> Map<K,V> map[K]V Map[K,V] Pattern Mappings Pattern Source IR Target Transformation Pattern Match MatchExpression switch/if-else chain (if needed) ADT TypeDef.adt sealed class/enum Type Class TypeClassDef trait/interface + instances Async AsyncAnnotation async/await, Future, goroutine Error Handling ResultType Result, Either, (T, error)