請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/20797
標題: | 關於ML類型推論的研究 A study on ML type inference |
作者: | Timothy van Bremen 江楓 |
指導教授: | 陳偉松(Tony Tan) |
關鍵字: | 類型論,程式語言,參數多型, Type theory,programming languages,polymorphism, |
出版年 : | 2017 |
學位: | 碩士 |
摘要: | 程序員寫沒有錯誤的程序是很重要的,特別是在諸如航空,醫療和核能等關鍵應用程序中。實現此目的的一個方法是通過使用靜態類型檢查技術在編譯時自動捕獲可能的錯誤。在本論文中,我們研究了編程語言ML以及它的類型系統。我們介紹Haskell的三種類型檢查算法的實現,並且還考慮了Hindley-Milner類型系統的新修改版本,並證明了與之相關的一些結果。 It is important that programmers write bug-free programs, especially in mission-critical applications such as aviation, healthcare and nuclear power. One way to accomplish this is through automatically catching possible errors at compile-time through the use of static type checking techniques. In this thesis, we study the programming language ML and its corresponding type system. We introduce Haskell implementations of three type-checking algorithms, and also consider a new modified version of the Hindley-Milner type system and prove some results related to it. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/20797 |
DOI: | 10.6342/NTU201701490 |
全文授權: | 未授權 |
顯示於系所單位: | 資訊工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-106-1.pdf 目前未授權公開取用 | 863.77 kB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。