Optics should be used, but they should be used with awareness. Optics allow us to read and modify parts of different data structures, such as fields of records, variants of unions, or elements of containers.
This course is not a generic overview of optics — instead, we’ll focus on why optics are fantastic, when to use them, when not to use them, and how to use them in the production code.
Most people either fear and avoid them or love them so much that they use them for everything. We’re going to cover the most common ways of using optics:
- Use optics to work with simple records (bad idea).
- Use (generic) lenses to work with simple and nested records.
- Use optics with specific data and libraries (e.g. lens-aeson, amazonka).
- Use optics here and there for complex data and deeply nested records.
This course will review optics, cover the most popular encodings, the problems optics solve, naming conventions, concrete libraries, and techniques. We’ll also learn how to use optics to work with JSON. But we’ll not discuss who will win in a fight: Joker from profunctors or Twan van Laarhoven.
This course is for people who:
- want to actually start using optics;
- want to introduce optics to their production code;
- want to understand how to choose an optic library;
- want to find an ergonomic way to deal with Haskell records;
- or want to find their comfort zone of using optics.
This course is not for people who:
- want another optics overview;
- want another theoretical explanation on how to build an optic library;
- want to use and understand fancy operators;
- or want to use optics for everything.
