SLIDE 1
Real World Haskell.
Real World Haskell. It's 1994. It's 1994. There's just one - - PowerPoint PPT Presentation
Real World Haskell. It's 1994. It's 1994. There's just one - - PowerPoint PPT Presentation
Real World Haskell. It's 1994. It's 1994. There's just one There's just one song on the radio. song on the radio. Love is all around, Love is all around, by Wet Wet Wet. by Wet Wet Wet. And I have a And I have a headache.
SLIDE 2
SLIDE 3
There's just one There's just one song on the radio. song on the radio. “ “Love is all around,” Love is all around,” by Wet Wet Wet. by Wet Wet Wet.
SLIDE 4
And I have a And I have a headache. headache.
SLIDE 5
I'm in Glasgow.
SLIDE 6
I'm learning to hack on GHC.
SLIDE 7
I'm learning Go. I'm learning Go.
SLIDE 8
It's a great It's a great crowd. crowd.
SLIDE 9
I make lots of friends. I make lots of friends.
SLIDE 10
One is named One is named Jim. Jim.
SLIDE 11
So on this particular So on this particular day in 1994... day in 1994... ...why ...why else else do I have do I have a headache? a headache?
SLIDE 12
Well, we tend to go out. Well, we tend to go out.
SLIDE 13
After a hard night out, Jim goes home.
SLIDE 14
He dreams. He dreams.
SLIDE 15
Happily, this is no nightmare. Happily, this is no nightmare. In fact... In fact...
SLIDE 16
...he meets a ...he meets a beautiful beautiful woman. woman.
SLIDE 17
In his dream, In his dream, they hit it off. they hit it off.
SLIDE 18
She even gives him her number.
SLIDE 19
When he When he wakes... wakes...
SLIDE 20
...it's the most. ...it's the most. Amazing. Amazing. Thing. Thing.
SLIDE 21
He He remembers remembers her her number number! !
SLIDE 22
...so he writes it down...
SLIDE 23
...and brings it in... ...and brings it in...
SLIDE 24
...and ...and asks asks me: me:
SLIDE 25
“ “What What should should I do I do with this with this number?” number?”
SLIDE 26
“Wait a sec,” I tell him.
SLIDE 27
“I know this number.”
SLIDE 28
“ “It's the delivery number... It's the delivery number...
SLIDE 29
...for the local pizzeria.” ...for the local pizzeria.”
SLIDE 30
Why tell this story?
SLIDE 31
Community.
SLIDE 32
Most people Most people like to like to belong. belong.
SLIDE 33
I loved the Haskell community...
SLIDE 34
...but ...but I left I left anyway. anyway.
SLIDE 35
Over a decade Over a decade passed. passed.
SLIDE 36
When I returned, the When I returned, the community was still community was still beautiful beautiful... ...
SLIDE 37
...and serenely inward-facing. ...and serenely inward-facing.
SLIDE 38
How did How did you you learn learn Haskell? Haskell?
SLIDE 39
Here's what I did: Here's what I did: I read dozens of papers. I read dozens of papers. I studied thousands of I studied thousands of lines of code. lines of code.
SLIDE 40
I wrote I wrote lots lots of
- f
throwaway throwaway code. code.
SLIDE 41
But mostly, I Googled... But mostly, I Googled... ...and read... ...and read...
SLIDE 42
...and Googled... ...and Googled... ...and read... ...and read...
SLIDE 43
...and, well, ...and, well, you get the idea. you get the idea.
SLIDE 44
I delighted in the process. I delighted in the process. But it wasn't very efficient. But it wasn't very efficient.
SLIDE 45
So I decided to So I decided to write a book. write a book.
“ “Make the job Make the job easier for others,” easier for others,” I told myself. I told myself.
SLIDE 46
Oh, and that book? Oh, and that book? It's how I did the bulk of It's how I did the bulk of my learning. my learning.
SLIDE 47
It took: It took: 1.5 years. 1.5 years.
SLIDE 48
It took: It took: 1.5 years. 1.5 years. 3 writers. 3 writers.
SLIDE 49
It took: It took: 1.5 years. 1.5 years. 3 writers. 3 writers. 710 pages. 710 pages.
SLIDE 50
It took: It took: 1.5 years. 1.5 years. 3 writers. 3 writers. 710 pages. 710 pages. 800+ reviewers. 800+ reviewers.
SLIDE 51
It took: It took: 1.5 years. 1.5 years. 3 writers. 3 writers. 710 pages. 710 pages. 800+ reviewers. 800+ reviewers. 7,500+ comments. 7,500+ comments.
SLIDE 52
Now it's your turn. Srsly.
SLIDE 53
What is the Haskell What is the Haskell community good at? community good at?
SLIDE 54
Research? We've got it! Research? We've got it!
SLIDE 55
Outreach? Outreach?
SLIDE 56
That's less That's less clear to me. clear to me.
SLIDE 57
You don't need to You don't need to write a 700-page tome. write a 700-page tome.
SLIDE 58
You don't need to You don't need to describe new research. describe new research.
(In fact, I think it's best you don't.) (In fact, I think it's best you don't.)
SLIDE 59
You need: You need:
Tenacity. Tenacity. An idea. An idea. Tenacity. Tenacity. Explanatory skill. Explanatory skill. Tenacity. Tenacity.
SLIDE 60
I even have I even have some ideas some ideas for you. for you. All nice and handy. All nice and handy.
SLIDE 61
- 1. Writing and Tuning Fast
- 1. Writing and Tuning Fast
Haskell Code. Haskell Code.
SLIDE 62
- 2. Parallel Haskell in 24
- 2. Parallel Haskell in 24
Hours. Hours.
SLIDE 63
- 3. High-Assurance Haskell.
- 3. High-Assurance Haskell.
SLIDE 64
- 4. Modeling in Haskell.
- 4. Modeling in Haskell.
SLIDE 65
- 5. Real World Abstract
- 5. Real World Abstract
Algebra for Categorical Algebra for Categorical Dummies. Dummies.
SLIDE 66
- 6. Complex Functional
- 6. Complex Functional
Applications. Applications.
SLIDE 67
- 7. Grow Your Own
- 7. Grow Your Own
Monads in the Basement, Monads in the Basement, Legally. Legally.
SLIDE 68
- 8. Concurrent
- 8. Concurrent
Networking Programming. Networking Programming.
SLIDE 69
- 9. Functional Pearls and
- 9. Functional Pearls and
Design Patterns. Design Patterns.
SLIDE 70
- 10. Secrets of the
- 10. Secrets of the
QuickCheck Wizards. QuickCheck Wizards.
SLIDE 71
Who should you be Who should you be writing for? writing for?
SLIDE 72
NOT THE PEOPLE NOT THE PEOPLE IN THIS ROOM. IN THIS ROOM.
SLIDE 73
Look to
- ther programming
communities.
SLIDE 74
If we don't talk If we don't talk to them, they to them, they won't simply won't simply come to us. come to us.
SLIDE 75
Who is this man? Who is this man?
Anthony Anthony Stafford Stafford Beer. Beer.
SLIDE 76
Beer was an influential Beer was an influential cybernetician. cybernetician.
Cybernetics: “The science of effective organization.” Cybernetics: “The science of effective organization.”
SLIDE 77
Cybersyn. Cybersyn.
Santiago, Santiago, Chile, Chile, 1970-1972. 1970-1972.
SLIDE 78
Cybersyn: Cybersyn: Centralised control of the Centralised control of the Chilean economy. Chilean economy.
SLIDE 79
A star network of telex machines running from A star network of telex machines running from factories to a control centre in Santiago. factories to a control centre in Santiago.
SLIDE 80
A Beer coinage: A Beer coinage: “ “POSIWID” POSIWID”
SLIDE 81
POSIWID: POSIWID: The purpose of a system The purpose of a system is what it does. is what it does.
SLIDE 82
Don't try to Don't try to understand a system understand a system from what from what its designers its designers say say it's for. it's for.
SLIDE 83
Start from Start from
- bserving
- bserving
what it what it actually actually does does. .
SLIDE 84
Beer had some... Beer had some...unusual unusual ideas. ideas.
SLIDE 85
But he managed to get But he managed to get them implemented. them implemented.
SLIDE 86
So, from the So, from the POSIWID POSIWID perspective: perspective: What does functional What does functional programming do? programming do?
SLIDE 87
I am not suggesting that we I am not suggesting that we should try to be like this. should try to be like this.
SLIDE 88
But our But our rhetoric rhetoric suggests that suggests that most of us do most of us do not want to be not want to be like this, like this, either. either.
SLIDE 89
Go write a book. Go write a book. Give a talk. Give a talk. Write a blog post. Write a blog post.
SLIDE 90