Optics Blog Series

Article 1

• NestedUpdateProblem: The problem with nested updates of immutable data

./gradlew :run -PmainClass=org.higherkindedj.article1.problem.NestedUpdateProblem

• OpticsSolution: How Optics help solve this

./gradlew :run -PmainClass=org.higherkindedj.article1.solution.OpticsSolution

Article 2

• LensDemo: Basic lens operations and composition

./gradlew :run -PmainClass=org.higherkindedj.article2.demo.LensDemo

• PrismDemo: Prism operations and type-safe downcasting

./gradlew :run -PmainClass=org.higherkindedj.article2.demo.PrismDemo

• TraversalDemo: List traversals and filtering

./gradlew :run -PmainClass=org.higherkindedj.article2.demo.TraversalDemo

• CompositionDemo: Deep path composition for nested updates

./gradlew :run -PmainClass=org.higherkindedj.article2.demo.CompositionDemo

• ExpressionPreviewDemo: Preview of the expression language from Article 3

./gradlew :run -PmainClass=org.higherkindedj.article2.demo.ExpressionPreviewDemo

Article 3

• ExprDemo: Expression AST and Focus DSL

./gradlew :run -PmainClass=org.higherkindedj.article3.demo.ExprDemo

• OptimiserDemo: Demonstrates expression optimisation

./gradlew :run -PmainClass=org.higherkindedj.article3.demo.OptimiserDemo

Article 4

• Article4Demo: Runs all Article 4 demos

./gradlew :run -PmainClass=org.higherkindedj.article4.demo.Article4Demo

• TraversalDemo: Traversals for expression trees

./gradlew :run -PmainClass=org.higherkindedj.article4.demo.TraversalDemo

• OptimiserDemo: Expression optimisation using traversals

./gradlew :run -PmainClass=org.higherkindedj.article4.demo.OptimiserDemo

Article 5

• Article5Demo: Runs all Article 5 demos

./gradlew :run -PmainClass=org.higherkindedj.article5.demo.Article5Demo

• EffectPathDemo: The Effect Path API (MaybePath, EitherPath, ValidationPath)

./gradlew :run -PmainClass=org.higherkindedj.article5.demo.EffectPathDemo

• TypeCheckerDemo: Type checking with error accumulation using Validated

./gradlew :run -PmainClass=org.higherkindedj.article5.demo.TypeCheckerDemo

• InterpreterDemo: Expression interpretation using the State monad

./gradlew :run -PmainClass=org.higherkindedj.article5.demo.InterpreterDemo

• EffectPolymorphicDemo: Effect-polymorphic optics with modifyF

./gradlew :run -PmainClass=org.higherkindedj.article5.demo.EffectPolymorphicDemo

• VTaskPathDemo: VTaskPath for virtual thread-based concurrency

./gradlew :run -PmainClass=org.higherkindedj.article5.demo.VTaskPathDemo

• ParallelTypeCheckerDemo: Parallel type checking using VTask and Scope

./gradlew :run -PmainClass=org.higherkindedj.article5.demo.ParallelTypeCheckerDemo

Article 6

• Article6Demo: Complete pipeline demo — parsing, type checking, optimisation, interpretation, and parallel execution

./gradlew :run -PmainClass=org.higherkindedj.article6.demo.Article6Demo