PL OurScheme Interpreter 專案三函數儲存可能思路

點我參考程式碼(將於專案截止日後轉為公開 repo)

這邊統一一下對於 parameter 和 argument 的用詞定義：

Parameter: 定義函數時的參數變數

1
2
3

func foo(param1, param2){
	...
}

Argument: 呼叫函數時傳入的參數值

1

foo(arg1, arg2)

對於

1

(define F (lambda (param1 param2) s-exp1 s-exp2))
%%{ init: { 'theme': 'base', "themeVariables": { "lineColor": "#FFFFFF" } } }%% graph TD; F(["
lambda
(tag: isfunc)
"])-->param1d([.]); F-->seq1d([.]); param1d-->param1([param1]); param1d-->param2d([.]); param2d-->param2([param2]); param2d-->nil2([nil]); seq1d-->seq1([s-exp1]) seq1d-->seq2d([.]) seq2d-->seq2([s-exp2]) seq2d-->nil3([nil])

執行 (F arg1 arg2) 時將建出以下資料結構：

%%{ init: { 'theme': 'base', "themeVariables": { "lineColor": "#FFFFFF" } } }%% graph TD; dummyNode([.])-->F(["
lambda
(tag: isfunc)
"]) F-->param1d([.]); F-->seq1d([.]); param1d-->param1([param1]); param1d-->param2d([.]); param2d-->param2([param2]); param2d-->nil2([nil]); seq1d-->seq1([s-exp1]) seq1d-->seq2d([.]) seq2d-->seq2([s-exp2]) seq2d-->nil3([nil]) dummyNode-->argdot1([.]) argdot1-->arg1([arg1]) argdot1-->argdot2([.]) argdot2-->arg2([arg2]) argdot2-->nil4([nil])

對於

1

(define (F param1 param2) s-exp1 s-exp2)
%%{ init: { 'theme': 'base', "themeVariables": { "lineColor": "#FFFFFF" } } }%% graph TD; F(["
F
(tag: isfunc)
"])-->param1d([.]); F-->seq1d([.]); param1d-->param1([param1]); param1d-->param2d([.]); param2d-->param2([param2]); param2d-->nil2([nil]); seq1d-->seq1([s-exp1]) seq1d-->seq2d([.]) seq2d-->seq2([s-exp2]) seq2d-->nil3([nil])

執行 (F arg1 arg2) 時將建出以下資料結構：

%%{ init: { 'theme': 'base', "themeVariables": { "lineColor": "#FFFFFF" } } }%% graph TD; dummyNode([.])-->F(["
F
(tag: isfunc)
"]) F-->param1d([.]); F-->seq1d([.]); param1d-->param1([param1]); param1d-->param2d([.]); param2d-->param2([param2]); param2d-->nil2([nil]); seq1d-->seq1([s-exp1]) seq1d-->seq2d([.]) seq2d-->seq2([s-exp2]) seq2d-->nil3([nil]) dummyNode-->argdot1([.]) argdot1-->arg1([arg1]) argdot1-->argdot2([.]) argdot2-->arg2([arg2]) argdot2-->nil4([nil])

變數作用域

以這個測資為例

1
2
3
4
5
6

(define outer
    (lambda (x)
	  (lambda (y)
	    (+ x y))))

((outer 2) 3)

標準 scheme 的結果為：

1

5

而 OurScheme 官方實測的結果為：

1

unbound symbol x

可知 lambda 看不到他外面的區域變數，

但可以看到全域變數：

1
2
3
4
5
6

(define x 2)
(define outer
    (lambda (x)
	  (lambda (y)
	    (+ x y))))
((outer 3) 4)

官方結果：6 ($=2+4$)

因此在實作這個功能時，不用繼承區域變數。

而換成另一種定義函數的形式：

1
2
3
4
5

(define (outer x)
	  (lambda (y)
	    (+ x y)))

((outer 2) 3)

標準 scheme 的結果為：

1

5

而 OurScheme 官方實測的結果為：

1

unbound symbol x

與上面例子一樣。