docs: Array<T> 문법을 T[] 형태로 변경

- 영어 문서 (docs/) Array<> → [] 변환
- 한국어 문서 (i18n/ko/) Array<> → [] 변환
- Array<T>.new 생성자 호출은 유지
- RBS 문법 (Array[T])은 변경 없음

Author: yhk1038

.github/workflows/sync-release.yml

@@ -0,0 +1,82 @@
+name: Sync Release Docs
+
+on:
+  workflow_dispatch:
+    inputs:
+      version:
+        description: 'Released version'
+        required: true
+      base_tag:
+        description: 'Base tag (5 releases ago)'
+        required: true
+      recent_tags:
+        description: 'Recent 5 tags (comma-separated)'
+        required: true
+      changed_files:
+        description: 'Changed files since base tag'
+        required: true
+
+permissions:
+  contents: write
+
+jobs:
+  update-docs:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Fetch t-ruby source
+        run: |
+          git clone https://github.com/type-ruby/t-ruby.git /tmp/t-ruby
+          cd /tmp/t-ruby
+          git fetch --tags
+
+      - name: Generate diff context (last 5 releases)
+        run: |
+          cd /tmp/t-ruby
+          git diff ${{ inputs.base_tag }}..v${{ inputs.version }} > /tmp/release_diff.txt
+          git log ${{ inputs.base_tag }}..v${{ inputs.version }} --oneline > /tmp/commit_log.txt
+          git show v${{ inputs.version }}:CHANGELOG.md > /tmp/current_changelog.txt
+
+      - name: Update docs with Claude Code
+        uses: anthropics/claude-code-action@v1
+        with:
+          anthropic_api_key: ${{ secrets.ANTHROPIC_API_KEY }}
+          prompt: |
+            t-ruby v${{ inputs.version }}이 릴리스되었습니다.
+
+            ## 컨텍스트
+            - 컴파일러 소스: /tmp/t-ruby
+            - 현재 저장소: 문서 사이트 (t-ruby.github.io)
+            - 현재 릴리스: v${{ inputs.version }}
+            - 분석 범위: 최근 5개 릴리스 (${{ inputs.recent_tags }})
+            - 비교 시작점: ${{ inputs.base_tag }}
+            - 변경된 파일 목록: ${{ inputs.changed_files }}
+            - 상세 diff: /tmp/release_diff.txt
+            - 커밋 로그: /tmp/commit_log.txt
+            - 현재 CHANGELOG: /tmp/current_changelog.txt
+
+            ## 작업
+            1. static/version.json의 compiler 버전을 ${{ inputs.version }}으로 업데이트
+            2. /tmp/t-ruby/CHANGELOG.md를 docs/project/changelog.md로 동기화
+            3. 최근 5개 릴리스의 변경사항을 분석하여 문서 업데이트:
+               - 새 기능 추가 → 관련 문서 생성/수정
+               - API 변경 → 레퍼런스 업데이트
+               - 기능 제거 → 문서 삭제 또는 deprecated 표시
+               - 이전 릴리스에서 누락된 문서 변경도 보완
+            4. 다국어(i18n/ko, i18n/ja) 문서도 필요시 업데이트
+
+            변경사항이 있으면 커밋해주세요.
+
+      - name: Push changes
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git add -A
+          if git diff --staged --quiet; then
+            echo "No changes to commit"
+          else
+            git commit -m "docs: sync v${{ inputs.version }} release"
+            git push origin main
+          fi

docs/cli/compiler-options.md

@@ -39,7 +39,7 @@ In strict mode:
 
 ```trb
 # Strict mode requires full typing
-def process(data: Array<String>): Hash<String, Integer>
+def process(data: String[]): Hash<String, Integer>
   @count: Integer = 0
   result: Hash<String, Integer> = {}
   result
@@ -138,7 +138,7 @@ trc compile --no-unchecked-indexed-access src/
 
 ```trb
 # Error with --no-unchecked-indexed-access
-users: Array<User> = get_users()
+users: User[] = get_users()
 user = users[0]  # Error: might be nil
 
 # Must check first

docs/cli/configuration.md

@@ -256,7 +256,7 @@ compiler:
 
 ```trb
 # Required in strict mode
-def process(data: Array<String>): Hash<String, Integer>
+def process(data: String[]): Hash<String, Integer>
   @count: Integer = 0
   result: Hash<String, Integer> = {}
   # ...
@@ -272,7 +272,7 @@ end
 
 ```trb
 # OK in standard mode
-def process(data: Array<String>): Hash<String, Integer>
+def process(data: String[]): Hash<String, Integer>
   @count: Integer = 0
   result = {}  # Type inferred
   # ...
@@ -412,7 +412,7 @@ end
 
 ```trb
 # Error when no_unchecked_indexed_access: true
-users: Array<User> = get_users()
+users: User[] = get_users()
 user = users[0]  # Error: might be nil
 
 # OK - Check first

docs/getting-started/understanding-trb-files.md

@@ -134,7 +134,7 @@ Let's create a Calculator class:
 ```trb title="calculator.trb"
 class Calculator
   # Instance variable with type annotation
-  @history: Array<String>
+  @history: String[]
 
   def initialize: void
     @history = []
@@ -168,7 +168,7 @@ class Calculator
     result
   end
 
-  def history: Array<String>
+  def history: String[]
     @history.dup
   end
 
@@ -272,7 +272,7 @@ def find(id: Integer): User?  # Shorthand
 ### Block Parameters
 
 ```rbs
-def each_item(items: Array<String>, &block: (String) -> void): void
+def each_item(items: String[], &block: (String) -> void): void
   items.each(&block)
 end
 
@@ -314,7 +314,7 @@ Error: calculator.trb:2:15
 
 1. **Start with public APIs** - Type your public methods first
 2. **Use type aliases** - Make complex types readable
-3. **Prefer specific types** - `Array<String>` over `Array`
+3. **Prefer specific types** - `String[]` over `Array`
 4. **Document with types** - Types serve as documentation
 
 ## Next Steps

docs/introduction/t-ruby-vs-others.md

@@ -128,7 +128,7 @@ class Calculator
     a + b
   end
 
-  def join(items: Array<String>): String
+  def join(items: String[]): String
     items.join(", ")
   end
 end
@@ -217,7 +217,7 @@ end
 - Type erasure (no runtime overhead)
 - Gradual typing support
 - Union types (`String | Integer`)
-- Generic types (`Array<T>`)
+- Generic types (`T[]`)
 - Interface definitions
 
 ### Differences

docs/introduction/what-is-t-ruby.md

@@ -56,7 +56,7 @@ def calculate(x: Integer, y: Integer): Integer
 end
 
 # Partially typed (return type inferred)
-def process(data: Array<String>)
+def process(data: String[])
   data.map(&:upcase)
 end
 

docs/introduction/why-t-ruby.md

@@ -72,7 +72,7 @@ def transform(data, options = {})
 end
 
 # With types - crystal clear
-def transform(data: Array<Record>, options: TransformOptions?): TransformResult
+def transform(data: Record[], options: TransformOptions?): TransformResult
   # ...
 end
 ```
@@ -148,7 +148,7 @@ Types add some overhead. For very small scripts or quick prototypes, untyped Rub
 puts "Hello, #{ARGV[0]}!"
 
 # No need for:
-# def main(args: Array<String>): void
+# def main(args: String[]): void
 #   puts "Hello, #{args[0]}!"
 # end
 ```

docs/learn/advanced/intersection-types.md

@@ -162,7 +162,7 @@ end
 
 interface Validatable
   def valid?: Boolean
-  def errors: Array<String>
+  def errors: String[]
 end
 
 interface Persistable
@@ -179,7 +179,7 @@ class Article
 
   @title: String
   @content: String
-  @errors: Array<String>
+  @errors: String[]
 
   def initialize(title: String, content: String): void
     @title = title
@@ -203,7 +203,7 @@ class Article
     @errors.empty?
   end
 
-  def errors: Array<String>
+  def errors: String[]
     @errors
   end
 
@@ -248,7 +248,7 @@ type BaseEntity = Identifiable & Timestamped
 type DeletableEntity = Identifiable & Timestamped & SoftDeletable
 
 class Repository<T: BaseEntity>
-  @items: Array<T>
+  @items: T[]
 
   def initialize: void
     @items = []
@@ -258,25 +258,25 @@ class Repository<T: BaseEntity>
     @items.find { |item| item.id == id }
   end
 
-  def all: Array<T>
+  def all: T[]
     @items.dup
   end
 
-  def recent(limit: Integer = 10): Array<T>
+  def recent(limit: Integer = 10): T[]
     @items.sort_by { |item| item.created_at }.reverse.take(limit)
   end
 end
 
 class SoftDeleteRepository<T: DeletableEntity> < Repository<T>
-  def all: Array<T>
+  def all: T[]
     @items.reject { |item| item.deleted? }
   end
 
-  def with_deleted: Array<T>
+  def with_deleted: T[]
     @items.dup
   end
 
-  def only_deleted: Array<T>
+  def only_deleted: T[]
     @items.select { |item| item.deleted? }
   end
 end
@@ -428,7 +428,7 @@ end
 
 # Collection that requires multiple capabilities
 class ValidatedCollection<T: Identifiable & Validatable>
-  @items: Array<T>
+  @items: T[]
 
   def initialize: void
     @items = []
@@ -447,11 +447,11 @@ class ValidatedCollection<T: Identifiable & Validatable>
     @items.find { |item| item.id == id }
   end
 
-  def all_valid: Array<T>
+  def all_valid: T[]
     @items.select { |item| item.valid? }
   end
 
-  def all_invalid: Array<T>
+  def all_invalid: T[]
     @items.reject { |item| item.valid? }
   end
 end
@@ -638,7 +638,7 @@ class FormBuilder
   implements Buildable, Validatable, Resettable
 
   @fields: Hash<String, String>
-  @errors: Array<String>
+  @errors: String[]
 
   def initialize: void
     @fields = {}
@@ -690,9 +690,9 @@ class WorkflowState
   implements State, Transitionable, Observable
 
   @name: String
-  @allowed_transitions: Array<String>
+  @allowed_transitions: String[]
 
-  def initialize(name: String, allowed_transitions: Array<String>): void
+  def initialize(name: String, allowed_transitions: String[]): void
     @name = name
     @allowed_transitions = allowed_transitions
   end

docs/learn/advanced/type-aliases.md

@@ -37,7 +37,7 @@ def create_user(data: Hash<Symbol, String | Integer | Boolean>): Integer
 end
 
 # Hard to understand what this represents
-users: Array<Hash<Symbol, String | Integer | Boolean>> = []
+users: Hash<Symbol, String | Integer | Boolean>[] = []
 ```
 
 ### With Type Aliases
@@ -60,7 +60,7 @@ def create_user(data: UserData): Integer
 end
 
 # Clear what this represents
-users: Array<UserData> = []
+users: UserData[] = []
 ```
 
 ## Basic Type Aliases
@@ -261,10 +261,10 @@ type Quantity = Integer
 
 type Product = Hash<Symbol, ProductId | String | Price>
 type OrderItem = Hash<Symbol, ProductId | Quantity | Price>
-type Order = Hash<Symbol, OrderId | CustomerId | Array<OrderItem> | String>
+type Order = Hash<Symbol, OrderId | CustomerId | OrderItem[] | String>
 
 # Using domain types
-def create_order(customer_id: CustomerId, items: Array<OrderItem>): Order
+def create_order(customer_id: CustomerId, items: OrderItem[]): Order
   {
     id: generate_order_id(),
     customer_id: customer_id,
@@ -273,7 +273,7 @@ def create_order(customer_id: CustomerId, items: Array<OrderItem>): Order
   }
 end
 
-def calculate_total(items: Array<OrderItem>): Price
+def calculate_total(items: OrderItem[]): Price
   items.reduce(0.0) { |sum, item| sum + item[:price] * item[:quantity] }
 end
 ```
@@ -356,15 +356,15 @@ type Supplier<T> = Proc<T>
 type Comparator<T> = Proc<T, T, Integer>
 
 # Using function types
-def filter<T>(array: Array<T>, predicate: Predicate<T>): Array<T>
+def filter<T>(array: T[], predicate: Predicate<T>): T[]
   array.select { |item| predicate.call(item) }
 end
 
-def map<T, U>(array: Array<T>, mapper: Mapper<T, U>): Array<U>
+def map<T, U>(array: T[], mapper: Mapper<T, U>): U[]
   array.map { |item| mapper.call(item) }
 end
 
-def for_each<T>(array: Array<T>, consumer: Consumer<T>): void
+def for_each<T>(array: T[], consumer: Consumer<T>): void
   array.each { |item| consumer.call(item) }
 end
 
@@ -426,7 +426,7 @@ In the future, T-Ruby will support recursive type aliases for tree structures an
 # Tree structure
 type TreeNode<T> = {
   value: T,
-  children: Array<TreeNode<T>>
+  children: TreeNode<T>[]
 }
 
 # Linked list

docs/learn/basics/type-annotations.md

@@ -227,7 +227,7 @@ member_price = calculate_discount(100.0, 10, true)
 You can also annotate block parameters:
 
 ```trb title="blocks.trb"
-def process_numbers(numbers: Array<Integer>)
+def process_numbers(numbers: Integer[])
   numbers.map do |n: Integer|
     n * 2
   end