看板 [ PLT ]
討論串[問題] ML 與 coercion
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題] ML 與 coercion
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者godfat (godfat 真常)時間17年前 (2007/02/25 18:31), 編輯資訊
1
0
0
內容預覽:
其實主要的問題是來自《世紀末軟體革命復刻版》這本書，. 因為書中在多型的部份提到了強制同型（coercion），. 大抵上對於這東西我沒有太多疑問，可是有一句話一直讓我很感興趣。. [quote]. 可惜的是，C++ 裡面只能勉強用型別轉換的多載來模擬出它的功能，. 想要了解它的話，最好去玩 ML。
(還有2070個字)
#2
Re: [問題] ML 與 coercion
推噓2(2推 0噓 0→)留言2則，0人參與, 最新作者reader (讀者)時間17年前 (2007/02/26 03:28), 編輯資訊
0
0
0
內容預覽:
就是有關啊, 其實 implicit type conversion 就是 coercion 了，至於. type inference 是更完美的形式，即型別由操作而決定，這是對語言哲學. 有一點概念的人都會希望完成的做法。. 當然終極方法應該是意義由操作決定，而不只是型別而已，但就現在而言，. 仍
(還有794個字)
首頁
上一頁
1
下一頁
尾頁