1
'İsteğe bağlı' bir van Laarhoven temsili var mı
Birçok optik türü van Laarhoven temsiline sahiptir. Örneğin, a Lenstipi Lens s t a b şu şekilde temsil edilebilir: Functor f => (a -> f b) -> s -> f t Benzer şekilde, a Traversal, aşağıdakiler için Functorkısıtlamayı değiştirerek benzer bir şekilde temsil edilebilir Applicative: Applicative f => (a -> …