This book aims to be the comprehensive manual for type-level programming. It's about getting you from here to there---from a competent Haskell programmer to one who convinces the compiler to do their work for them.
Sockets and Pipes is not an introduction to Haskell; it is an introduction to writing software in Haskell. Using a handful of everyday Haskell libraries, this book walks through reading the HTTP specification and implementing it to create a web server.
An approachable, well-written, practice-oriented, academism-free guide into programming with types. How to build useful real-world type-level programs with low complexity and low risks.
A comprehensive example-driven guide to optics. Examples in Haskell, but adaptable to other languages. Become a data-manipulation wizard using optics to manipulate data! This book takes you from beginner to advanced using Lenses, Traversals, Prisms, and more!
Take a practical deep dive into modern Haskell development with GHC, Cabal, HLS and effect systems. Learn how the tools work under the hood, how they fit together and how to use them effectively in real production projects. Built for engineers who want to move beyond syntax and develop Haskell with confidence.
A master class on the fundamentals and principles of functional programming. It contains 20 programming challenges with detailed solutions and 44 quizzes with answers and explanations. Moreover, 84 diagrams graphically illustrate how concepts and techniques work. Two real-world use cases show how to apply functional programming in practice.
Grab your compiler and follow along as the authors develop and gradually refine a short Haskell program. This extremely approachable guide explains topics like case expressions, sum and product types, type constructors, typeclasses, and newtype coercion as they are motivated by the example code, with exercises to reinforce your understanding.
A how-to field guide on building leak-free abstractions and algebraically designing real-world applications.
Build robust web applications and REST APIs with Haskell and Servant. This practical guide takes you from core Haskell concepts to type-safe API design, PostgreSQL, JWT authentication, testing and deployment. Along the way, you’ll build a complete versioned API using patterns that make real-world Servant projects reliable and maintainable.
A direct route from the basics to real-world Haskell. Master functions, types, and effects, structure real projects, and ship a working blog engine. Along the way, you learn design principles that make you a stronger engineer in any language.
Sind Sie begeistert von Haskell, wissen aber nicht, wo Sie anfangen sollen? Sind Sie von den technischen Vorteilen begeistert, machen sich aber Sorgen über unbekannte Fallstricke? Dieses Buch hat alles, was Sie brauchen.
Programozás. Matematika. Másképp. Tisztán. Funkcionálisan. Magyarul. Röviden.
How do I match against a regex? How do I copy a file and handle any exception? These are just a couple of examples of common tasks which require libraries in Haskell. Everybody knows which one you should use... right? This book walks you through the main "standard" libraries in the ecosystem, with lots of examples to get you started.
In functional programming, at the heart of input/output, failure, state, logic, and much more, lies a powerful abstraction called monad. This book provides a journey from the very first concepts, to the myriad of monads available to programmers, down to the categorical foundations.
Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970's retro-computing devices like arcade machines and home computers.