這篇 copy & paste 過來的，所以沒什麼 p 幣...
※ 引述《mystea (mystea)》之銘言：
: 請問您所提的減少dependency是不是指希望有generality以增加重複使用的機會?
: 但其實有時候call by reference並不一定減少了generality. 比方說我想寫一個
: fit line的程式, 輸入值是兩個平面上的點, 輸出值是直線方程式的a和b; 因為輸出值
: 超過一個, 所以不用pass by reference不行, 但是既然目標很明確, 兩個平面上的點
: 的資料型態並不是母程式獨有的, 那重複利用性應該也不差才是阿...
不完全是，另一方面是減少 side-effect, side-effect 通常會使得複雜度大增。
至於你所說的輸出超過一個，跟要不要用 side-effect 沒有直接關係。例如你可以回傳
tuple, 甚至是另一個 data type. 不過你說的資料型態並不是母程式獨有的，
這句話我不太懂是什麼意思？
另一方面，要達到模組化其實跟 side-effect 並沒有直接的關係。甚至是有
side-effect 模組化能做得更好。雖然也很有可能做得更差。簡單地說其實
都是 trade-off... 也沒什麼說怎麼樣一定比較好，端看怎麼用吧。
: 但是如果我的子程序是在動態宣告母程序裡的local variable的話, 好像就不會違反
: generality了. 比方說我寫一個fit line的程式, 輸入是兩個點的座標, 輸出則是兩
: 個叫做fitline_a, fitline_b的 母程序裡的 local variable, 像這樣的話重復利用性
: 好像還要更好呢! (因為使用之前不需要特別為他宣告兩個變數)
我只能說... 你這樣寫起大程式，只會一片混亂。要寫 quick and dirty 的程式，
當然是越少限制越好了，反正一切都交給 programmer 就對了。但是當你程式一大，
side-effect 一多，情況就會不可收拾了。假設現在是 100 人在寫程式，
你怎麼會知道你寫的東西不會跟他打架？假設都不會好了，人類的腦袋又怎麼有辦法
記起來所有可能的變化與改變？（這時候是不是要接，不，如果是月就有可能？XD）
如果你寫的東西永遠都不會干擾到別人，也就是沒有 side-effect, 或是只有
受限制的 side-effect, 那麼就不需要擔心這種爆炸性的組合狀況了。
不過說是這樣說，如果你只是要動態修改 local variables,
ruby 可是真的可以這樣寫的 :p
godfat ~> irb
irb(main):001:0> def fun top
irb(main):002:1> eval 'a=10', top
irb(main):003:1> end
=> nil
irb(main):004:0> fun binding
=> 10
irb(main):005:0> a
=> 10
詳細我就不多說明了，這裡就是利用 fun 這個 function 替 top level scope
定義 a 這個 local variable.
也許 ruby 很適合你，歡迎到 ptt Ruby 板參觀 XD
現在填寫板友名單有優待（誤）
> 我很願意聽godfat大講講local variable有甚麼好處. 我其實只上過最基礎
> 的程設, 所以在理論方面很薄弱的. 一些基礎的問題很高興有版友願意指教.
這個我也只能先聲明，我甚至沒受過正規的 computer science 教育... XD
大部份的東西都是自己的一點經驗談，如果哪裡講得怪怪的，也請多多包涵，
互相討論切磋，sincerely.
local variable 的好處很多。減少 side-effect, 利用 automatic variable
達成 C++ 上 RAII（Resource Acquisition Is Initialization）的手法、...
嗯，其實我現在仔細想想最後都可以歸納成減少 side-effect XD
當然這樣講是籠統了些...
不過我想影響最大的可能還是遞迴吧，遞迴還是需要不同的 address space,
不然有很多事情都會很難做到。
> 遞迴的時候內定的namespace名稱可以加入son被呼叫的次數, 比方說堆疊最底層的son:i
> 叫son0:i, 接下來呼叫的叫做son1:i, son2:i, 等等.
這個....... 先別說這對 compiler/interpreter 負擔有多大好了，
要是遞迴有這種機制，我也可還真不知道怎麼用他比較好哩？更何況，這
name binding 要怎麼做？compile time 當然不會知道 call stack 的
狀況，所以完全變成 dynamic binding 嗎？然後去 random access call stack?
會不會有點太瘋狂了些... @@ 這樣用 call stack 不就失去很多意義了？
> 當然上一篇的回應中我已經了解到一部分程式語言不支援修改外界local variable的
> 原因. 所以像這樣回文只是希望能夠拋磚引玉. (比方說跟大家討論這種功能的可行性,
> 優缺點以及學習更多其他的原因等等:P)
有些東西我想你需要考慮一下實用性和實作可能性，如果非常難做，獲得的好處又不多，
甚至把一些原本的好處都打爛了，這樣的功能似乎就沒什麼意義。
最後，感謝你增加本板的文章 XD 看看日期，一個多月沒有新文章，好冷啊...
--
Nobody can take anything away from him.
Nor can anyone give anything to him.
What came from the sea,
has returned to the sea.
Chrono Cross
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.28.18