{"product_id":"functional-programming-and-input-output-book-andrew-d-gordon-9780521070072","title":"Functional Programming and Input\/Output","description":"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 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 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'.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52135685259537,"sku":"NLS9780521070072","price":61.69,"currency_code":"USD","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52735515558161,"sku":"NIN9780521070072","price":53.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521070072.jpg?v=1786120841","url":"https:\/\/www.worldofbooks.com\/products\/functional-programming-and-input-output-book-andrew-d-gordon-9780521070072","provider":"World of Books ","version":"1.0","type":"link"}