Haskell Lenses From Scratch

แชร์
ฝัง
  • เผยแพร่เมื่อ 6 ก.ย. 2024

ความคิดเห็น • 34

  • @enricomariadeangelis2130
    @enricomariadeangelis2130 3 หลายเดือนก่อน

    Simply excellent. 22 minutes so dense of knowledge!

  • @danielandrespintoalvarado3546
    @danielandrespintoalvarado3546 2 ปีที่แล้ว +5

    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

  • @siquod
    @siquod 2 ปีที่แล้ว +6

    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.

  • @TankorSmash
    @TankorSmash ปีที่แล้ว +2

    Thanks for putting this out there, very easy to follow! Plenty of terms to look up now, thanks!

  • @designernasser
    @designernasser 2 ปีที่แล้ว +7

    Good video, one little note, the keyboard is a bit loud :)

  • @tobzdaman619
    @tobzdaman619 3 หลายเดือนก่อน

    By far the best video, thank you :)

  • @EtienneBatise
    @EtienneBatise 2 ปีที่แล้ว +7

    This way of explaining things really clicks with me. Thanks a lot for that. please do more 🙏

    • @deadvatniks
      @deadvatniks 2 ปีที่แล้ว

      I though you've been referring to that mechanical keyboard

  • @robotpotato6892
    @robotpotato6892 4 หลายเดือนก่อน

    Good explanation, thank you.

  • @andrearossato4087
    @andrearossato4087 4 หลายเดือนก่อน

    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!

  • @shiorinyan
    @shiorinyan 2 ปีที่แล้ว +1

    Hey, your videos are lovely,
    Looking forward to more :D

  • @devxeq159
    @devxeq159 ปีที่แล้ว +1

    This video is fantastic! Do you still make Haskell content?

  • @aBamieh
    @aBamieh 2 ปีที่แล้ว +3

    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
      @thehaskellgoose9525  2 ปีที่แล้ว +1

      Hey thanks! I'll definitely consider that for the next video.

  • @DanDart
    @DanDart 9 วันที่ผ่านมา

    Hecc yes. Part 2?

  • @kid-vf4lu
    @kid-vf4lu 2 ปีที่แล้ว +1

    Great video, great teacher!
    If you create a patreon, I will contribute

  • @maxreuv
    @maxreuv 2 ปีที่แล้ว

    Good start, thank you, keep going!

  • @maheerali531
    @maheerali531 2 ปีที่แล้ว

    Key please make up something practical using haskell. Maybe a backend with db connection.

  • @radhikaiyer8012
    @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.

  • @michaelkohlhaas4427
    @michaelkohlhaas4427 ปีที่แล้ว

    Is there more to come from you? Nice video! Is there a gist of the code?

  • @librarygangster9108
    @librarygangster9108 2 ปีที่แล้ว

    wow this was very useful, thank you very much !

  • @chiroptical
    @chiroptical 2 ปีที่แล้ว

    Awesome video!

  • @marcmigge
    @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
      @halogen64 2 ปีที่แล้ว

      It is modifying `myTuple`, which is independent of Foo

    • @marcmigge
      @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?

  • @darcyharding5809
    @darcyharding5809 2 ปีที่แล้ว

    Thanks!

  • @JohnCinnamond
    @JohnCinnamond 2 ปีที่แล้ว

    This is great -- thank you!

  • @TimTeatro
    @TimTeatro 2 ปีที่แล้ว +1

    Thanks! Colorscheme?

    • @thehaskellgoose9525
      @thehaskellgoose9525  2 ปีที่แล้ว

      No problem! I'm using this: draculatheme.com/vim

    • @TimTeatro
      @TimTeatro 2 ปีที่แล้ว

      @@thehaskellgoose9525 Thanks!

  • @akshaynaik4888
    @akshaynaik4888 2 ปีที่แล้ว

    Nice video. Keyboard ?

  • @user-xu9zx9fd7n
    @user-xu9zx9fd7n 2 ปีที่แล้ว

    More videos