Simply excellent. 22 minutes so dense of knowledge!
@danielandrespintoalvarado3546
2 жыл бұрын
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
@TankorSmash
Жыл бұрын
Thanks for putting this out there, very easy to follow! Plenty of terms to look up now, thanks!
@siquod
2 жыл бұрын
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.
@EtienneBatise
3 жыл бұрын
This way of explaining things really clicks with me. Thanks a lot for that. please do more 🙏
@deadvatniks
2 жыл бұрын
I though you've been referring to that mechanical keyboard
@tobzdaman619
4 ай бұрын
By far the best video, thank you :)
@robotpotato6892
5 ай бұрын
Good explanation, thank you.
@designernasser
2 жыл бұрын
Good video, one little note, the keyboard is a bit loud :)
@daniilchalov1491
2 жыл бұрын
It's kinda advantage
@shiorinyan
2 жыл бұрын
Hey, your videos are lovely, Looking forward to more :D
@andrearossato4087
5 ай бұрын
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!
@devxeq159
Жыл бұрын
This video is fantastic! Do you still make Haskell content?
@maxreuv
2 жыл бұрын
Good start, thank you, keep going!
@librarygangster9108
2 жыл бұрын
wow this was very useful, thank you very much !
@kid-vf4lu
2 жыл бұрын
Great video, great teacher! If you create a patreon, I will contribute
@JohnCinnamond
2 жыл бұрын
This is great -- thank you!
@maheerali531
2 жыл бұрын
Key please make up something practical using haskell. Maybe a backend with db connection.
@chiroptical
3 жыл бұрын
Awesome video!
@michaelkohlhaas4427
Жыл бұрын
Is there more to come from you? Nice video! Is there a gist of the code?
@aBamieh
2 жыл бұрын
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
@thehaskellgoose9525
2 жыл бұрын
Hey thanks! I'll definitely consider that for the next video.
@radhikaiyer8012
2 жыл бұрын
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.
@DanDart
Ай бұрын
Hecc yes. Part 2?
@darcyharding5809
2 жыл бұрын
Thanks!
@akshaynaik4888
2 жыл бұрын
Nice video. Keyboard ?
@marcmigge
2 жыл бұрын
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.
@halogen64
2 жыл бұрын
It is modifying `myTuple`, which is independent of Foo
@marcmigge
2 жыл бұрын
@@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?
Пікірлер: 34