Functional Programming and Input/Output 在線電子書 圖書標籤: Functional 函數式 計算機科學 Programming 計算機 編程 程序設計 and
發表於2024-11-13
Functional Programming and Input/Output 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains, for the first time, operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He also develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's "applicative bisimulation." Graduate students and researchers will gain much from reading this book.
評分
評分
評分
評分
Functional Programming and Input/Output 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024