Edward Kmett - Undecidable Superclasses

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

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

  • @allancto
    @allancto 8 ปีที่แล้ว

    Looks very nice, but where is the repo? Seems not github.com/ekmett/hask.

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

      He was showing this file: gist.github.com/ekmett/b26363fc0f38777a637d

  • @unregisteredhypercam2427
    @unregisteredhypercam2427 8 ปีที่แล้ว

    I wish people would let him talk. Seems like he didn't get through his presentation at all...

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

    I hope you are planning to donate your brain to science, Mr. Kmett (only after you're done with it, of course). Likewise for anyone who can actually understand this stuff.

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

      +Daniel Pratt I think nobody actually understands this stuff. :-D Only Edward.

    • @nrolland
      @nrolland 8 ปีที่แล้ว

      +Denis Shevchenko well the problem is that it's category theory illustrated. so if you dont know the category theory behind, I dont see how one can understand. it's really good on the other hand to have that connection being made, it's a real delight !

    • @DenisShevchenko
      @DenisShevchenko 8 ปีที่แล้ว +3

      +Existsforall You're right. Fortunately, we can program in Haskell without category theory...

    • @unregisteredhypercam2427
      @unregisteredhypercam2427 8 ปีที่แล้ว

      +Denis Shevchenko As someone who made the jump from category theory to haskell, I don't understand how that is even possible.

    • @nrolland
      @nrolland 8 ปีที่แล้ว

      +Unregistered Hypercam 2 we need more of that connection :) CT removes removes cruff, its nice to be able to make the correspondance with haskell ...