The Simple Haskell Handbook
The Simple Haskell Handbook
Learn how to build Haskell applications.
About the Book
This is the book I wish I had when learning Haskell.
There are a lot of great books out there that teach you the language – but not how to actually build applications with it.
I read many Haskell books. They're great to learn about types, currying, type classes, Functors, Applicatives, Monads… but then what? I felt lost. Many times I just wanted to give up because I couldn't see how I should apply everything that I have learned in a practical way.
It's hard to tell what's considered best practice in the Haskell world. And that makes it difficult to get proficient with the language. That's why this book focuses on Simple Haskell, a subset of the language that I find strikes the right balance between features and ease of use.
In this book, we'll build a Continuous Integration Server. Why such a project? I wanted something serious enough that could pose some real challenges while developing it. No point implementing yet another blog or todo-list or similar toy applications – you're not going to learn much from those.
A CI Server is interesting for a number of reasons. The domain isn't trivial which means we'll have to put some thought into coming up with the right model. The application will have to work with external systems such as Docker containers and Github webhooks so there's plenty of lessons to learn from there.
Here's a brief list of features that Quad CI (our very own CI server!) will support:
- sandboxed builds in Docker containers
- multi-node architecture with agents picking up jobs to work on
- http api to interact with the frontend and other nodes
- support for triggering builds with github webhooks
We'll get to build all that, from scratch!
Who is this book for?
This book won't teach you Haskell. I assume you have some understanding of the language, can solve basic exercises and know what IO actions are.
Instead, this book will teach you how to think about problems in a functional language. We won't get things right the first time, there's going to be a lot of refactoring. But that's why Haskell is so good right? Many people praise Haskell for its refactoring capabilities, but very few show precisely what refactoring Haskell code feels like. That's because you need a real project to experience that – you'll see many examples of it throughout the book.
This book is for people that want to move from theory to practice. There's plenty of material on learning the language but very little has been written on architecting applications and the thought process behind it.
Even if you don't plan on using Haskell in your day job, most of the lessons in this book will apply to other languages as well. Embracing Functional Programming will make you a better programmer, no matter the technology.
The full source code for the application is open-source and available on Github: https://github.com/alpacaaa/quad-ci
About the Author
Table of Contents
- Introduction
-
Part I
- Exploring the Domain
- All about the State Machine
- Talking to Docker
- Building JSON values
- Parsing JSON
- Starting a Container
- Services and Dependency injection
- Setting up tests
- Running builds
- Getting tests to fail
- Waiting for containers to exit
- Intermission: Docker module refactoring
- Getting the Container status from the Docker api
- Running real commands
- Sharing data between steps
- Testing the shared workspace
- Collecting logs: another State Machine
- Testing Log collection
- Pulling images
- Parsing pipelines as yaml
-
Part II
- Building the imperative shell
- Server and Agents
- Building the Agent
- Testing Server and Agents
- Storing Builds in memory with STM
- Sending updates from Agents back to the Server
- Triggering builds through webhooks
- Implementing the webhook endpoint
- Building the api for the web UI
- Fetching logs for a step
- Listing all builds
- Storing Commit information
- Adding a CLI
- Putting it all together
- Appendix
The Leanpub 45-day 100% Happiness Guarantee
Within 45 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms
Do Well. Do Good.
Authors have earned$10,462,200writing, publishing and selling on Leanpub, earning 80% royalties while saving up to 25 million pounds of CO2 and up to 46,000 trees.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers), EPUB (for phones and tablets) and MOBI (for Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
Top Books
- #1
Functional Programming Made Easier
Charles ScalfaniA Functional Programming book from beginner to advanced without skipping a single step along the way.
In my 40 years of programming, I've felt that programming books always let me down, especially Functional Programming books. So, I wrote the book I wish I had 5 years ago.
Functional Programming will never be easy, but it can be easier.
- #2
Rector - The Power of Automated Refactoring
Matthias Noback and Tomas VotrubaLearn how to automatically and continuously upgrade and improve your PHP code base
- #3
CCIE SP v5.0
Łukasz Bromirski, Piotr Jablonski, and Nicholas RussoAre you striving to prepare to and pass CCIE SP lab exam? Take the opportunity and get this workbook! With the attached initial cfg files you will prepare yourself for the CCIE SP exam as well as learn SP technologies applicable to all kinds of today modern networks! This workbook covers blueprint topics and provides challenging examples.
- #4
Atomic Kotlin
Bruce Eckel and Svetlana IsakovaFor both beginning and experienced programmers! From the author of the multi-award-winning Thinking in C++ and Thinking in Java and a Kotlin team member comes a book that breaks concepts into small, easy-to-digest "atoms," along with exercises supported by hints and solutions directly inside IntelliJ IDEA! Full support at www.AtomicKotlin.com.
- #5
Continuous Delivery Pipelines
Dave FarleyThis practical handbook provides a step-by-step guide for you to get the best continuous delivery pipeline for your software.
- #6
CCIE Service Provider Version 4 Written and Lab Exam Comprehensive Guide
Nicholas RussoThe service provider landscape has changed rapidly over the past several years. Networking vendors are continuing to propose new standards, techniques, and procedures for overcoming new challenges while concurrently reducing costs and delivering new services. Cisco has recently updated the CCIE Service Provider track to reflect these changes; this book represents the author's personal journey in achieving that certification.
- #7
The Hundred-Page Machine Learning Book
Andriy BurkovEverything you really need to know in Machine Learning in a hundred pages.
- #8
Ansible for DevOps
Jeff GeerlingAnsible is a simple, but powerful, server and configuration management tool. Learn to use Ansible effectively, whether you manage one server—or thousands.
- #9
R Programming for Data Science
Roger D. PengThis book brings the fundamentals of R programming to you, using the same material developed as part of the industry-leading Johns Hopkins Data Science Specialization. The skills taught in this book will lay the foundation for you to begin your journey learning data science. Printed copies of this book are available through Lulu.
- #10
Introducing EventStorming
Alberto BrandoliniThe deepest tutorial and explanation about EventStorming, straight from the inventor.
- #11
The Book of TameFlow
Steve TendonDo you need a high performance enterprise governance approach improving management, execution and delivery while dealing with multiple projects/products, events, stakeholders and teams? Giving you better bottom line results, faster time to market, less work, better predictability, happier employees, and delighted clients? Then learn about TameFlow!
- #12
Hands-On Quantum Machine Learning With Python
Frank ZickertYou're interested in quantum computing and machine learning...
But you don't know how to get started? Let me help.
Hands-On Quantum Machine Learning With Python is your comprehensive guide to get started with Quantum Machine Learning - the use of quantum computing for computation of machine learning algorithms.
- #13
Practical FP in Scala: A hands-on approach
Gabriel VolpeA practical book aimed for those familiar with functional programming in Scala who are yet not confident about architecting an application from scratch.
Together, we will develop a purely functional application using the best libraries in the Cats ecosystem, while learning about design patterns and best practices.
- #14
Deep Learning with PyTorch Step-by-Step
Daniel Voigt GodoyIn 2019, I published a PyTorch tutorial on Towards Data Science and I was amazed by the reaction from the readers! Their feedback motivated me to write this book to help beginners start their journey into Deep Learning and PyTorch. I hope you enjoy reading this book as much as I enjoy writing it.
- #15
Technical leadership and the balance with agility
Simon BrownA developer-friendly, practical and pragmatic guide to lightweight software architecture, technical leadership and the balance with agility.
- #16
Visualise, document and explore your software architecture
Simon BrownA short guide to visualising, documenting and exploring your software architecture.
- #17
The Simple Haskell Handbook
Marco SampellegriniA project-driven approach to practical Haskell development. Start from zero lines of code and finish with a working CI Server. Step by step. One type error at a time.
- #18
C++20
Rainer GrimmC++20 is the next big C++ standard after C++11. As C++11 did it, C++20 changes the way we program modern C++. This change is, in particular, due to the big four of C++20: ranges, coroutines, concepts, and modules.
- #19
Ansible for Kubernetes
Jeff GeerlingAnsible is a powerful infrastructure automation tool. Kubernetes is a powerful application deployment platform. Learn how to use these tools to automate massively-scalable, highly-available infrastructure.
- #20
Advanced Web Application Architecture
Matthias NobackThe missing manual for making your web applications future-proof
Top Bundles
- #1
CCIE Service Provider Ultimate Study Bundle
2 Books
Piotr Jablonski, Lukasz Bromirski, and Nick Russo have joined forces to deliver the only CCIE Service Provider training resource you'll ever need. This bundle contains a detailed and challenging collection of workbook labs, plus an extensively detailed technical reference guide. All of us have earned the CCIE Service Provider certification... - #2
Software Architecture for Developers: Volumes 1 & 2 - Technical leadership and communication
2 Books
"Software Architecture for Developers" is a practical and pragmatic guide to modern, lightweight software architecture, specifically aimed at developers. You'll learn:The essence of software architecture.Why the software architecture role should include coding, coaching and collaboration.The things that you really need to think about before... - #3
All the Books of The Medical Futurist
6 Books
We put together the most popular books from The Medical Futurist to provide a clear picture about the major trends shaping the future of medicine and healthcare. Digital health technologies, artificial intelligence, the future of 20 medical specialties, big pharma, data privacy, digital health investments and how technology giants such as Amazon... - #6
9 Books-Bundle: Shut Up and Code!
9 Books
"Shut up and code." Laughter in the audience. The hacker had just plugged in his notebook and started sharing his screen to present his super-smart Python script. "Shut up and code" The letters written in a white literal coding font on black background was the hackers' home screen background mantra. At the time, I was a first-year computer... - #9
Development and Deployment of Multiplayer Online Games, Part ARCH. Architecture (Vol. I-III)
3 Books
What's the Big Idea? The idea behind this book is to summarize the body of knowledge that already exists on multiplayer games but is not available in one single place.And quite a fewof the issues discussed within this series (planned as three nine volumes ~300 pages each), while known in the industry, have not been published at all (except for... - #10
Mastering Containers
2 Books
Docker and Kubernetes are taking the world by storm! These books will get you up-to-speed fast! Docker Deep Dive is over 400 pages long, and covers all objectives on the Docker Certified Associate exam.The Kubernetes Book includes everything you need to get up and running with Kubernetes!
