研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援;Developing Programming Support for the Immutability Check on User-Defined Typed Objects in Dynamically Typed Languages

NCUIR > College of Electrical Engineering & Computer Science > Department of Computer Science and information Engineering > Research Project > Item 987654321/91231

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/91231

Title:	研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援;Developing Programming Support for the Immutability Check on User-Defined Typed Objects in Dynamically Typed Languages
Authors:	莊永裕
Contributors:	國立中央大學資訊工程學系
Keywords:	程式碼分析;漸進型別;型別提示;抽象解譯;程式語言結構;code analysis;gradual typing;type hint;abstract interpretation;language construct
Date:	2023-07-17
Issue Date:	2023-07-18 14:35:31 (UTC+8)
Publisher:	國家科學及技術委員會
Abstract:	本計畫之目的在於提供Python這類動態型別語言的程式設計協助，尤其是非程式設計專業的特定領域專家，也能在運用各種函式庫時得以早期發現程式裡可能出現的問題，而不是將錯誤留到讀取大量資料的執行期間，受困於難以理解的錯誤訊息。本研究預期能對廣泛使用這類語言與特定領域函式庫的科學計算、資料科學、機器學習等領域有所助益，在混合不同程式設計風格與多種函式庫使用時，也能了解程式裡資料之間的影響與對應，有效率地撰寫出品質良好的程式碼，節省執行試誤與除錯的時間。由於這類語言經常作為工具用於研究與業界，也期望本研究除了增進程式語言研究的進展，也能有助於運用該類語言的學術社群進行研究，並促進程式設計實務上的應用。
Relation:	財團法人國家實驗研究院科技政策研究與資訊中心
Appears in Collections:	[Department of Computer Science and information Engineering] Research Project

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	46	View/Open

社群 sharing

Loading...