一種動(dòng)態(tài)擴(kuò)充語言TPython的設(shè)計(jì)與實(shí)現(xiàn).pdf

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

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

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