Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1) 

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.

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

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

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

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.

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

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

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

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

those close ups around 1:17:00 though

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, what a mensch.

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

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

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

Feels like Gordon Ramsey teaching type system

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

1:16:50 what a dramatic shot!

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

just brilliant !

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

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

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

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

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

Such a shame about the audio quality and camerawork

Awesome talk but had headache with the camera moments.

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

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

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.

I almost vomit from camera moves 😒😒

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

Stephen Hawking is cameraman

1:17:11 WTF

Why is he barefoot?

Why he is barefoot?

1:16:45 wtf

Wow,there's a girl in the class !

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

Fucking static noise