本本书屋

 本本书屋 logo

Functional Programming and Input/Output 2024 pdf epub mobi 電子書 下載

Functional Programming and Input/Output
☆☆☆☆☆
簡體網頁||繁體網頁

Functional Programming and Input/Output pdf epub mobi 著者簡介

Functional Programming and Input/Output pdf epub mobi 圖書描述

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 2024 pdf epub mobi 電子書 下載

Functional Programming and Input/Output pdf epub mobi 圖書目錄

下載链接在页面底部


點擊這裡下載
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-10-04

Functional Programming and Input/Output 2024 pdf epub mobi 電子書 下載

Functional Programming and Input/Output 2024 pdf epub mobi 電子書 下載

Functional Programming and Input/Output 2024 pdf epub mobi 電子書 下載


喜欢 Functional Programming and Input/Output 電子書 的读者还喜欢


Functional Programming and Input/Output pdf epub mobi 讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價
出版者:Cambridge University Press
作者:Andrew D. Gordon
出品人:
頁數:172
譯者:
出版時間:2008-7-31
價格:USD 44.99
裝幀:Paperback
isbn號碼:9780521070072
叢書系列:

圖書標籤: Functional  函數式  計算機科學  Programming  計算機  編程  程序設計  and   

Functional Programming and Input/Output 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Functional Programming and Input/Output pdf epub mobi 用戶評價

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

Functional Programming and Input/Output 2024 pdf epub mobi 電子書 下載

分享鏈接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接


相關圖書



服務條款
聯繫我們
關於我們
隱私政策

本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等

友情鏈接

中國國家圖書館
國立台灣圖書館
美國國會圖書館
開放圖書館 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有