[討論] 弱關鍵字的程式語言

看板Programming作者sunneo (艾斯寇德)時間9年前 (2015/04/18 13:23)推噓1(1推 0噓 25→)

留言26則, 3人參與討論串1/1

#原本發在PLT，不知道這個適合哪裡，但跟PLT的理論關聯性不那麼深，所以 #我把他放在這討論最近跟人討論我想到一件事：在組合語言層級，從C的編譯器產生的binary file不會看到的函式名稱，那八成是_do, _while, _if ... 等關鍵字/保留字有這些關鍵字，我初略想到他們的用途是在token->grammar這過程可以在找到token時將parser的狀態進入到某個關鍵字的子狀態。假使今天有user用組合語言實現一套api，用static linking library發佈，剛好函式進入點是這些關鍵字甚至是型別名稱，因為是static linking library 恰好無法利用dlopen以函式指標來當進入點。這很可能發生在任何兩個程式語言相互運作的時候所以我想到 0) 當一個函式真的是關鍵字命名的，有沒有法子去叫用，像搜尋data/symbol table的解 1) 這個狀態有沒有那麼必要一定要用這關鍵字驅動？ 2) 有沒有一個compiler/程式語言支援這種關鍵字強度的？讓關鍵字本身對於解析器的強度是弱強度，當一個關鍵字在一個scope被賦予其他意義例如他被變成物件/變數/函式，他當下就不是原先關鍵字的意義。要不要弄一個語法強度比關鍵字/保留字高的compiler ? ex: 有人設計了一個函式，是 int if(int val1, int val2); 如果user include擁有這份宣告的檔案，或定義了這個符號，那麼目前他在這個檔案看到的if就有兩個意義： if ( Boolean-Expression ) int if(int val1, int val2); 這時編譯器如果看到使用者的式子為 if( a, b ) 他仍不應該立刻進入函式呼叫的意義，如果他在同一個表示中看到else，而且else沒有被複寫為其他意義。則以下這個if(a,b) 其實是 if(Boolean-Expression)。 if( a, b ){ } else { } 而內容值為 common-expression-list，就是evaluate a後, evaluate b並把b作為 expression-value，當成Boolean-expression 如果他看到的是 if ( a, b ); 因為可以找到複寫的意義 int if(int,int)，那麼這個if指的函式呼叫。如果不幸使用者定義了else是一個variable，以下式子仍是if(Boolean-Expression) if( a, b ){ } else ; 因為 else; 這個式子的運算結果沒用，else; 沒有把else拿來read/write/addrOf if( a, b ){ } else{ } 因為 else { } 在else為變數的時候不合法但以下就會成為if function if ( a, b ){ ... } 因為 if ( a, b )目前強度比 if(Boolean-expression) 高 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.132.1.247 ※ 文章網址: https://www.ptt.cc/bbs/Programming/M.1429334629.A.A43.html ※ 編輯: sunneo (220.132.1.247), 04/18/2015 13:24:56

→

sunneo

04/18 13:26, , 1^F

04/18 13:26, 1^F

→

MOONRAKER

04/18 13:49, , 2^F

04/18 13:49, 2^F

→

MOONRAKER

04/18 13:49, , 3^F

04/18 13:49, 3^F