Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones

[@madelinesydney92]

SPJ is an incredibly gifted speaker. I'm the #1 SPJ fangirl. The crowd oughta be screaming "INLINING!!!" along with him.

[@Yetipfote]

14:48 "I just wanted to build a sweaty compiler." - Simon Peyton Jones, 2016

[@ietsization]

I watched this video last year, after just completing a master level course about functional programming. I should've been as ready as I ever would be to understand this and I didn't. Yet, exactly one year later it suddenly all clicks! Feeling very satisfied.

[@Yetipfote]

"Immutability changes everything" me, an intellectual with a sense of humor: *exhales audibly through my nose*

[@Ryan-xq3kl]

translation for regular people: "not being able to change anything changes everything"

[@_Huperniketes_]

Whoever had the bright idea to zoom the camera out at 56:24…your camera direction is not appreciated.

[@neilbedwell7763]

added Simon Peyton Jones to the list of my heroes

[@JonathanGonzalez-mx5bp]

SIMON PEYTON JONES!

[@MrPopinjay]

Is there a version where we can see the slides more clearly?

[@Rozenkrantzz]

On the website linked in the description, if you click on Simon's picture, you can find a PDF of the slides

[@charliebevis7719]

They are here: www.erlang-factory.com/static/upload/media/1488806820775921euc2016intothecoresimonpeytonjones.pdf

[@madgenvideos7589]

8:08 it's like he's about to say "BUT IT AIN'T RAGHT"

[@arhyth]

this makes a lot of sense and i see this too in Elixir where much of the language desugars to a very minimal API surface. it’s one of the things that make elixir a joy to program in.

[@shamrockfrost1856]

I was actually thinking of making a (toy) language that targets core!

[@syedabdul4515]

Not able to see the slides

[@Rozenkrantzz]

On the website linked in the description, if you click on Simon's picture, you can find a PDF of the slides

[@charliebevis7719]

www.erlang-factory.com/static/upload/media/1488806820775921euc2016intothecoresimonpeytonjones.pdf

[@heteroskedasticity99]

Slides please.

[@wliaputs]

He's very enthusiastic and I like it

[@ratfuk9340]

Erlang doesn't have null? Why?

[@glialcell6455]

Wait isn't LLVM also a statically typed IR?

[@hannessteffenhagen61]

It is, although it is far less useful in LLVM IR because there most things are statements, for which it is much easier to do transformations that are wrong but type correct than in Core where most things are expressions.

[@changshengwu6795]

How I wish the slides could look bigger

[@Dus3826]

Enthusiastic presentation, thank you ! Otherwise I think it would have become boring for me :)

[@florianwicher]

He *always* uses Comic Sans for his presentations. What a troll 😄

[@Yetipfote]

he definitely is not a front-end developer ^^

[@AlexRodriguez-gb9ez]

Simon Peyton Jones right next to Isaac Newton

[@CherishedMe]

What's a lambda?

[@Yetipfote]

a function. ps: that's not the whole story but sufficient for a start.

[@zloidooraque0]

inlining ftw.. storm in a glass

[@bocckoka]

I just use this to not kill myself when writing MATLAB instead of heroin.

[@FlameHue]

How the fuck do I do manual zoom to see the slides if I'm watching this on KZbin. Get it right already, it's 2016, and you people are programmers.

[@kadieinanna]

I use the Accessibility > Zoom in OSX for videos like this and for CodeMesh talks. Unfortunately, the resolution is too low on this video to work at the end.

[@AndrewConsroe]

Not sure if the example is identical at the end, but this paper covers it in sections 4.2 & 4.3 www.microsoft.com/en-us/research/wp-content/uploads/2016/04/sequent-calculus-icfp16.pdf

[@charliebevis7719]

slides here: www.erlang-factory.com/static/upload/media/1488806820775921euc2016intothecoresimonpeytonjones.pdf

[@cpadude123]

it's wild how one of the smartest guys in programming has some of the worst taste in slide aesthetics.