Oops, forgot my references<br><br>[1] Original post: <a href="http://www.twanvl.nl/blog/haskell/cps-functional-references">http://www.twanvl.nl/blog/haskell/cps-functional-references</a><br>[2] polymorphic update support: <a href="http://r6.ca/blog/20120623T104901Z.html">http://r6.ca/blog/20120623T104901Z.html</a><br>
[3] another post about these: <a href="http://comonad.com/reader/2012/mirrored-lenses/">http://comonad.com/reader/2012/mirrored-lenses/</a><br><br><div class="gmail_quote">On Fri, Aug 3, 2012 at 1:53 PM, Ryan Ingram <span dir="ltr">&lt;<a href="mailto:ryani.spam@gmail.com" target="_blank">ryani.spam@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><br><div class="gmail_quote"><div class="im">On Fri, Aug 3, 2012 at 10:11 AM, Jonathan Geddes <span dir="ltr">&lt;<a href="mailto:geddes.jonathan@gmail.com" target="_blank">geddes.jonathan@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The nice part about the SEC functions is that<div>they compose as regular functions. Lenses are</div><div>
super powerful in that they form a category.</div><div>Unfortunately using categories other than</div><div>functions feels a tad unwieldy because you</div><div>have to hide something from prelude and then</div><div>import Category. (A bit like exceptions,</div>


<div>currently).</div></blockquote></div><div><br>FWIW this is also true for van Laarhoven lenses[1]<br><br>type FTLens a b = forall f. Functor f =&gt; (b -&gt; f b) -&gt; (a -&gt; f a)<br><br>newtype Const a b = Const { unConst :: a } deriving Functor<br>

<br>get :: FTLens a b -&gt; a -&gt; b<br>get ft = unConst . ft Const<br><br>{-<br>ft :: forall f. (b -&gt; f b) -&gt; (a -&gt; f a)<br>Const :: forall x. b -&gt; Const b x<br>ft Const :: a -&gt; Const b a<br>-}<br><br>newtype Id a = Id { unId :: a } deriving Functor<br>

<br>set :: FTLens a b -&gt; b -&gt; a -&gt; a<br>set ft b = unId . ft (\_ -&gt; Id b)<br><br>modify :: FTLens a b -&gt; (b -&gt; b) -&gt; a -&gt; a<br>modify ft k = unId . ft (Id . k)<br><br>-- example<br>fstLens :: FTLens (a,b) a<br>

fstLens aToFa (a,b) = (,b) &lt;$&gt; aToFa a<br><br>-- and you get<br>compose :: FTLens b c -&gt; FTLens a b -&gt; FTLens a c<br>compose = (.)<br><br>identity :: FTLens a a<br>identity = id<br><br><br><br><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><div class="h5">
<div><br></div><div>If you like the look of &quot;set&quot; with lenses,</div><div>you could define a helper function to use</div><div>with SEC updaters.</div><div><br></div><div>&gt;set :: ((b -&gt; a) -&gt; c) -&gt; a -&gt; c</div>


<div>&gt;set sec = sec . const</div><div>&gt;</div><div>&gt;--and then use it like so:</div><div>&gt;setPersonsSalary :: Salary -&gt; Person -&gt; Person</div><div>&gt;setPersonsSalary salary = set personsSalary&#39; salary</div>


<div><br></div><div>With it you can use an updater as a setter.</div><div>I&#39;d like to reiterate one of finer points of</div><div>the original proposal.</div><div><div><br></div><div>&gt;The compiler could disallow using old-style</div>


<div>&gt;update syntax for fields whose SEC update</div><div>&gt;function is not in scope, giving us</div><div>&gt;fine-grained control over access and update.</div><div>&gt;On the other hand we currently have to create</div>


<div>&gt;new functions to achieve this (exporting the</div><div>&gt;getter means exporting the ability to update</div></div><div>&gt;[using update syntax] as well, currently).</div><div><br></div><div>And now back to lenses:</div>

<div>
<div><br></div><div>&gt;it is really convenient how lenses let you compose the getter</div><div>&gt;and setter together.</div><div><br></div></div><div>I don&#39;t recall too many cases where having the</div><div>getter and setter and modifier all in one</div>


<div>place was terribly useful. Could anyone give</div><div>me an example? But again, where that is</div><div>useful, a lens can be created from a getter</div><div>and a SEC updater.</div><div><br></div><div>Thoughts?</div>

<span><font color="#888888">
<div><br></div><div>--Jonathan</div>
</font></span><br></div></div><div class="im">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></div></blockquote></div><br>
</blockquote></div><br>