演化架構與緊急設計（三）：使用 DSL 捕捉領域慣用模式——從 XML 到內部 DSL 的演進

前兩期聚焦技術慣用模式（事務、驗證、安全），本期轉向領域慣用模式——業務邏輯中反覆出現的解決方案。DSL（Domain Specific Language）是捕捉此類模式的利器，核心優勢：**讓代碼看起來像問題領域，而非技術實現**。

動機：為何需要 DSL？

• 可視性區分：模式代碼與基礎設施代碼視覺分離，降低誤改風險
• 業務溝通橋樑：領域專家可閱讀/審查/甚至編寫 DSL，消除「需求→代碼」翻譯損耗
• 聲明式本質：描述「做什麼」而非「怎麼做」，減少控制流干擾

案例：秘密隔間控制狀態機（James Bond 風格）

需求：H 夫人臥室秘密隔間，開啟序列——關門 → 打開梳妝台第二抽屜 → 開床頭燈。順序錯誤需重置。典型有限狀態機（FSM）。

五種配置表示法對比

1. Java API 配置（基線）

Event doorClosed = new Event("doorClosed", "D1CL");
Event drawerOpened = new Event("drawerOpened", "D2OP");
// ... 大量變量聲明
State idle = new State("idle");
State active = new State("active");
// ... 手動 addTransition、addAction
machine.addResetEvents(doorOpened);

痛點：冗長、重複變量名、非聲明式、需重編譯部署。

2. XML 配置（外部 DSL，語法=XML，語法規則=XSD）

<stateMachine start="idle">
  <event name="doorClosed" code="D1CL"/>
  <state name="idle">
    <transition event="doorClosed" target="active"/>
    <action command="unlockDoor"/>
    <action command="lockPanel"/>
  </state>
  <state name="active">
    <transition event="drawerOpened" target="waitingForLight"/>
    <transition event="lightOn" target="waitingForDrawer"/>
  </state>
  ...
</stateMachine>

優勢：延遲綁定（無需重編譯）、容器語義（巢狀結構）、聲明式。噪音：尖括號、屬性引號、結束標籤。

3. 自定義語法外部 DSL（ANTLR 生成解析器）

events
  doorClosed D1CL
  drawerOpened D2OP
  lightOn L1ON
  doorOpened D1OP
  panelClosed PNCL
end

resetEvents
  doorOpened
end

commands
  unlockPanel PNUL
  lockPanel PNLK
  lockDoor D1LK
  unlockDoor D1UL
end

state idle
  actions {unlockDoor lockPanel}
  doorClosed => active
end

state active
  drawerOpened => waitingForLight
  lightOn => waitingForDrawer
end
...

優勢：極少噪音字符、保留容器語義、聲明式。Fowler 指出：構建時間與 XML 版本相当（ANTLR 等現代工具大幅降低編譯器開發門檻）。

4. JRuby 內部 DSL（宿主語言語法）

event :doorClosed, "D1CL"
event :drawerOpened, "D2OP"
event :lightOn, "L1ON"
event :doorOpened, "D1OP"
event :panelClosed, "PNCL"

command :unlockPanel, "PNUL"
command :lockPanel, "PNLK"
command :lockDoor, "D1LK"
command :unlockDoor, "D1UL"

resetEvents :doorOpened

state :idle do
  actions :unlockDoor, :lockPanel
  transitions :doorClosed => :active
end

state :active do
  transitions :drawerOpened => :waitingForLight,
              :lightOn => :waitingForDrawer
end
...

優勢：零噪音字符（`:` 前綴即 Symbol）、Ruby 區塊原生容器語義、可直接執行/除錯、JRuby 打包為 JAR 部署至 Toaster。

5. JRuby DSL 實現骨架（元程式設計）

class StateMachineBuilder
  attr_reader :machine, :events, :states, :commands
  
  def initialize
    @events = {}; @states = {}; @state_blocks = {}; @commands = {}
  end
  
  def event(name, code)
    @events[name] = Event.new(name.to_s, code)
  end
  
  def state(name, &block)
    @states[name] = State.new(name.to_s)
    @state_blocks[name] = block
    @start_state ||= @states[name]
  end
  
  def command(name, code)
    @commands[name] = Command.new(name.to_s, code)
  end
  # ... 後續對 block 進行 instance_eval 構建完整狀態機
end

DSL 五大定義特徵（Martin Fowler）

外部 DSL vs 內部 DSL 選型指南

實戰建議

1. 起步用內部 DSL（Groovy/Kotlin DSL），驗證領域模型穩定性
2. 當語法約束成為業務溝通障礙、或需非技術人員直接編寫 → 遷移外部 DSL
3. DSL 範圍嚴格限定：**單一領域、單一關注點**，切勿貪大求全
4. 版本管理：DSL 腳本納入代碼庫，與應用代碼同步演進

下一期將深入：演化架構主題——架構與設計的邊界、技術政治、Build vs Buy 決策樹、SOA 端點版本控制與寬鬆類型策略。