基於 Python 型別提示檢查不可變性;Checking Immutability using Python Type Hints

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 博碩士論文 > Item 987654321/93351

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/93351

题名:	基於 Python 型別提示檢查不可變性;Checking Immutability using Python Type Hints
作者:	林右展;Lin, You-Zhan
贡献者:	資訊工程學系
关键词:	不可變性;型別提示;靜態分析;Python;Immutability;Type Hints;Static Analysis;Python
日期:	2023-07-28
上传时间:	2024-09-19 16:55:20 (UTC+8)
出版者:	國立中央大學
摘要:	程式語言在不可變性的支援對程式開發流程相當有幫助，特別是對指令式的物件導向程式語言來說。透過不可變性限制物件的狀態，不僅能更容易理解程式的執行流程，若使用適當，更能減少程式開發過程中尋找與去除程式錯誤的時間。對於不可變性支援程度較低的程式語言，過去有許多研究在該語言的型別或注釋系統上加入新的型別或注釋，藉此標記變數、函式、類別等結構的不可變性。 Python 雖已支援部分不可變類別的建立方式與不可變型別提示的使用，但仍存在一些使用上的不容易。因此本研究在 Python 中加入一個新的型別提示 Frozen。透過將 Frozen 標記在變數、參數、屬性等名稱上，便可以使用靜態檢查工具來檢測這些變數是否被用於修改其對應的物件。這樣做可以提升程式的正確性、加速錯誤的排除，從而使程式開發流程更加順暢。;Language supports for immutability in programming languages can benefit the software development process, especially in imperative object-oriented programming languages. By enforcing immutability and restricting the modification of objects′ states, it becomes easier to understand the program′s execution flow. When used appropriately, immutability can also reduce the time spent on finding and fixing program errors. For programming languages with limited support for immutability, there has been research in the past on introducing new types or annotations within the language′s type or annotation system. These additions aim to mark the immutability of variables, functions, classes, and other structures. Although Python already supports the creation of immutable classes and the type hints of partial immutable types, there are still some challenges in practice that make it less straightforward. Therefore, this research introduces a new type hint in Python called "Frozen." By applying the "Frozen" to variables, parameters, attributes, and other identifiers, static analysis tools can be used to detect if these variables are used to modify their corresponding objects. This approach makes the software development process smoother.
显示于类别:	[資訊工程研究所] 博碩士論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	7	检视/开启

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing

数据加载中.....