請比較變數 a、b、c、d 四個變數之型態的繫結（Type Binding），記憶體配置的繋結（Storage Binding）以及有效範圍（Scoping）。

三、下面是一個使用 Scheme functional language 寫成之程式。回答下列問題：（25 分） (define unknown (lambda (L) (cond ((null? L) L) ((null? (cdr L)) L) ((eqv? (car L) (car (cdr L))) (unknown (cdr L))) (else (cons (car L) (unknown (cdr L))))))) 請說明 Functional Language 之主要優缺點。