剖面所進行的運算通常都牽涉到狀態處理。在純粹函數式語言中，利用monadification技術添加狀態處理的剖面必須對程式碼做橫跨性的修改。本論文提出讓純粹函數式語言的剖面具備狀態處理功能，而使用者不須額外改寫既有程式碼的方法。我們提出了簡單直接的狀態操作語言機制，可以用來開發狀態處理剖面；並且設計出系統化的monadification規則，讓編譯器自動對程式碼做轉換，並維持惰性求值的特性。 / Computations performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lead to crosscutting changes. This thesis presents an approach to provide side-effecting aspects for purely lazy functional languages in a user transparent fashion. We propose a simple yet direct state manipulation construct for developing side-effecting aspects and devise a systematic monadification scheme to translate the woven code to a purely monadic style functional code. To maintain the lazy evaluation feature, the monad employed is extended with cache functionality.