一種動態(tài)擴充語言TPython的設(shè)計與實現(xiàn).pdf

1、動態(tài)類型語言已經(jīng)被廣泛地應(yīng)用于實踐應(yīng)用之中。Python是一種典型的動態(tài)類型語言，具有語法簡單，開發(fā)迅速，使用靈活的優(yōu)勢。但是由于Python語言不具備類型聲明語法，也沒有提供靜態(tài)類型檢查，導(dǎo)致它在應(yīng)用、開發(fā)效率和維護上都存在許多不便之處。 為此，一些學(xué)者進行了深入的研究，他們提出了一些改進的建議，也給出了一些解決方案，但是由于缺乏類型聲明帶來的問題較多，各學(xué)者所側(cè)重解決的內(nèi)容也不盡相同，因此在引入類型聲明和提供類型檢查方面，當(dāng)

2、前的研究成果都沒有很好地解決這個問題。 論文針對當(dāng)前研究中的不足，對Python語言進行擴展，設(shè)計并實現(xiàn)了一種TPython語言。TPython語言對Python缺乏類型聲明的問題做出了改進，在有效保留動態(tài)語言優(yōu)勢的基礎(chǔ)上提供了靜態(tài)語言的特征，是一種結(jié)合動態(tài)性和靜態(tài)性的語言。TPython語言支持對符號進行可選類型聲明，支持包括類型檢查在內(nèi)的靜態(tài)檢查，在理論上和實踐上都較好地解決了Python缺乏類型聲明所導(dǎo)致的問題。相對于動態(tài)

3、語言，TPython語言能夠提高程序的可讀性和可靠性，降低調(diào)試成本。相對于靜態(tài)語言，TPython語言又具有語法簡單，易于開發(fā)的優(yōu)勢。同時，TPython語言的設(shè)計和實現(xiàn)也為動態(tài)語言的發(fā)展提供了一條可選的道路。 論文的主要工作包括：（1）分析了Python語言的解釋器，對Python的解釋執(zhí)行過程及其實現(xiàn)原理進行了研究；（2）設(shè)計了TPython語言，主要包括對TPython語言的類型系統(tǒng)，類型聲明語法，類型推導(dǎo)算法和靜態(tài)檢查規(guī)