Conor McBride revolutionizes type inference

The Hindley-Milner let-rule operates on the basis that if we keep on restricting our ambitions for the expressiveness of the types we want for our programs, we reach the point where types are stupid enough that even computers can guess them. What happens if we reverse the information flow? Ambition for type expressivity can become rewarding if it increases the computer's ability to guess the *program*. This possibility has not escaped notice, thus far, but neither has it taken hold as the key to a language design. Fortunately, Milner's idea to ensure necessary coincidences by unification works perfectly well when the information flow is turned around. So let us (and our languages) be mindful about what we already know and open to new possibilities. I'll try to put my finger on some blind spots and some faulty learning, the better to blunder more effectively.

Video: http://youtu.be/ad4BVmPni7A
Slides: http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/slides/Conor_McBride_-_Type_Inference_needs_Revolution.pdf

How can I upvote you?

>>2
I don't need your upvotes, I'm afloat in the warm tranquil sea of types, coinduction and moist, throbbing type holes.

Conor McBride

back to #haskell you fanboy faggot

>>4
Back to the stone age, you uneducated ignorant faggot.

Conor lunges forward while telling a joke: "When you get a type error in GHC you should think of that as Simon talking to you".

The haskell programmers in the audience chuckle sensibly, reassured that they recognize the name, and have seen GHC errors before.

>>1
So is Epigram the shit now?

>>7
he gave up on epigram years ago

>>8
Well what then? Because he has the faye madness and I'm curious.

Obviously he wants dependent types but he sounds like he's going off in a strange direction.

*-*,
,*\/|`| \
\' ಠ_ಠ '| *,
\ `| | |/ )
| |'| , /
|'| |, /
__|_|_|_|__
[___________]
| |
\ /
\ /
\_____/

check 'em

>>10
hey bro, if I print out your post and eat it, will I start tripping?

Making presentation slides by taking photos of one's notebook is... innovative.

>>13
artisanal hand-crafted witches brew, checked