Taking a step-by-step tutorial approach to teaching you Scala, this exciting book introduces functional programming from the practitioner's perspective, and describes advanced language features that can make you a better, more productive developer. --
Taking a step-by-step tutorial approach to teaching you Scala, this exciting book introduces functional programming from the practitioner's perspective, and describes advanced language features that can make you a better, more productive developer. --
Explore and master modern JavaScript techniques with ES2015 in order to build large-scale web applications About This Book This course offers an expert's eye on the latest ES6 features and how these advanced tasks fit together in JavaScript as a whole Discover robust JavaScript …
Thoroughly updated to version 4.0, this book will help you learn the language and explore its new features, and is a great foundation for exploring functional-first programming and its role in the future of application development. --
Thoroughly updated to version 4.0, this book will help you learn the language and explore its new features, and is a great foundation for exploring functional-first programming and its role in the future of application development. --
Functional and Reactive Domain Modeling teaches you how to think of the domain model in terms of pure functions and how to compose them to build larger abstractions. About the Technology Traditional distributed applications won't cut it in the reactive world of microservices, fa…
Verified functional programming in Agda
by Stump, Aaron, Association for Computing Machinery
fromACM books
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. …
"Haskell, with its power to optimize the code and its high performance, is a natural candidate for high performance programming. It is especially well suited to stacking abstractions high with a relatively low performance cost. This book addresses the challenges of writing effic…
"Haskell, with its power to optimize the code and its high performance, is a natural candidate for high performance programming. It is especially well suited to stacking abstractions high with a relatively low performance cost. This book addresses the challenges of writing effic…