3 ms·

Categories of Optics (2018)

• avmich 6y ago
  Note that "optics" here is in functional programming (or rather, category theory) sense, not in physics sense.
  • The_rationalist 6y ago
    E.g in Kotlin: https://arrow-kt.io/docs/0.10/optics/lens/ https://arrow-kt.io/docs/0.10/optics/lens/