+Jacques Carette I only use slides for the first 10 minutes or so then I switch to live coding. While you can't get down to 10 minutes, you _can_ watch the whole presentation at double-speed. There is an option under the little 'gear' icon for varying the speed of the presentation.
+Jacques Carette The short slide deck of testimonials and opinions I use as an opener at the start is available here: drive.google.com/file/d/0ByK3AAy5ubqaMEJtcVlBbWd4LVU/view?usp=sharing
Lens looks a bit like a contravariant functor being used through an isomorphism. We've got a way to go from a -> s via other code, and that will also be able to go from b -> t iff we've got a Functor f, and we've got an 's' from an 'a' via other code, then we inject an a->f b in the pipeline that previously gave us an 's' so we get an 'f t'. Is there anything else to it?
Oh, the 's is to a as b is to t' is why we have the endofunctor! contramap assumes and requires a simple relationship, and Lens allows the equivalent thing when it might not be a simple relationship, is that right?
Great motivated intro to lens! Thanks Mr Kmett!
Are the slides available somewhere? I don't really want to sit through an hour video if I can read the the slides in 10-15 minutes!
+Jacques Carette I only use slides for the first 10 minutes or so then I switch to live coding.
While you can't get down to 10 minutes, you _can_ watch the whole presentation at double-speed. There is an option under the little 'gear' icon for varying the speed of the presentation.
+Jacques Carette The short slide deck of testimonials and opinions I use as an opener at the start is available here:
drive.google.com/file/d/0ByK3AAy5ubqaMEJtcVlBbWd4LVU/view?usp=sharing
Thanks. I guess I'll have to listen after all!
Only wanted to find that unreadable UML slide, but it's not here
The UML slide is from the hackage documentation for lens: hackage.haskell.org/package/lens
I'm so putting a ":!ghci %" shortcut in my .vimrc file.
Lens looks a bit like a contravariant functor being used through an isomorphism. We've got a way to go from a -> s via other code, and that will also be able to go from b -> t iff we've got a Functor f, and we've got an 's' from an 'a' via other code, then we inject an a->f b in the pipeline that previously gave us an 's' so we get an 'f t'.
Is there anything else to it?
Oh, the 's is to a as b is to t' is why we have the endofunctor! contramap assumes and requires a simple relationship, and Lens allows the equivalent thing when it might not be a simple relationship, is that right?