Good explanation! But I don't think that's existential quantification. It's universal quantification. Existential quantification would be if the Functor instance would somehow be included in the data of the lens, but here it is a free parameter.
many thanks for this wonderful video. I was looking to include lenses in a project of mine and this was indeed very helpful. One thing, though: it is just me or lenses composition reminds more arrow composition than function's? I mean, I'd find more natural to write: set (_2 . barL) 10 myFoo then set (barL . _2) 10 myFoo hope you'll post some more!
Thanks for the content. Although it would be great if you dont use 'foo' 'bar' but rather a real concrete example. i found it slightly hard to follow along
Hi.. thanks for a the video. Can u use a real world example like say an address book instead of foo bar next time.. also a close up of code would be useful.
Simply excellent. 22 minutes so dense of knowledge!
That was a very clean introduction, really love how you present the ideas in a very easy to follow (and even easy to guess what's coming) way
Good explanation! But I don't think that's existential quantification. It's universal quantification. Existential quantification would be if the Functor instance would somehow be included in the data of the lens, but here it is a free parameter.
Thanks for putting this out there, very easy to follow! Plenty of terms to look up now, thanks!
Good video, one little note, the keyboard is a bit loud :)
It's kinda advantage
By far the best video, thank you :)
This way of explaining things really clicks with me. Thanks a lot for that. please do more 🙏
I though you've been referring to that mechanical keyboard
Good explanation, thank you.
many thanks for this wonderful video. I was looking to include lenses in a project of mine and this was indeed very helpful.
One thing, though: it is just me or lenses composition reminds more arrow composition than function's?
I mean, I'd find more natural to write:
set (_2 . barL) 10 myFoo
then
set (barL . _2) 10 myFoo
hope you'll post some more!
Hey, your videos are lovely,
Looking forward to more :D
This video is fantastic! Do you still make Haskell content?
Thanks for the content. Although it would be great if you dont use 'foo' 'bar' but rather a real concrete example. i found it slightly hard to follow along
Hey thanks! I'll definitely consider that for the next video.
Hecc yes. Part 2?
Great video, great teacher!
If you create a patreon, I will contribute
Good start, thank you, keep going!
Key please make up something practical using haskell. Maybe a backend with db connection.
Hi.. thanks for a the video. Can u use a real world example like say an address book instead of foo bar next time.. also a close up of code would be useful.
Is there more to come from you? Nice video! Is there a gist of the code?
wow this was very useful, thank you very much !
Awesome video!
Great video! In the final example is the (1, 'c') tuple still part of a Foo? It seems to me that the types do not match.
It is modifying `myTuple`, which is independent of Foo
@@halogen64 You are right, but myTuple also is of type (Int, Int). Don't I lose all the benefits of static typing if I implement lenses like this?
Thanks!
This is great -- thank you!
Thanks! Colorscheme?
No problem! I'm using this: draculatheme.com/vim
@@thehaskellgoose9525 Thanks!
Nice video. Keyboard ?
More videos