開始式系統理論書

我想研究類型系統理論。我沒有類型系統理論的背景知識，所以我多多少少是一名初學者（除了我讀過的關於這個主題的文章以及因爲使用的符號而感到恐懼的文章）。有什麼好書能讓我開始？我在看Benjamin C. Pierce的「類型和編程語言」一書。這對初學者來說適合嗎？還是太難了？如果太難，我還可以用什麼來開始我的學習？開始式系統理論書

感謝，

乾杯，亞歷克斯

來源

2010-11-11 Alex

我覺得類型和編程語言將是一個不錯的選擇。

當我第一次讀到TaPL時，我也是類型理論的初學者，我也沒有覺得它太難理解。

您會在您看到的文章中看到很多符號，但符號會在使用前解釋，所以它不應該是一個問題。一旦你知道這意味着什麼沒有任何令人恐懼的記號。

對於這些事情，情況往往如此。有時候我認爲大部分數學和正規計算機科學都是爲簡單的事物發明可怕的符號，所以沒有受過教育的羣衆並沒有意識到這是多麼容易。

來源

2010-11-11 22:54:52 sepp2k

發明符號不需要在10頁紙上寫出相同的多詞短語100次，從而將它吹到20或30頁。例如，'≺'符號的意思是「是一個子類型」，一個長度爲16個字符的短語。這不是關於默默無聞，而是關於如何能夠傳遞信息。 – Novelocrat 2010-11-11 23:35:38

@Novelocrat：我大多是在開玩笑。 – sepp2k 2010-11-12 00:32:07

謝謝sepp2k。開玩笑地說，我會試着說相同的:)。我會買TaPL並開始閱讀。 – Alex 2010-11-12 05:50:53

TAPL是一門很難理解並且面向畢業生（也可能是博士生候選人）的書。這當然不適合初學者。我會推薦一本像約翰C.米切爾的「Concepts in Programming Languages」這樣的書籍，旨在讓大學生首先熟悉基礎知識。

來源

2010-11-12 19:58:02 hishadow

謝謝，但我只是初學者和類型系統理論:)我不是新的編程語言，我已經實現了我公平的口譯員份額。這只是我想更多地理解事物的理論方面。 – Alex 2010-11-13 15:41:46

開始式系統理論書

回答

相關問題