今天不小心看到了http://www.antlr.org/works/index.html，我一直認(rèn)為ANTLR是LR(k)分析器，后來我錯(cuò)了，原來只是LL(k)。我以前寫的一個(gè)Vczh Syngram是LR(k)的畸形，今天看了居然連LL(k)都能有GUI，我不做一個(gè)豈不是對(duì)不起自己？

    Vczh Syngram是一個(gè)在C++下面用的編譯器的語法分析框架，只需要在C++代碼里面寫上文法，到時(shí)候initialize出一個(gè)接口來就可以幫你搞定語法分析了。當(dāng)然分析完要生成語法樹還是什么的是由你決定的。不過雖然現(xiàn)在寫編譯器的語法分析只要syngram+文法，但是調(diào)試起來還是比較囧的。ANTLRWorks的想法真是好啊，GUI封裝完了之后我就做一個(gè)Vczh Syngram的圖形界面來當(dāng)demo吧，一舉兩得。到時(shí)候這個(gè)demo產(chǎn)生使用Vczh Syngram的一部分代碼，爽啊。Vczh Free Script 2.0的代碼文件里就有一個(gè)文件是調(diào)用Vczh Syngram的文法代碼。

    今天某空明跟我說我的Vczh Syngram沒文檔害他只能用yacc寫一個(gè)軟件渲染器用的shader compiler。有了GUI之后，連文檔都免了吧。嘿嘿。等最近GUI封裝完之后，就把這個(gè)程序?qū)懥耍材苡猛ㄋ滓锥姆椒▉砀嬖V別人我這套框架是怎么用的。

    話說Vczh Syngram在開發(fā)的時(shí)候?yàn)榱藱z查出文法的歧義花了一個(gè)星期的時(shí)間未果，因?yàn)長(zhǎng)ALR實(shí)在是不能用，用了在分析之后就很難還原出到底分析的這條路是調(diào)用了什么文法，文法綁定的工作也就非常不好做了。于是我換了一種辦法，我輸出所有歧義的可能就行了。后來發(fā)現(xiàn)輸出歧義比檢查文法好多了，因?yàn)橛行r(shí)候我們需要歧義才能解決問題。我自己有過一個(gè)叫Gotalk的殘廢腳本，后來沒公開出來，也沒有完成所有代碼。這個(gè)腳本是這樣子的：

phrase max of (number1 is integer) and (number2 is integer) returns integer
  if number1 is larger than number2 then
    return number1
  else
    return number2
  end if
end phrase

phrase max of(number1 is integer),(number2 is integer) and (number3 is integer)returns integer
  return max of max of number1 and number2 and number3
end phrase

//下面這些是外接函數(shù)定義，由虛擬機(jī)處理
external phrase print (text as string) links "print"
external pharse input returns string links "input"

//下面是主函數(shù)，輸入3個(gè)數(shù)字輸出最大那個(gè)
phrase main
  define n1 , n2 , n3 as integer
  let n1 be integer of input
  let n2 be integer of input
  let n3 be integer of input
  print string of max of n1,n2 and n3
end phrase

    在處理這個(gè)語法的時(shí)候，我的程序第一次掃描文件的時(shí)候動(dòng)態(tài)組織文法給syngram，第二次用syngram給出結(jié)果。這個(gè)時(shí)候我需要歧義，因?yàn)槲铱梢栽谄缌x里面排除所有不能通過類型檢查的結(jié)果，最終獲得用戶所希望的表達(dá)方法。后來基本上是弄出來了，但是經(jīng)過調(diào)查發(fā)現(xiàn)其實(shí)不會(huì)有什么人用的，實(shí)際上是因?yàn)橛⒄Z跟程序相差太遠(yuǎn)了，很多概念我重組了別人不一定能夠接受。不過這是DSL語言所向往的一種辦法。本來這門語言里面還支持從句（也就是平常見到的lambda expression），還有類啊繼承什么的。函數(shù)根據(jù)參數(shù)在不同的位置還自動(dòng)獲得優(yōu)先級(jí)，能寫出類似sin of a，或者干脆定義運(yùn)算符| a |計(jì)算絕對(duì)值也行，甚至還能寫a is a prime number(譬如判斷a是不是質(zhì)數(shù)if a is a prime number then...)。懶得寫大代碼展示了。什么時(shí)候無聊了再重新寫一個(gè)好一點(diǎn)的。到時(shí)候跟Vczh Free Script共享后端虛擬機(jī)，就可以實(shí)現(xiàn)互相調(diào)用并共享類庫了，爽啊。

    有了Syngram，做編譯器還是很方便的，可以將精力花在后端上。前端不應(yīng)該由人來完成。