看板
[ PLT ]
討論串[問題] if是不是函數
共 10 篇文章
內容預覽:
yoco閣下,你講話都這麼隨便來嗎?. 好,if不傳回值是不是? 反正現在講的是數學和語言,我們換個語言來看: Erlang.. test(A) ->. if. A > 0 -> 1;. A < 0 -> -1;. _ -> 0. end.. 這就是 if 敘述會傳回值.. 還有,你這樣罵人,我可以
(還有72個字)
內容預覽:
(fixed typo). 或許是本板的第一串戰火 =_=... 首先我想先說，「推文請勿超過三行」，請見板規. 接下來如果又嚴重超過三行，水桶一天 (24h). 其次我想說，盡量不要有嘲諷的語氣，但我能理解有時候還是會很想說。. 再有嘲諷語氣的話我會點名，希望能收斂點。. ============
(還有863個字)
內容預覽:
不曉得這有什麼好吵的 .... 1. 一對多函數是不是函數？Yes or No.. 我能不能定義一個函數，每個整數都對應到一個或一個以上的整數？可以，. 只是這個函數的值域是 P(Z) 也就是整數的子集合構成的集合。. 所以技術上，要把一對多的對應定義成函數沒有問題。. 2. if A then B
(還有671個字)
內容預覽:
=============. 假如是想寫一個 interpreter 或 compiler, 來句譯這個 if_statement:. if(Boolean_Expression) then do {S_t} else do {S_f};. 可以定義 IF_Func(Boolean_Expressi
(還有1264個字)
內容預覽:
有件事情必須分清楚，程式語言上的函數，並不等同於數學上函數。. 再來是實作跟語言也必須搞清楚，程式語言通常只規範，. 但不說明該如何實作，雖然兩者通常都有關係。. 因此，若是只看待 Agda 這個例子，if 是直接被定義為. 語言內的函數，因此 if 的確是個函數。如果仔細看這個語言，. 會發現語言
(還有2416個字)