Lenses for the Mere Mortal: PureScript Edition
Lenses for the Mere Mortal: PureScript Edition
About the Book
Three things about this book make it a novelty among lens tutorials:
- Explanations are driven not by lens types, but by the types of data you want to use lenses on. Consider Maps. Most lens tutorials don't cover them. (I'm not sure I've found any that do.) Once you've learned lenses well, it's relatively easy to deduce how to use them with Maps. But if you try to use lenses on Maps before then, you will suffer. Which seems wrong, given how common Maps are in code. So this book covers them in chapter 2.
- I wrote the book as I was learning lenses and applying them to my own code. That gives me a better idea of what novices will stumble over (Maps! Error messages!) and allows me to introduce topics in something like a "just in time" order. To the best of my ability, the book represents what I'd have wished my learning experience to be: answers coming just as I was getting puzzled, answers that don't overwhelm me with completeness or detail I'm unprepared for, and so on. This isn't the first time I've written in this style, and it turns out that my ideal learning journey works for other people.
- It's a book. That means it can take its time. It doesn't have to leave things for you to figure out from API documentation.
There are other differences, but I'll leave them to the Introduction.
The book uses a PureScript version of lenses because I happened to be learning PureScript when I got the idea of writing it. I hope it's still useful for people wanting to learn the Haskell version. (The two APIs are very similar, though the underlying implementations differ in some important ways.)
I assume only shallow knowledge of PureScript, roughly equivalent to the three post-Elm introductory chapters in An Outsider's Guide to Statically Typed Functional Programming.
About the Author
Table of Contents
-
-
Introduction
- Optics are useful
- Why are optics notoriously confusing?
- This book’s approach
- Why PureScript?
- Getting ready
- About the cover
- Your problems and questions
- Change log
- Thanks for the help
-
1. Tuples and records (lenses for product types)
- 1.1 Tuples
- 1.2 Records
- 1.3 Composing lenses
- 1.4 Composition exercise
- 1.5 Types
- 1.6 Composition exercise two
- 1.7 Lens laws
- 1.8 Law exercise
- 1.9 What now?
-
2. Maps (
Atlenses)- 2.1 A custom implementation
-
2.2
At.at - 2.3 Types
-
2.4 Composing
Atlenses - 2.5 What now?
-
3. Optics and refactoring (optional)
- 3.1 Architecture
- 3.2 Optics
- 3.3 Exercise
- 3.4 My solution
- 3.5 What now?
-
4. Operating on whole collections (
Traversal, part 1)- 4.1 Working with all the values
-
4.2
view - 4.3 Focusing on individual values
-
4.4
preview - 4.5 Composing traversals
- 4.6 A sort of base class
- 4.7 What now?
-
5. Single elements in arrays and fixed-size maps (
Index)-
5.1
ix,at, andMap -
5.2
Array - 5.3 Types
- 5.4 Composition
- 5.5 What now?
-
5.1
-
6. Sum types (prisms)
- 6.1 Using prisms
- 6.2 Making a prism
- 6.3 Prism laws
- 6.4 Value constructors with more than one argument
- 6.5 Types
- 6.6 Composing prisms
- 6.7 Prisms aren’t just for sum types (exercises)
- 6.8 What now?
- 7. Miscellaneous other optics
-
Introduction
-
Appendices
-
A cheat sheet for the optic types
-
Lens -
class At -
Traversal -
class Index -
Prism
-
-
A catalog of compositions
-
Lens <<<optic -
Prism<<<optic -
Traversal<<<optic -
Atlens<<<optic -
Indexoptic<<<optic
-
-
Identifying an optic from type spewage
-
I see
Choice -
I see
Strongalone -
I see
StrongandChoice -
I see
StrongandAt -
I see
IndexandWander -
I see
Wanderalone
-
I see
-
A cheat sheet for the optic types
- Notes
The Leanpub 60-day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms
80% Royalties. Earn $16 on a $20 book.
We pay 80% royalties. That's not a typo: you earn $16 on a $20 sale. If we sell 5000 non-refunded copies of your book or course for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earned$12,046,757writing, publishing and selling on Leanpub.
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) and EPUB (for phones, tablets and 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
OpenIntro Statistics
David Diez, Christopher Barr, Mine Cetinkaya-Rundel, and OpenIntroA complete foundation for Statistics, also serving as a foundation for Data Science.
Leanpub revenue supports OpenIntro (US-based nonprofit) so we can provide free desk copies to teachers interested in using OpenIntro Statistics in the classroom and expand the project to support free textbooks in other subjects.
More resources: openintro.org.
- #2
Talking with Tech Leads
Patrick KuaA book for Tech Leads, from Tech Leads. Discover how more than 35 Tech Leads find the delicate balance between the technical and non-technical worlds. Discover the challenges a Tech Lead faces and how to overcome them. You may be surprised by the lessons they have to share. - #3
The Rails 7 Way
Obie Fernandez, Lucas Dohmen, and Tom Henrik AadlandThe Rails™ 7 Way is the comprehensive, authoritative reference guide for professionals delivering production-quality code using modern Ruby on Rails. It illuminates the entire Rails 7 API, its most powerful idioms, design approaches, and libraries. Building on the previous editions, this edition has been heavily refactored and updated.
- #4
Mastering STM32 - Second Edition
Carmine NovielloWith more than 1200 microcontrollers, STM32 is probably the most complete ARM Cortex-M platform on the market. This book aims to be the most complete guide around introducing the reader to this exciting MCU portfolio from ST Microelectronics and its official CubeHAL and STM32CubeIDE development environment.
- #5
JavaScript for hackers
Gareth HeyesLearn how to find interesting behaviour and flaws in JavaScript. Reading this book you will find the latest and greatest techniques for hacking JavaScript and generating XSS payloads. Includes ways to construct JavaScript using only +[]()! characters. Never heard of DOM Clobbering? This book has all the details.
- #6
Functional Event-Driven Architecture
Gabriel VolpeExplore the event-driven architecture (EDA) in a purely functional way. Learn to design and develop distributed systems that scale. Identify common design patterns in such systems.
Take your functional programming skills to the next level by joining me in developing a distributed system powered by Apache Pulsar and Fs2 streams, all in Scala 3!
- #7
Build Your Own Redis with C/C++
build-your-own.org- Why build Redis? Two topics to learn: network programming and data structures.
- Why from scratch? A quote from Richard Feynman: "What I cannot create, I do not understand".
- Why C? C is widely used for system programming and infrastructure software.
- Why a book? The real Redis is complex, this book breaks down the essense into easy-to-digest steps.
- #8
Machine Learning Q and AI
Sebastian Raschka, PhDHave you recently completed a machine learning or deep learning course and wondered what to learn next? With 30 questions and answers on key concepts in machine learning and AI, this book provides bite-sized bits of knowledge for your journey to becoming a machine learning expert.
- #9
Implementing DDD, CQRS and Event Sourcing
Alex LawrenceLearn how to implement DDD, CQRS and Event Sourcing. Understand the theory and put it into practice with JavaScript and Node.js. Utilize an extensive source code bundle and an interactive execution feature for a hands-on experience.
- #10
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.
Top Bundles
- #1
Software Architecture
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... - #2
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... - #3
Modern C++ Collection
3 Books
Get All about Modern C++C++ Standard Library, including C++20Concurrency with Modern C++, including C++20C++20Each book has about 200 complete code examples. Updates are included. When I update one of the books, you immediately get the updated bundle. You can expect significant updates to each new C++ standard (C++23, C++26, .. ) and also... - #4
Pattern-Oriented Memory Forensics and Malware Detection
2 Books
This training bundle for security engineers and researchers, malware and memory forensics analysts includes two accelerated training courses for Windows memory dump analysis using WinDbg. It is also useful for technical support and escalation engineers who analyze memory dumps from complex software environments and need to check for possible... - #5
1500 QUIZ COMMENTATI (3 libri)
3 Books
Tre libri dei QUIZ MMG Commentati al prezzo di DUE! I QUIZ dei concorsi ufficiali di Medicina Generale relativi agli anni: 2000-2001-2003-2012-2013-2014-2015-2016-2017-2018-2019-2020-2021 +100 inediti Raccolti in unico bundle per aiutarvi nello studio e nella preparazione al concorso. All'interno di ogni libro i quiz sono stati suddivisi per... - #6
Practical FP in Scala + Functional event-driven architecture
2 Books
Practical FP in Scala (A hands-on approach) & Functional event-driven architecture, aka FEDA, (Powered by Scala 3), together as a bundle! The content of PFP in Scala is a requirement to understand FEDA so why not take advantage of this bundle!? - #9
Growing Agile: The Complete Coach's Guide
7 Books
Growing Agile: Coach's Guide Series This bundle provides a collection of training and workshop plans for a variety of agile topics. The series is aimed at agile coaches, trainers and ScrumMasters who often find themselves needing to help teams understand agile concepts. Each book in the series provides the plans, slides, handouts and activity... - #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!
