自動(dòng)類型推導(dǎo)的作用

win_hate

我看過一些帶自動(dòng)類型推導(dǎo)的語言的介紹，包括 ML 和 Haskell。它們都強(qiáng)調(diào)了自動(dòng)類型推導(dǎo)減輕了程序員的負(fù)擔(dān)，因?yàn)槟悴槐孛總�(gè)函數(shù)都寫上類型簽名。但另一方面，它們又說：寫上類型簽名好處多多。

我覺得這兩個(gè)說法是熊掌和魚，不能兼得。它們這樣說，有虛假廣告的嫌疑。

個(gè)人覺得還是應(yīng)該寫上簽名。解釋器或編譯器其實(shí)并不輕信我們的簽名，它還會(huì)用自動(dòng)推導(dǎo)來核對。我覺得這才是自動(dòng)類型推導(dǎo)真正有意義的地方。

大家以為如何？

MMMIX

原帖由 win_hate 于 2009-3-15 18:18 發(fā)表
我看過一些帶自動(dòng)類型推導(dǎo)的語言的介紹，包括 ML 和 Haskell。它們都強(qiáng)調(diào)了自動(dòng)類型推導(dǎo)減輕了程序員的負(fù)擔(dān)，因?yàn)槟悴槐孛總�(gè)函數(shù)都寫上類型簽名。但另一方面，它們又說：寫上類型簽名好處多多。

我覺得這兩個(gè)說法是熊掌和魚，不能兼得。它們這樣說，有虛假廣告的嫌疑。

也不能這么說。許多時(shí)候做快速原型開發(fā)的時(shí)候，完全可以不寫類型而盡量依賴自動(dòng)推導(dǎo)。這就好像 Perl 的詞法變量，在你寫一些一次性腳本的時(shí)候完全可以不用，但在做工程性開發(fā)的時(shí)候最好還是盡量用

個(gè)人覺得還是應(yīng)該寫上簽名。解釋器或編譯器其實(shí)并不輕信我們的簽名，它還會(huì)用自動(dòng)推導(dǎo)來核對。我覺得這才是自動(dòng)類型推導(dǎo)真正有意義的地方。

這只是一方面，類型還可以起到文檔的作用，Haskell 的許多函數(shù)，你只要看它的類型，往往就能猜到它的語義，更不要說能了解它的用法了。

win_hate

關(guān)于自動(dòng)推導(dǎo)，資料上是這樣寫的

1. First, every well-typed expression is guaranteed to have a unique principal type(explained below)，

2. the principal type can be inferred automatically.

An expression's or function's principal type is the least general type that, intuitively, "contains all instances of the expression". For example, the principal type of head is [a]->a, not ->a.

這樣看來，如果我把簽名都寫上，編譯器是不是就不需要類型推導(dǎo)了？只要按我給出的簽名檢驗(yàn)是否沖突就可以了？

win_hate

>> 這只是一方面，類型還可以起到文檔的作用，Haskell 的許多函數(shù)，你只要看它的類型，往往就能猜到它的語義，更不要說能了解它的用法了。


是有這個(gè)作用。

MMMIX

原帖由 win_hate 于 2009-3-15 18:55 發(fā)表
關(guān)于自動(dòng)推導(dǎo)，資料上是這樣寫的



這樣看來，如果我把簽名都寫上，編譯器是不是就不需要類型推導(dǎo)了？只要按我給出的簽名檢驗(yàn)是否沖突就可以了？

它不推導(dǎo)怎么知道你有沒有寫對？

win_hate

原帖由 MMMIX 于 2009-3-15 18:59 發(fā)表

它不推導(dǎo)怎么知道你有沒有寫對？

比如 c 語言，一個(gè)表達(dá)式最終也能算出一個(gè)類型來，但這個(gè)應(yīng)該不是我們所說的“自動(dòng)類型推導(dǎo)”。

我覺得部分類型沒有給出的前提下才需要  infer.

tfyt1234

原帖由 win_hate 于 2009-3-15 18:55 發(fā)表
這樣看來，如果我把簽名都寫上，編譯器是不是就不需要類型推導(dǎo)了？只要按我給出的簽名檢驗(yàn)是否沖突就可以了？

檢查有無沖突叫type checking類型檢查，和type inference類型推導(dǎo)有很大差別
強(qiáng)大的type inference可以簡化編寫工作量，更重要的是，有力支持了polymorphic type機(jī)制

MMMIX

原帖由 win_hate 于 2009-3-15 19:02 發(fā)表


比如 c 語言，一個(gè)表達(dá)式最終也能算出一個(gè)類型來，但這個(gè)應(yīng)該不是我們所說的“自動(dòng)類型推導(dǎo)”。

嗯，這個(gè)是檢查類型是否匹配。

我覺得部分類型沒有給出的前提下才需要  infer.

沒錯(cuò)。若是全部的類型信息都給出了，只需要檢查是否匹配就可以了。