i think it's in keeping with the Haskell spirit to have a really interesting lecture with horrifically bad production standards.

I'm sad to learn that I'll never invent a time machine, because if I ever will have were to, the first thing I would will have had done is go back in time and choke out the camera operator, point the camera at the screen, and not touch it again for the entire lecture.

Everyone's complaining about the camerawork, but to me, the far more jarring problem is the microphone constantly cutting out in blips.

He is so passionate, I love this kind of people. I would love to discuss various things with them for years. I have met only one person who is this passionate in real life.

I came for the lecture topic, but I stayed for the comments about the horrific camera work...

My own personal hell is this camera man recording anything I want to watch.

Even on a bad recording I could watch Simon Peyton Jones lecture every day

those close ups around 1:17:00 though

Plot twist: the camera man is automated software written by Simon on the way to the lecture.

I like how the camera seems to capture exactly where I would look if I were in class. Seriously.

To me the camera operator is pretty good. I like how s/he quickly switches between relevant things. I like it this way.

It's so depressing that such an important lecture hasn't been recorded properly. :(

SPJ is a superb communicator - so it's incredibly frustrating that the camera person completely ruined this talk.

1:16:50 what a dramatic shot!

This is such a good lecture. The students are very perceptive, and lots of deeply rooted tradeoffs in language design get explored here. Peyton Jones' speculations regarding parametric polymorhpism in newer languages is specially interesting considering developements in Rust, Swift and other modern languages. They are clealy inspired by these considerations

Feels like Gordon Ramsey teaching type system

If you have an equalizer installed you can drop 14khz to 0, and significantly reduce ~1k and ~4k, the buzzing and hissing will go away but be warned it'll sound _pretty_ muffled. still better than all these artifacts IMO

Great lecture, I revisit it every now and then. Also that camera work is stunning! LOL i'm not even kidding!

SPJ, what a mensch.

Maybe I'm pulling it from nowhere but 16:34 was an amazing Garbage-collected Object-oriented Language joke lmao

The camera work has made this impossible to watch unfortunately...

I just noticed at 42:14 he's not wearing shoes....

Anyone know if he gave this lecture somewhere else with a better recording?

7:30, I'm already lost at the filter function, when he asks if everything's clear, I'm like "wtf?".

running a startup on haskell. imagine the next airbnb uses haskell

just brilliant !

Such a shame about the audio quality and camerawork

Awesome talk but had headache with the camera moments.

"What could be easier than that??" 😱💕

Camera work needs a bit of work, too much movement. Otherwise A+ stuff

This doesn't seem to type check: instance Typeable a => Typeable [a] where typeRep _ = TR "List" [ typeRep (undefined :: a) ]

Stephen Hawking is cameraman

I almost vomit from camera moves 😒😒

At 34:45 Simon talks about the coolest example of type classes. A similar, but simpler example is, I think, the Eq class with an instance for Bool functions, i.e. functions from Bool: {-# LANGUAGE FlexibleInstances #-} instance Eq a => Eq (Bool -> a) where f == g = f True == g True && f False == g False Now you can compare (a subset of) functions! *Main> not . not == id True or *Main> not == const False False But why is this cool? Because this Eq instance allows equality check of any number of Bool arguments, e.g.: *Main> (&&) == (||) False Sometimes it is even useful: *main> let xor a b = nand (nand a c) (nand b c) where c=nand a b *Main> (/=) == xor True But be careful, with too many arguments it will be slow. In the worst case it evaluates every combinations, i.e. 2^n tests

Who knew that the Monty Python lumberjack also wrote a programming language.

Why is he barefoot?

Why he is barefoot?

Wow,there's a girl in the class !

1:17:11 WTF

1:16:45 wtf

for the love of ... stop moving the camera!

Fucking static noise