開版申請書
※ [本文轉錄自 ComGame-Plan 看板]
作者: godfat (godfat 真常) 看板: ComGame-Plan
標題: [申請新板] PLT
時間: Tue Feb 20 19:31:46 2007
v1.1
修訂處以黃色標記
板主名單 ：godfat
看板類別 ：研討
看板中文名稱：程式語言理論
看板英文名稱：PLT
註１：Programming Language Theory
開板理念：
何謂 PLT? 請讀：
http://en.wikipedia.org/wiki/Programming_language_theory
簡單地說，就是對於「程式語言」的研究，請注意，
是研究而非使用。是故與目前 CompScience 的各個類別為「程設」的看板，
有著關鍵性的不同。不是研究程式設計，而是研究程式語言本身。
而我們也都知道，程式本身由程式語言描述，所以程式語言的研究
將直接衝擊程式設計的方法，其重要性絕不亞於程式設計本身。
以下皆將「程式語言的理論、設計與實作」簡稱「程式語言」。
程式語言本身牽扯範圍極廣（大部份的領域皆然），
可是綜觀 CompScience 各板，曾有何處在討論程式語言這個領域？
目前就我所知，CSSE 一開始有著一點點的討論，
但是後來的討論大多都與程式語言無關。
基於專板專用的理念，PLT 有其開板的意義。
與 CSSE 的關係將於「與現有板面的區隔」討論，這裡不再多談。
唯一比較可惜之處是，個人並無正式學習過 PLT,
是故會有很多地方不了解，或是有所誤解。
個人以為，這種情況下並不適合擔任板主，
但考量到板主需要處理一些瑣事，而這些瑣事跟 PLT 也無關，
所以暫時性的擔當，應不至於過於不當。
所謂拋磚引玉，望對此領域有一定認識之人能夠現身擔當此大任。
另外有一點需要額外被提出來討論的是，各個語言間的比較。
由於評估各個語言間的異同、使用狀況、設計理念等，
對於程式語言本身的設計有舉足輕重的影響力。（放眼過去，展望未來）
所以本看板另一個理念是提供各個語言間比較的戰場。
我想這點很容易引起紛爭，畢竟語言有時候也如同信仰般的存在，
而有些人的信仰是絕對、深遠、且不可動搖的，如此一來，
紛爭則無法免除。
但個人以為，只要大家能夠理性討論，排除所有情緒上的用詞與各種不當
或無意義的言論，還是能夠促進程式語言理論的豐富性與深遠性。
關於如何定義恰當的言論與非恰當的言論，將於下列初版板規處說明。
最後一點是，我們知道程式語言的種類極其繁多，
而許許多多「少數民族」所使用的語言，難以在網路上找到專板。
所以在不過份的情況下，本看板將收容此等少數民族。
過不過份的定義也將於初版板規處說明。
總歸起來，以下三大主題將視為符合本板宗旨：
1. (程式語言|編譯器|直譯器)的理論、設計與實作
2. 各個程式語言間的設計與實作比較
3. CompScience 內暫無專板的程式語言相關討論
另外如 CompScience 內有某程式語言專板的看板收攤，
則其精華區與板面上優文，將直接收錄於本看板少數民族語言精華區內。
可以的話，保留一份原本的編排，再另外與本看板精華區內的編排合併。
與現有板面的區隔：
CSSE
由於 CSSE 的定義過於廣泛，不容易讓人望文生義。
假若要促進某方面的討論，還是需要某方面的專板。
如 PLT 板終將關閉，合併於 CSSE 是一個方式。
Programming
聯合轉信板管理上非常困難，且此板較為傾向程式設計而非程式語言上的研究。
Prob_Solve
大抵上而言為演算法的研究，和程式語言沒有非常直接的關係。
初版板規：
一般性：
1. 請遵守成文或不成文的網路禮儀。
2. 不符合本板宗旨的文章將刪除並備份於精華區。
3. 判定準則皆為板主自由心證，輔以板友意見。
程式語言的比較之主題：
1. 不可針對人類發出批評。如：使用 OO 語言的人都是白痴。
2. 不可光提出批評而不發表理由。如：反正 OO 語言就是爛。
3. 以上違反者將直接刪除該文並備份於精華區，同時視情況給予警告或是水桶不定天數。
少數民族語言的相關主題：
1. CompScience 內有專板者不可單獨討論，違反則刪除並備份於精華區。
2. 同一個語言的相關主題在二日內，合併計算不可超過三十篇。
超過則暫時鎖定，低於三十篇後重新開放。
3. 避免討論 IDE, 或是任何形式的編輯器或開發環境。視情況處理。
補充說明：
例如：「如何建立專案？」、「如何開啟新檔？」、「編譯的按鈕在哪？」
此等主題離題太遠，視為不符合看板宗旨。
比較微妙的部份是，IDE 直接涉入程式語言的部份，
例如 code generator 的應用，勉強可以算是符合看板宗旨。
精華區初步架構表：
0. 本板資訊
1. 略
1. 程式語言理論
1. type theory
2. formal semantics
3. run-time systems
4. paradigm
5. features
6. history
7. etc.
2. 編譯器/直譯器設計與實作
1. front-end
2. middle-end
3. back-end
4. etc.
3. 程式語言的比較
1. 有關 OO 語言與…
2. 有關 XX 語言與…
3. etc.
4. 少數民族語言
1. OO 語言
2. XX 語言
3. etc.
5. 其他看板的精華文件
1. 略
6. 備份區
1. 違反板規「一般性：2」者
2. 違反板規「比較主題：1」者
3. 違反板規「比較主題：2」者
4. 違反板規「少數民族：1」者
5. etc.
--
#!/usr/bin/ruby [露比] /Programming (Kn|N)ight/ 看板《Ruby》
# if a dog nailed extra legs that http://www.ptt.cc/bbs/Ruby/index.html
# walks like an octopus, and Welcome ~Ruby@ptt~
# talks like an octopus, then ◢█◣ http://www.ruby-lang.org/
# we are happy to treat it as █ http://www.ruby-doc.org/
# if it were an octopus. ◥ ◤ http://www.rubyforge.org/
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.28.18
※ 編輯: godfat 來自: 220.135.28.18 (02/20 19:32)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.228.195.92
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
