剖面導向函數語言之模組化狀態處理
剖面所進行的運算通常都牽涉到狀態處理。在純粹函數式語言中，利用monadification技術添加狀態處理的剖面必須對程式碼做橫跨性的修改。本論文提出讓純粹函數式語言的剖面具備狀態處理功能，而使用者不須額外改寫既有程式碼的方法。我們提出了簡單直接的狀態操作語言機制，可以用來開發狀態處理剖面；並且設計出系統化的monadification規則，讓編譯器自動對程式碼做轉換，並維持惰性求值的特性。 === Computations performed in many typical aspects involve side effects. In a purely functional setti...
| Main Authors: | , |
|---|---|
| Language: | 英文 |
| Published: |
國立政治大學
|
| Subjects: | |
| Online Access: | http://thesis.lib.nccu.edu.tw/cgi-bin/cdrfb3/gsweb.cgi?o=dstdcdr&i=sid=%22G0095753004%22. |