>best-course-in-the-world good Well, best that we're aware of. It's a total accident and the friendly insistence of a nice Australian Haskeller (they're really

>best-course-in-the-world good Well, best that we're aware of. It's a total accident and the friendly insistence of a nice Australian Haskeller (they're really lovely people btw) that I even discovered it. I think a lot of the value of cis194 is also in who is teaching it. Yorgey has been at this for awhile and wrote the incredible typeclassopedia: https://wiki.haskell.org/Typeclassopedia https://wiki.haskell.org/Typeclassopedia which my coauthor and I are so fond of we had bound printed copies made. Then you had Richard Eisenberg teaching it in '14 - he's really good too. I took his GADTs workshop at Lambda Conf this weekend and it was phenomenal. Afraid I don't know anything about the current instructor. Do note that because of what the courses do and do not cover, the Spring '13 cis194 is what's recommended for independent learners despite some errata that have been noted. I would really love a chance to talk to several people from UPenn's CS department - a very impressive bunch.