chore: sync version to 0.0.39 and add changelog entry

- Update version.json compiler version to 0.0.39
- Add changelog entry for type inference engine (en/ko/ja)
- Document: BodyParser, TypeEnv, ASTTypeInferrer
- Document: literal inference, method call tracking, implicit returns

Author: yhk1038

docs/project/changelog.md

@@ -14,6 +14,42 @@ All notable changes to T-Ruby will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.0.39] - 2025-12-24
+
+### Added
+
+#### Type Inference Engine
+- **TypeScript-style type inference** - Automatic return type inference without explicit annotations
+- **BodyParser** - New parser for method body IR node generation
+- **TypeEnv** - Scope chain management for variable type tracking
+- **ASTTypeInferrer** - Expression type inference with lazy evaluation and caching
+- **Literal inference** - `"hello"` → `String`, `42` → `Integer`, `true` → `bool`
+- **Method call tracking** - `str.upcase` → `String`, `arr.length` → `Integer`
+- **Implicit return handling** - Ruby's last expression as return type
+- **Conditional type inference** - Union types from `if`/`else` branches
+- **200+ built-in method types** - Common Ruby method return types
+
+#### Special Handling
+- **`initialize` method** - Always returns `void` (RBS convention)
+- **Unreachable code detection** - Ignores code after unconditional `return`
+
+### Example
+
+Before (explicit annotation required):
+```ruby
+def greet(name: String): String
+  "Hello, #{name}!"
+end
+```
+
+After (inference works automatically):
+```ruby
+def greet(name: String)
+  "Hello, #{name}!"
+end
+# RBS: def greet: (name: String) -> String
+```
+
 ## [Unreleased]
 
 ### Planned
@@ -275,6 +311,7 @@ T-Ruby is released under the MIT License. See LICENSE file for details.
 
 | Version | Release Date | Status | Highlights |
 |---------|--------------|--------|------------|
+| [0.0.39](#0039---2025-12-24) | 2025-12-24 | Alpha | TypeScript-style type inference |
 | [0.1.0-alpha](#010-alpha---2025-12-09) | 2025-12-09 | Alpha | Initial release, core features |
 | 0.2.0 | TBD | Planned | LSP, tuples, tooling |
 | 0.3.0 | TBD | Planned | Rails types, advanced features |

i18n/ja/docusaurus-plugin-content-docs/current/project/changelog.md

@@ -14,6 +14,42 @@ T-Rubyのすべての注目すべき変更はこのファイルに文書化さ
 形式は[Keep a Changelog](https://keepachangelog.com/en/1.0.0/)に基づいており、
 このプロジェクトは[セマンティックバージョニング](https://semver.org/spec/v2.0.0.html)に従います。
 
+## [0.0.39] - 2025-12-24
+
+### 追加
+
+#### 型推論エンジン
+- **TypeScriptスタイル型推論** - 明示的なアノテーションなしで自動的に戻り値の型を推論
+- **BodyParser** - メソッド本体のIRノード生成用の新しいパーサー
+- **TypeEnv** - 変数型追跡のためのスコープチェーン管理
+- **ASTTypeInferrer** - 遅延評価とキャッシングによる式の型推論
+- **リテラル推論** - `"hello"` → `String`、`42` → `Integer`、`true` → `bool`
+- **メソッド呼び出し追跡** - `str.upcase` → `String`、`arr.length` → `Integer`
+- **暗黙的な戻り値の処理** - Rubyの最後の式を戻り値の型として
+- **条件文の型推論** - `if`/`else`分岐からのユニオン型
+- **200以上の組み込みメソッド型** - 一般的なRubyメソッドの戻り値型
+
+#### 特別な処理
+- **`initialize`メソッド** - 常に`void`を返す（RBSの慣例）
+- **到達不能コードの検出** - 無条件`return`後のコードを無視
+
+### 例
+
+以前（明示的なアノテーションが必要）：
+```ruby
+def greet(name: String): String
+  "Hello, #{name}!"
+end
+```
+
+以後（推論が自動的に動作）：
+```ruby
+def greet(name: String)
+  "Hello, #{name}!"
+end
+# RBS: def greet: (name: String) -> String
+```
+
 ## [未リリース]
 
 ### 計画中

i18n/ko/docusaurus-plugin-content-docs/current/project/changelog.md

@@ -14,6 +14,42 @@ T-Ruby의 모든 주목할 만한 변경 사항은 이 파일에 문서화됩니
 형식은 [Keep a Changelog](https://keepachangelog.com/en/1.0.0/)를 기반으로 하며,
 이 프로젝트는 [시맨틱 버저닝](https://semver.org/spec/v2.0.0.html)을 따릅니다.
 
+## [0.0.39] - 2025-12-24
+
+### 추가됨
+
+#### 타입 추론 엔진
+- **TypeScript 스타일 타입 추론** - 명시적 어노테이션 없이 자동 반환 타입 추론
+- **BodyParser** - 메서드 본문 IR 노드 생성을 위한 새 파서
+- **TypeEnv** - 변수 타입 추적을 위한 스코프 체인 관리
+- **ASTTypeInferrer** - 지연 평가와 캐싱을 사용한 표현식 타입 추론
+- **리터럴 추론** - `"hello"` → `String`, `42` → `Integer`, `true` → `bool`
+- **메서드 호출 추적** - `str.upcase` → `String`, `arr.length` → `Integer`
+- **암묵적 반환 처리** - Ruby의 마지막 표현식을 반환 타입으로
+- **조건문 타입 추론** - `if`/`else` 분기에서 유니온 타입
+- **200개 이상의 내장 메서드 타입** - 일반적인 Ruby 메서드 반환 타입
+
+#### 특별 처리
+- **`initialize` 메서드** - 항상 `void` 반환 (RBS 규칙)
+- **도달 불가능 코드 감지** - 무조건적 `return` 이후 코드 무시
+
+### 예제
+
+이전 (명시적 어노테이션 필요):
+```ruby
+def greet(name: String): String
+  "Hello, #{name}!"
+end
+```
+
+이후 (추론이 자동으로 동작):
+```ruby
+def greet(name: String)
+  "Hello, #{name}!"
+end
+# RBS: def greet: (name: String) -> String
+```
+
 ## [미공개]
 
 ### 계획됨

static/version.json

@@ -1,5 +1,5 @@
 {
-  "compiler": "0.0.38",
+  "compiler": "0.0.39",
   "vscode": "0.2.0",
   "jetbrains": "0.1.2",
   "wasm": "0.0.8"