Comments by "Martin Maat" (@MartinMaat) on "The Hardest Problem in Type Theory - Computerphile" video.

  1. I am an experienced and fairly accomplished computer programmer. I know my languages and type systems. So when I saw the video I got interested. I watched it start to finish, trying to map what is told to programming languages, trying to imagine a practical application. I failed to do so. Now I am wondering: is that because there is not enough substance to what was told, was it not explained well enough or am I just not smart enough?
    1
  2.  @JivanPal  Ah, so it has nothing to do with data types or class types, co-variance or contra-variance. I assumed it did considering the name of the channel and the term "type". Different domains, that explains why I could not relate the two. That and not being a mathematician.
    1