Lenses for the Mere Mortal: PureScript Edition
Free!
Minimum price
$10.00
Suggested price

Lenses for the Mere Mortal: PureScript Edition

  • 788

    Readers

  • English

  • PDF

  • EPUB

  • MOBI

  • WEB

About the Book

Three things about this book make it a novelty among lens tutorials:

  1. 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.
  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.
  3. 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

Brian Marick
Brian Marick

Brian Marick was first exposed to the functional style in 1983, when the accident of knowing a little bit of Lisp tossed him into the job of technical lead on a project to port Common Lisp to a now-defunct computer architecture. That led him to a reading spree about all things Lisp, the language from which the functional style arguably originated. He’s been a language geek ever since, despite making most of his living as a software process consultant. He’s the author of the popular Midje testing library for Clojure and has written books (Everyday Scripting with Ruby, Programming Cocoa with Ruby, and Functional Programming for the Object-Oriented Programmer). The two books in progress are An Outsider's Guide to Statically Typed Functional Programming and Lenses for the Mere Mortal.

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 (At lenses)
      • 2.1 A custom implementation
      • 2.2 At.at
      • 2.3 Types
      • 2.4 Composing At lenses
      • 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, and Map
      • 5.2 Array
      • 5.3 Types
      • 5.4 Composition
      • 5.5 What now?
    • 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
  • 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
      • At lens <<< optic
      • Index optic <<< optic
    • Identifying an optic from type spewage
      • I see Choice
      • I see Strong alone
      • I see Strong and Choice
      • I see Strong and At
      • I see Index and Wander
      • I see Wander alone
  • Notes

Authors have earned$10,085,459writing, 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

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

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

Write and Publish on Leanpub

You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses! Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks. Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. It really is that easy.

Learn more about writing on Leanpub

Top Books

  1. #1

    C++20

    Rainer Grimm

    C++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.

    The book is almost daily updated. These incremental updates ease my interaction with the proofreaders.

  2. #2

    C++ Best Practices

    Jason Turner

    Level up your C++, get the tools working for you, eliminate common problems, and move on to more exciting things!

  3. #3

    Atomic Kotlin

    Bruce Eckel and Svetlana Isakova

    For both beginning and experienced programmers! From the author of the multi-award-winning Thinking in C++ and Thinking in Java together with a member of the Kotlin language team comes a book that breaks the concepts into small, easy-to-digest "atoms," along with exercises supported by hints and solutions directly inside IntelliJ IDEA!

  4. #4

    Sockets and Pipes

    Type Classes

    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.

  5. #5

    Introducing EventStorming

    Alberto Brandolini

    The deepest tutorial and explanation about EventStorming, straight from the inventor.

  6. #6

    Composing Software

    Eric Elliott

    All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It's time for that to change.

  7. #7

    Cloud Strategy

    Gregor Hohpe

    “Strategy is the difference between making a wish and making it come true.” A successful migration to the cloud can transform your organization, but it shouldn’t be driven by wishes. This book tells you how to develop a sound strategy guided by frameworks and decision models without being overly abstract nor getting lost in product details.

  8. #8

    node-opcua by example

    Etienne Rossignon

    Get the best out of node-opcua through a set of documented examples by the author himself that will allow you to create stunning OPCUA Servers or Clients.

  9. #9

    Functional Design and Architecture

    Alexander Granin

    Software Design in Functional Programming, Design Patterns and Practices, Methodologies and Application Architectures. How to build real software in Haskell with less efforts and low risks. The first complete source of knowledge.

  10. #10

    Ansible for DevOps

    Jeff Geerling

    Ansible 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. #1

    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...
  2. #2

    Django for Beginners/APIs/Professionals

    3 Books

  3. #3

    PowerShell

    3 Books

    Buy every PowerShell book from Adam Bertram at a 20% discount!
  4. #4

    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...
  5. #5

    Cisco CCNA 200-301 Complet

    4 Books

    Ce lot comprend les quatre volumes du guide préparation à l'examen de certification Cisco CCNA 200-301.
  6. #6

    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...
  7. #7

    Linux Administration Complet

    4 Books

    Ce lot comprend les quatre volumes du Guide Linux Administration :Linux Administration, Volume 1, Administration fondamentale : Guide pratique de préparation aux examens de certification LPIC 1, Linux Essentials, RHCSA et LFCS. Administration fondamentale. Introduction à Linux. Le Shell. Traitement du texte. Arborescence de fichiers. Sécurité...
  8. #8

    Software Architecture and Beautiful APIs

    2 Books

    There is no better way to learn how to design good APIs than to look at many existing examples, complementing the Software Architecture theory on API design.
  9. #9

    Learn Git, Bash, and Terraform the Hard Way

    3 Books

    Learn Git, Bash and Terraform using the Hard Way method.These technologies are essential tools in the DevOps armoury. These books walk you through their features and subtleties in a simple, gradual way that reinforces learning rather than baffling you with theory.
  10. #10

    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...

Publish Early, Publish Often

  • Path
  • There are many paths, but the one you're on right now on Leanpub is:
  • › Lenses

Leanpub is copyright © 2010-2021 Ruboss Technology Corp. All rights reserved.