https://blog.michal.pawlik.dev/tags/monocle/ Recent content in Monocle on Dev notes Hugo en-us Tue, 11 Jul 2023 00:00:00 +0000 https://blog.michal.pawlik.dev/posts/scala/optics/ Tue, 11 Jul 2023 00:00:00 +0000 https://blog.michal.pawlik.dev/posts/scala/optics/ <p>Throughout this blog I&rsquo;ve mentioned the benefits of having a strong type system a multiple times. I&rsquo;ve covered <a href="https://blog.michal.pawlik.dev/posts/scala/refined/">type refinement for value validation</a>, <a href="https://blog.michal.pawlik.dev/posts/scala/scala-derivations/">beginner friendly</a> and <a href="https://blog.michal.pawlik.dev/posts/scala/scala-derivations-show/">advanced approach</a> to type-class derivation or type-safe approach to <a href="https://blog.michal.pawlik.dev/posts/scala/pass4s-basics/">messaging with pass4s</a>.</p> <p>The possibilities are endless though, so today I want to introduce another topic, that beginners in languages like Scala or Haskell might not be aware of.</p> <p>In this post I&rsquo;ll talk about <strong>Optics</strong>.</p> <h2 id="meet-optics">Meet Optics</h2> <p>Optics is an umbrella term for accessing and transforming immutable data. We&rsquo;ll explore the world of optics with the great library <a href="https://www.optics.dev/Monocle/">Monocle</a>. Before we get started, let&rsquo;s set the stage and with some problem we can refer to.</p>