SlideShare a Scribd company logo
1 of 33
Download to read offline
We're Doing it All Wrong
Paul Phillips
paulp@improving.org

Source: as every single one of you already knows, xkcd.

Saturday, October 19, 13
Credentials

Saturday, October 19, 13
The Winding Stairway
• Five years on scala
• Rooting for scala/typesafe
• But I quit a dream job...
• ...because I lost faith
Saturday, October 19, 13
Um, PNW Scala
• I don't say scala is a bad choice relative to
today's plausible alternatives

• I do say that scala has issues which leave
me in doubt as to its future

• Some of them cannot be addressed
• And others will not be addressed

Saturday, October 19, 13
This Talk in a Nutshell
The nutshell I sought

Saturday, October 19, 13

The nutshell I found
"We're Doing it All Wrong"
• I thought I meant it hyperbolically
• I found it was almost literally true
• So this talk is hardly a taste
• It's a thin line between vision and
megalomania: you decide

Saturday, October 19, 13
A Token Nutshell
"Plans are useless, but planning is indispensible."
-- Dwight D. Eisenhower
"Modification is undesirable, but modifiability is paramount."
-- me
If it isn't straightforward to modify, it will never be any good.
It will never be fast.
It will never be correct.
And it will eventually be replaced by something modifiable.
...after consuming as many hours as you feed it.

Saturday, October 19, 13
Billions of Bugs
• Many, perhaps most, bugs arise from
entanglements with state and time

• Most of what we seek to express has no
need for either of them

• Why then do we trundle these deathtraps
around with us, everywhere we go?

Saturday, October 19, 13
A Big Sack for 3 Potatoes
• def compare(x: T, y: T): Int
• This relationship admits exactly 3 outcomes
• Represented as a type with 4294967296 states
• A type which is itself overloaded across
thousands of distinct and incompatible uses, all
of which are silently interchangeable

Saturday, October 19, 13
Pure of heart?
• Maybe you think the (T, T)Int example is unfair,

because the signature is for "compatibility" and/
or "performance"

• False idols upon whose altars we spill the blood
of correctness

• Your false gods do not demand that you

compromise the model or the semantics. That
we do to ourselves.

Saturday, October 19, 13
"Compatibility means deliberately repeating
other people’s mistakes." -- Wheeler
SCALA (sullenly): It was Java's idea.
SCALA'S MOM (exasperated): If
Java cut off its nose, would you....
aaagh, hypothetical!
[Next: @ TOM'S RHINOPLASTY]

Saturday, October 19, 13
Self-Inflicted Wounds
• def equals(x: Any): Boolean
• Inflicting this abominable signature on every
object in the language is indefensible

• Universal equality is so privileged in scala
(pattern matcher, collections, etc.) it's
impossible to avoid

• Scala: a capricious mistress
Saturday, October 19, 13
The Biggest Mistake in
scala.collection...
•
•
•
•
•
•

Is: trying to abstract over mutability through inheritance
An inherited implementation is ALWAYS wrong somewhere!
Example: how do you write "drop" so it's reusable?
In a mutable class, drop MUST NOT share
In an immutable class, drop MUST share
So half the overrides in collections are there simply to stave off
the incorrectness which threatens from above. This is nuts.

Saturday, October 19, 13
Wag or be wagged?
• Compatibility is Tail. Performance is Tail.
• Correctness is Dog.
• "Those who would give up correctness for
a little temporary performance deserve
neither correctness nor performance."

Saturday, October 19, 13
If Nothing is Forbidden...
• (1 to 100000000).toList filter (_ => true)
• Oops, we have to make a whole new list
because maybe they test if (x1 eq x2)

• We must assume the worst...
• ...so the worst must be less worst.
• Reference equality: inexpressible by default
Saturday, October 19, 13
What's Int.MaxValue between friends?
scala> val x1: Float = Long.MaxValue
x1: Float = 9.223372E18
scala> val x2: Float = Long.MaxValue - Int.MaxValue
x2: Float = 9.223372E18
scala> println(x1 == x2)
true

NO WONDER NOTHING WORKS
Saturday, October 19, 13
On Performance
•

"The greatest performance improvement of all is
when a system goes from not-working to working."
-- Osterhaut

•

"The key to performance is elegance, not battalions
of special cases." -- Bentley

•

"If you want fast, start with comprehensible." -- me

Saturday, October 19, 13
Contemplate Madness
•
•
•

The point is not any example in isolation.

•

Do you think bridges, airplanes, and nuclear
reactors are designed so cavalierly? (If they are,
please don't tell me.)

The point is that we are not even trying.
How do we expect the hard parts to work if we
don't even try to get the easy parts right?

Saturday, October 19, 13
Generality is Not OK
• We try to use a "general purpose" language
for everything (or near enough)

• There is no such thing as a general purpose!
• So we are, always and forever, using the
wrong tool for the job

• Does i = i + 1 really belong in the same
expression domain as type A <: B?

Saturday, October 19, 13
Power: Obvious Benefits,
Hidden Costs

•

Third law of motion: "To every action there is
always an equal and opposite reaction"

•

Every increase in expressiveness brings an
increased burden on all who care to
understand the message

•
•

Unnecessary expressiveness is the enemy

Saturday, October 19, 13

It racks up a huge body count, but its victims
have no voice - it is "silent evidence"
True Power is in Restriction

• Power's less appreciated twin brother
• "The limits of my language are the limits of my
world" -- Wittgenstein

• Inexpressibility confers immunity
• Enforce separation of concerns by construction

Saturday, October 19, 13
Good Fences Make Good Neighbors

• Fight impedance mismatches at well defined
border layers

• Defend the layer's defining assumptions
with your life. This is the Alamo!

• To have to defend against all outcomes at all
times is to abandon any hope of progress.

Saturday, October 19, 13
Leaky Abstraction is Not Abstraction

• Opacity is the hallmark of reusability
• The 90% solution is frequently worse than
no solution at all

• The 90% solution fails to meet many

needs, yet is deployed with the express
intention of preventing access to that which
underlies it - now it exists only to get in
our way!

Saturday, October 19, 13
Not Catchy Enough
Good Fences Make Good Neighbors
True Power is in Restriction
Leaky Abstraction is Not Abstraction

Saturday, October 19, 13
Catchy Enough
• War is Peace
• Freedom is Slavery
• Ignorance is Strength

Saturday, October 19, 13
Too Seldom Seen
But it was then that I saw that such a sketch of a
program still to be made, could be regarded as an
abstract version of the final program, or even,
that it could be regarded as "the program" if such
a machine were available; usually it is not
available, and actions and data types assumed have
to be further detailed in the next levels of
refinement. It is the function of these next
levels to build the machine that has been assumed
to be available at the top level, i.e. at the
highest level of abstraction.
-- Dijkstra, July 1970

Saturday, October 19, 13
What I'm after

•
•

I don't need a programming language

•

The IRs to actually be specified, and implemented via
loosely coupled, independent components

•

Why is the scala parser entangled with desugaring
entangled with type inference entangled with the
optimizer entangled with the code generator?

•

Why is the canonical code representation a STRING?

I need a coherent set of tools for creating software. A
"language" is incidental.

Saturday, October 19, 13
What I'm after, cont.
•

Two IRs at least: one purely syntactic and carrying
types. These can be submitted directly.

•

A virtual machine within the virtual machine:
designed in concert with the IRs, and designed to
interpret them directly.

•

Such a VM would free us from the many
restrictions imposed by the JVM during
development.

•

Why do we need JVMTI, JRebel, and huge
complexity for live feedback? We don't have to
base our development lives on java bytecode!

Saturday, October 19, 13
What I'm after, cont.
•

Change as a first class entity. The compiler is
pervasively designed around inputs which are
Diff[T]s against an in-memory understanding of the
last successful compilation. Cold start is the
uncommon case of diff against empty.

•

Such pervasive and instantaneous feedback to my
code changes that both "repl" and "debugger" are
superfluous as separate tools.

Saturday, October 19, 13
What I'm after, cont.
•

A language where unknowns are assumed in the
most restrictive way, so accidental behaviors don't
paralyze optimization

•

If a feature is ill-advised, why do we knock
ourselves out to make it easy to use? Reference
equality is a bad idea. Type tests are a bad idea.
State is a bad (if sometimes unavoidable) idea.

•

You can opt into these things, so we don't ALL
have to pay the price.

Saturday, October 19, 13
What I'm after, cont.
•

An editor which understands the meaning of the
code I am manipulating at a deep level, and which
offers many layers of information

•

Integration with revision control at the lowest
level. My entire life is spent working with sublime
and git: how is it that my editor, my DVCS, and my
compiler are not in constant communication?

•

Whatever you're picturing, it doesn't go as far as I
mean for it to go.

Saturday, October 19, 13
"And to a large extent, the people
that we consider to be skilled
software engineers are just those
people that are really good at playing
computer. But if we're writing our
code on a computer... why are we
simulating what a computer would
do in our head? Why doesn't the
computer just do it... and show us?"
-- Bret Victor

http://worrydream.com/

Saturday, October 19, 13
"For the present-day
darkness in the
programmer's world the
programmers themselves
are responsible and
nobody else."
-- Dijkstra (pre-1970)

http://www.cs.utexas.edu/users/EWD/

Saturday, October 19, 13

More Related Content

Viewers also liked

Rethinking Scala Presented in San Francisco May 7, 2014
Rethinking Scala Presented in San Francisco May 7, 2014Rethinking Scala Presented in San Francisco May 7, 2014
Rethinking Scala Presented in San Francisco May 7, 2014Bruce Eckel
 
Catalogo luminarias-distribuicao-nov10
Catalogo luminarias-distribuicao-nov10Catalogo luminarias-distribuicao-nov10
Catalogo luminarias-distribuicao-nov10Marcello Pellegrina
 
Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)
Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)
Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)Bruce Eckel
 
Manual de operador
Manual de operadorManual de operador
Manual de operadorlobosabio
 
Do Languages Matter?
Do Languages Matter?Do Languages Matter?
Do Languages Matter?Bruce Eckel
 
Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...
Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...
Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...Till Rohrmann
 
AWSのセキュリティについて
AWSのセキュリティについてAWSのセキュリティについて
AWSのセキュリティについてYasuhiro Horiuchi
 
Why Scala Is Taking Over the Big Data World
Why Scala Is Taking Over the Big Data WorldWhy Scala Is Taking Over the Big Data World
Why Scala Is Taking Over the Big Data WorldDean Wampler
 
Scala - the good, the bad and the very ugly
Scala - the good, the bad and the very uglyScala - the good, the bad and the very ugly
Scala - the good, the bad and the very uglyBozhidar Bozhanov
 
A Brief Intro to Scala
A Brief Intro to ScalaA Brief Intro to Scala
A Brief Intro to ScalaTim Underwood
 

Viewers also liked (11)

Rethinking Scala Presented in San Francisco May 7, 2014
Rethinking Scala Presented in San Francisco May 7, 2014Rethinking Scala Presented in San Francisco May 7, 2014
Rethinking Scala Presented in San Francisco May 7, 2014
 
Catalogo luminarias-distribuicao-nov10
Catalogo luminarias-distribuicao-nov10Catalogo luminarias-distribuicao-nov10
Catalogo luminarias-distribuicao-nov10
 
Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)
Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)
Phase 3: Better ideas (Presentation at SalesForce 1-28-2015)
 
Manual de operador
Manual de operadorManual de operador
Manual de operador
 
Do Languages Matter?
Do Languages Matter?Do Languages Matter?
Do Languages Matter?
 
Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...
Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...
Dynamic Scaling: How Apache Flink Adapts to Changing Workloads (at FlinkForwa...
 
AWSのセキュリティについて
AWSのセキュリティについてAWSのセキュリティについて
AWSのセキュリティについて
 
Scala
ScalaScala
Scala
 
Why Scala Is Taking Over the Big Data World
Why Scala Is Taking Over the Big Data WorldWhy Scala Is Taking Over the Big Data World
Why Scala Is Taking Over the Big Data World
 
Scala - the good, the bad and the very ugly
Scala - the good, the bad and the very uglyScala - the good, the bad and the very ugly
Scala - the good, the bad and the very ugly
 
A Brief Intro to Scala
A Brief Intro to ScalaA Brief Intro to Scala
A Brief Intro to Scala
 

Similar to Keynote, PNW Scala 2013

Designing With Data
Designing With DataDesigning With Data
Designing With DataGeorge Oates
 
CityLIS talk, Feb 1st 2016
CityLIS talk, Feb 1st 2016CityLIS talk, Feb 1st 2016
CityLIS talk, Feb 1st 2016benosteen
 
Howtostopsucking
HowtostopsuckingHowtostopsucking
HowtostopsuckingHugo Pinto
 
Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01
Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01
Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01Hugo Pinto
 
How to stop sucking and be awesome instead
How to stop sucking and be awesome insteadHow to stop sucking and be awesome instead
How to stop sucking and be awesome insteadcodinghorror
 
Future communications strategy
Future communications strategyFuture communications strategy
Future communications strategyRoland Selmer
 
The Allure of Gothic Markup
The Allure of Gothic MarkupThe Allure of Gothic Markup
The Allure of Gothic MarkupSimon St.Laurent
 
F# Eye for the C# Guy
F# Eye for the C# GuyF# Eye for the C# Guy
F# Eye for the C# Guygueste3f83d
 
Los Angeles R users group - Nov 17 2010 - Part 2
Los Angeles R users group - Nov 17 2010 - Part 2Los Angeles R users group - Nov 17 2010 - Part 2
Los Angeles R users group - Nov 17 2010 - Part 2rusersla
 
PWLSD.1 A critique of the cap theorem - Martin Kleppmann
PWLSD.1  A critique of the cap theorem - Martin KleppmannPWLSD.1  A critique of the cap theorem - Martin Kleppmann
PWLSD.1 A critique of the cap theorem - Martin KleppmannDaniel Norman
 
Turing Goes to Church
Turing Goes to ChurchTuring Goes to Church
Turing Goes to ChurchSteve Poling
 
Disrupt 2 Grow - Devoxx 2013
Disrupt 2 Grow - Devoxx 2013Disrupt 2 Grow - Devoxx 2013
Disrupt 2 Grow - Devoxx 2013Konrad Malawski
 
2013-06 - Eclipse Kepler Democamps
2013-06 - Eclipse Kepler Democamps2013-06 - Eclipse Kepler Democamps
2013-06 - Eclipse Kepler DemocampsMarcel Bruch
 
Humans vs. Machines (February 2017)
Humans vs. Machines (February 2017)Humans vs. Machines (February 2017)
Humans vs. Machines (February 2017)Adil Syed
 
LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...
LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...
LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...Colin Panisset
 
Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI Design
 Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI Design Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI Design
Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI DesignDavid Farrell
 

Similar to Keynote, PNW Scala 2013 (20)

Designing With Data
Designing With DataDesigning With Data
Designing With Data
 
CityLIS talk, Feb 1st 2016
CityLIS talk, Feb 1st 2016CityLIS talk, Feb 1st 2016
CityLIS talk, Feb 1st 2016
 
Howtostopsucking
HowtostopsuckingHowtostopsucking
Howtostopsucking
 
Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01
Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01
Howtostopsuckingandbeawesomeinstead 120601013410-phpapp01
 
How to stop sucking and be awesome instead
How to stop sucking and be awesome insteadHow to stop sucking and be awesome instead
How to stop sucking and be awesome instead
 
Future communications strategy
Future communications strategyFuture communications strategy
Future communications strategy
 
What's in a number?
What's in a number?What's in a number?
What's in a number?
 
The Allure of Gothic Markup
The Allure of Gothic MarkupThe Allure of Gothic Markup
The Allure of Gothic Markup
 
F# Eye for the C# Guy
F# Eye for the C# GuyF# Eye for the C# Guy
F# Eye for the C# Guy
 
Los Angeles R users group - Nov 17 2010 - Part 2
Los Angeles R users group - Nov 17 2010 - Part 2Los Angeles R users group - Nov 17 2010 - Part 2
Los Angeles R users group - Nov 17 2010 - Part 2
 
But It’s My Home‽
But It’s My Home‽But It’s My Home‽
But It’s My Home‽
 
PWLSD.1 A critique of the cap theorem - Martin Kleppmann
PWLSD.1  A critique of the cap theorem - Martin KleppmannPWLSD.1  A critique of the cap theorem - Martin Kleppmann
PWLSD.1 A critique of the cap theorem - Martin Kleppmann
 
Turing Goes to Church
Turing Goes to ChurchTuring Goes to Church
Turing Goes to Church
 
Hackers & Painters: Filosofía de la Cultura Hacker
Hackers & Painters: Filosofía de la Cultura HackerHackers & Painters: Filosofía de la Cultura Hacker
Hackers & Painters: Filosofía de la Cultura Hacker
 
Disrupt 2 Grow - Devoxx 2013
Disrupt 2 Grow - Devoxx 2013Disrupt 2 Grow - Devoxx 2013
Disrupt 2 Grow - Devoxx 2013
 
2013-06 - Eclipse Kepler Democamps
2013-06 - Eclipse Kepler Democamps2013-06 - Eclipse Kepler Democamps
2013-06 - Eclipse Kepler Democamps
 
Humans vs. Machines (February 2017)
Humans vs. Machines (February 2017)Humans vs. Machines (February 2017)
Humans vs. Machines (February 2017)
 
LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...
LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...
LASTconf 2018 - System Mapping: Discover, Communicate and Explore the Real Co...
 
Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI Design
 Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI Design Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI Design
Game Design 2 (2013): Lecture 6 - Icons and Semiotics in Game UI Design
 
Robust & anti fragile
Robust & anti fragileRobust & anti fragile
Robust & anti fragile
 

Recently uploaded

RAG Patterns and Vector Search in Generative AI
RAG Patterns and Vector Search in Generative AIRAG Patterns and Vector Search in Generative AI
RAG Patterns and Vector Search in Generative AIUdaiappa Ramachandran
 
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...Aggregage
 
Videogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdfVideogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdfinfogdgmi
 
Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)Commit University
 
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...DianaGray10
 
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesAI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesMd Hossain Ali
 
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostKubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostMatt Ray
 
Machine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfMachine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfAijun Zhang
 
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyesHow to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyesThousandEyes
 
Babel Compiler - Transforming JavaScript for All Browsers.pptx
Babel Compiler - Transforming JavaScript for All Browsers.pptxBabel Compiler - Transforming JavaScript for All Browsers.pptx
Babel Compiler - Transforming JavaScript for All Browsers.pptxYounusS2
 
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfUiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfDianaGray10
 
Comparing Sidecar-less Service Mesh from Cilium and Istio
Comparing Sidecar-less Service Mesh from Cilium and IstioComparing Sidecar-less Service Mesh from Cilium and Istio
Comparing Sidecar-less Service Mesh from Cilium and IstioChristian Posta
 
9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding TeamAdam Moalla
 
UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7DianaGray10
 
Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1DianaGray10
 
Nanopower In Semiconductor Industry.pdf
Nanopower  In Semiconductor Industry.pdfNanopower  In Semiconductor Industry.pdf
Nanopower In Semiconductor Industry.pdfPedro Manuel
 
Things you didn't know you can use in your Salesforce
Things you didn't know you can use in your SalesforceThings you didn't know you can use in your Salesforce
Things you didn't know you can use in your SalesforceMartin Humpolec
 
Introduction to Quantum Computing
Introduction to Quantum ComputingIntroduction to Quantum Computing
Introduction to Quantum ComputingGDSC PJATK
 
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPAAnypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPAshyamraj55
 
Do we need a new standard for visualizing the invisible?
Do we need a new standard for visualizing the invisible?Do we need a new standard for visualizing the invisible?
Do we need a new standard for visualizing the invisible?SANGHEE SHIN
 

Recently uploaded (20)

RAG Patterns and Vector Search in Generative AI
RAG Patterns and Vector Search in Generative AIRAG Patterns and Vector Search in Generative AI
RAG Patterns and Vector Search in Generative AI
 
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
 
Videogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdfVideogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdf
 
Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)
 
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
 
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesAI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
 
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostKubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
 
Machine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfMachine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdf
 
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyesHow to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
 
Babel Compiler - Transforming JavaScript for All Browsers.pptx
Babel Compiler - Transforming JavaScript for All Browsers.pptxBabel Compiler - Transforming JavaScript for All Browsers.pptx
Babel Compiler - Transforming JavaScript for All Browsers.pptx
 
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfUiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
 
Comparing Sidecar-less Service Mesh from Cilium and Istio
Comparing Sidecar-less Service Mesh from Cilium and IstioComparing Sidecar-less Service Mesh from Cilium and Istio
Comparing Sidecar-less Service Mesh from Cilium and Istio
 
9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team
 
UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7
 
Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1
 
Nanopower In Semiconductor Industry.pdf
Nanopower  In Semiconductor Industry.pdfNanopower  In Semiconductor Industry.pdf
Nanopower In Semiconductor Industry.pdf
 
Things you didn't know you can use in your Salesforce
Things you didn't know you can use in your SalesforceThings you didn't know you can use in your Salesforce
Things you didn't know you can use in your Salesforce
 
Introduction to Quantum Computing
Introduction to Quantum ComputingIntroduction to Quantum Computing
Introduction to Quantum Computing
 
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPAAnypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPA
 
Do we need a new standard for visualizing the invisible?
Do we need a new standard for visualizing the invisible?Do we need a new standard for visualizing the invisible?
Do we need a new standard for visualizing the invisible?
 

Keynote, PNW Scala 2013

  • 1. We're Doing it All Wrong Paul Phillips paulp@improving.org Source: as every single one of you already knows, xkcd. Saturday, October 19, 13
  • 3. The Winding Stairway • Five years on scala • Rooting for scala/typesafe • But I quit a dream job... • ...because I lost faith Saturday, October 19, 13
  • 4. Um, PNW Scala • I don't say scala is a bad choice relative to today's plausible alternatives • I do say that scala has issues which leave me in doubt as to its future • Some of them cannot be addressed • And others will not be addressed Saturday, October 19, 13
  • 5. This Talk in a Nutshell The nutshell I sought Saturday, October 19, 13 The nutshell I found
  • 6. "We're Doing it All Wrong" • I thought I meant it hyperbolically • I found it was almost literally true • So this talk is hardly a taste • It's a thin line between vision and megalomania: you decide Saturday, October 19, 13
  • 7. A Token Nutshell "Plans are useless, but planning is indispensible." -- Dwight D. Eisenhower "Modification is undesirable, but modifiability is paramount." -- me If it isn't straightforward to modify, it will never be any good. It will never be fast. It will never be correct. And it will eventually be replaced by something modifiable. ...after consuming as many hours as you feed it. Saturday, October 19, 13
  • 8. Billions of Bugs • Many, perhaps most, bugs arise from entanglements with state and time • Most of what we seek to express has no need for either of them • Why then do we trundle these deathtraps around with us, everywhere we go? Saturday, October 19, 13
  • 9. A Big Sack for 3 Potatoes • def compare(x: T, y: T): Int • This relationship admits exactly 3 outcomes • Represented as a type with 4294967296 states • A type which is itself overloaded across thousands of distinct and incompatible uses, all of which are silently interchangeable Saturday, October 19, 13
  • 10. Pure of heart? • Maybe you think the (T, T)Int example is unfair, because the signature is for "compatibility" and/ or "performance" • False idols upon whose altars we spill the blood of correctness • Your false gods do not demand that you compromise the model or the semantics. That we do to ourselves. Saturday, October 19, 13
  • 11. "Compatibility means deliberately repeating other people’s mistakes." -- Wheeler SCALA (sullenly): It was Java's idea. SCALA'S MOM (exasperated): If Java cut off its nose, would you.... aaagh, hypothetical! [Next: @ TOM'S RHINOPLASTY] Saturday, October 19, 13
  • 12. Self-Inflicted Wounds • def equals(x: Any): Boolean • Inflicting this abominable signature on every object in the language is indefensible • Universal equality is so privileged in scala (pattern matcher, collections, etc.) it's impossible to avoid • Scala: a capricious mistress Saturday, October 19, 13
  • 13. The Biggest Mistake in scala.collection... • • • • • • Is: trying to abstract over mutability through inheritance An inherited implementation is ALWAYS wrong somewhere! Example: how do you write "drop" so it's reusable? In a mutable class, drop MUST NOT share In an immutable class, drop MUST share So half the overrides in collections are there simply to stave off the incorrectness which threatens from above. This is nuts. Saturday, October 19, 13
  • 14. Wag or be wagged? • Compatibility is Tail. Performance is Tail. • Correctness is Dog. • "Those who would give up correctness for a little temporary performance deserve neither correctness nor performance." Saturday, October 19, 13
  • 15. If Nothing is Forbidden... • (1 to 100000000).toList filter (_ => true) • Oops, we have to make a whole new list because maybe they test if (x1 eq x2) • We must assume the worst... • ...so the worst must be less worst. • Reference equality: inexpressible by default Saturday, October 19, 13
  • 16. What's Int.MaxValue between friends? scala> val x1: Float = Long.MaxValue x1: Float = 9.223372E18 scala> val x2: Float = Long.MaxValue - Int.MaxValue x2: Float = 9.223372E18 scala> println(x1 == x2) true NO WONDER NOTHING WORKS Saturday, October 19, 13
  • 17. On Performance • "The greatest performance improvement of all is when a system goes from not-working to working." -- Osterhaut • "The key to performance is elegance, not battalions of special cases." -- Bentley • "If you want fast, start with comprehensible." -- me Saturday, October 19, 13
  • 18. Contemplate Madness • • • The point is not any example in isolation. • Do you think bridges, airplanes, and nuclear reactors are designed so cavalierly? (If they are, please don't tell me.) The point is that we are not even trying. How do we expect the hard parts to work if we don't even try to get the easy parts right? Saturday, October 19, 13
  • 19. Generality is Not OK • We try to use a "general purpose" language for everything (or near enough) • There is no such thing as a general purpose! • So we are, always and forever, using the wrong tool for the job • Does i = i + 1 really belong in the same expression domain as type A <: B? Saturday, October 19, 13
  • 20. Power: Obvious Benefits, Hidden Costs • Third law of motion: "To every action there is always an equal and opposite reaction" • Every increase in expressiveness brings an increased burden on all who care to understand the message • • Unnecessary expressiveness is the enemy Saturday, October 19, 13 It racks up a huge body count, but its victims have no voice - it is "silent evidence"
  • 21. True Power is in Restriction • Power's less appreciated twin brother • "The limits of my language are the limits of my world" -- Wittgenstein • Inexpressibility confers immunity • Enforce separation of concerns by construction Saturday, October 19, 13
  • 22. Good Fences Make Good Neighbors • Fight impedance mismatches at well defined border layers • Defend the layer's defining assumptions with your life. This is the Alamo! • To have to defend against all outcomes at all times is to abandon any hope of progress. Saturday, October 19, 13
  • 23. Leaky Abstraction is Not Abstraction • Opacity is the hallmark of reusability • The 90% solution is frequently worse than no solution at all • The 90% solution fails to meet many needs, yet is deployed with the express intention of preventing access to that which underlies it - now it exists only to get in our way! Saturday, October 19, 13
  • 24. Not Catchy Enough Good Fences Make Good Neighbors True Power is in Restriction Leaky Abstraction is Not Abstraction Saturday, October 19, 13
  • 25. Catchy Enough • War is Peace • Freedom is Slavery • Ignorance is Strength Saturday, October 19, 13
  • 26. Too Seldom Seen But it was then that I saw that such a sketch of a program still to be made, could be regarded as an abstract version of the final program, or even, that it could be regarded as "the program" if such a machine were available; usually it is not available, and actions and data types assumed have to be further detailed in the next levels of refinement. It is the function of these next levels to build the machine that has been assumed to be available at the top level, i.e. at the highest level of abstraction. -- Dijkstra, July 1970 Saturday, October 19, 13
  • 27. What I'm after • • I don't need a programming language • The IRs to actually be specified, and implemented via loosely coupled, independent components • Why is the scala parser entangled with desugaring entangled with type inference entangled with the optimizer entangled with the code generator? • Why is the canonical code representation a STRING? I need a coherent set of tools for creating software. A "language" is incidental. Saturday, October 19, 13
  • 28. What I'm after, cont. • Two IRs at least: one purely syntactic and carrying types. These can be submitted directly. • A virtual machine within the virtual machine: designed in concert with the IRs, and designed to interpret them directly. • Such a VM would free us from the many restrictions imposed by the JVM during development. • Why do we need JVMTI, JRebel, and huge complexity for live feedback? We don't have to base our development lives on java bytecode! Saturday, October 19, 13
  • 29. What I'm after, cont. • Change as a first class entity. The compiler is pervasively designed around inputs which are Diff[T]s against an in-memory understanding of the last successful compilation. Cold start is the uncommon case of diff against empty. • Such pervasive and instantaneous feedback to my code changes that both "repl" and "debugger" are superfluous as separate tools. Saturday, October 19, 13
  • 30. What I'm after, cont. • A language where unknowns are assumed in the most restrictive way, so accidental behaviors don't paralyze optimization • If a feature is ill-advised, why do we knock ourselves out to make it easy to use? Reference equality is a bad idea. Type tests are a bad idea. State is a bad (if sometimes unavoidable) idea. • You can opt into these things, so we don't ALL have to pay the price. Saturday, October 19, 13
  • 31. What I'm after, cont. • An editor which understands the meaning of the code I am manipulating at a deep level, and which offers many layers of information • Integration with revision control at the lowest level. My entire life is spent working with sublime and git: how is it that my editor, my DVCS, and my compiler are not in constant communication? • Whatever you're picturing, it doesn't go as far as I mean for it to go. Saturday, October 19, 13
  • 32. "And to a large extent, the people that we consider to be skilled software engineers are just those people that are really good at playing computer. But if we're writing our code on a computer... why are we simulating what a computer would do in our head? Why doesn't the computer just do it... and show us?" -- Bret Victor http://worrydream.com/ Saturday, October 19, 13
  • 33. "For the present-day darkness in the programmer's world the programmers themselves are responsible and nobody else." -- Dijkstra (pre-1970) http://www.cs.utexas.edu/users/EWD/ Saturday, October 19, 13