Naming Things and Finding Cothings

The Eyjafjallajökull1,2

Lecture

Paul Phillips

Delivered @scala.world September 21 2015

1. ˈeɪjaˌfjatlaˌjœːkʏtl ̥2. Sure, that helped.

the origins of scala.world jon pretty's thirst for vengeance


April 2014


April 2014


April 2014 September 2015


April 2014 September 2015

Topic?My last scala commit

Mar 12, 2014

What have I learned since?

That's it. Won't fill an hour.

• What to call Typesafe

• What Scala could learn from Rust and Go

• Suffuse: the reactive filesystem

• Realization: inebriated audience = opportunity

Topic?

- Richard Hamming You and Your Research

"If you do not work on an important problem, it is unlikely you’ll do important work."

Naming Things and Finding Cothings

The Eyjafjallajökull Lecture

Topic!

Part 0: Core Search

A is AAristotle's Law of Identity

A is AAristotle's Law of Identity

A IS COCOAPhillips's Categorical Corollary

COCOON = ON

COCONUT = NUT

COCOUNSELLED = BOUGHT

Ongoing research

Part I: Naming Things

arity, boxity, fixity, totality, purity... complexity, generality, modularity, portability...

productivity, security, simplicity, stability... finality, mutability, opacity, polarity... atomicity, locality, mobility, volatility...

BUT WHAT ABOUT...

OVERUSED -ITIES

atrocity calamity obscenity... depravity criminality complicity...

profanity perplexity debility... inanity hilarity indignity temerity...

duplicity culpability impunity... futility hostility enmity...

UNDERUSED -ITIES

liberty, equality, fraternity... intercity, intracity, supercity...

validity, probability, advisability...

FUNCTIONAL FIXEDNESS POP QUIZ

CLARIFICTION It's just a monoid in the category of endofunctors, what's the problem?

CODIFICTION Follow consensus, as long as you were doing that anyway.

EDIFICTION Mansplaining

FORTIFICTION More tests

UNIFICTION M[Any]

SIMPLIFICTION go

REIFICTION scala.reflect

VERIFICTION We have tests, we don't need types.

RAMIFICTION Y2K

RATIFICTION SIP-18

BEAUTIFICTION gofmt

DEMYSTIFICTIONA bialgebra is a monoid in the category of coalgebras. Equivalently, it is a comonoid in the category of algebras. Equivalently, it is a monoid in the category of comonoids in Vect Equivalently, a comonoid in the category of monoids in Vect

DIVERSIFICTION We play both kinds of music, Country and Western!

GRATIFICTION That wonderful feeling you don't have after pouring your life into software

IDENTIFICTION Biometrics

INDEMNIFICTION AIG

JUSTIFICTION Unbelieber

NOTIFICTION Read receipt

DIVERSIFICTION We play both kinds of music, Country and Western!

GRATIFICTION That wonderful feeling you don't have after pouring your life into software

IDENTIFICTION Biometrics

INDEMNIFICTION AIG

JUSTIFICTION Unbelieber

NOTIFICTION Read receipt

Part II: Finding Cothings

"Every algebraic structure in a category has a co-version with all morphisms reversed"

THE FORMAL THEORY OF TANNAKA DUALITYin 105 pages

THE FORMAL THEORY OF TANNAKA DUALITYin 105 pages

coevaluation coproduct cofiltered cofibrantcodomain coalgebra cokernel coequalizer

cohomology comonoid cosplit coclosed coconecoaction corestriction comodule cocontinuouscotensor cocomplete cocompletion comonad

comultiplication cocommutative cospan coendcoassociative coalgebroid colimit

In the same 105 pages

In the same 105 pages

combine composite contain complicated commonconverse coherence convenience colloquiumcorrespond compose concatenation corollary

consist concrete content condition convolutionconstraint continuous component cosmoi

compatible could convention conservativecoefficient corps commutative conical

considerable compare contravariant consequencecompanion combinatorial conclusion conceptual

computation collectively coincide cosmos computeconcern counit construct context course complete

Too many cothings are virtually unknown!

MEDIAN

COMEDIAN

ACHES

COACHES

BRA

COBRA

AXES

COAXES

DING

CODING

L.A.

COLA

LANDER

COLANDER

MA

COMA

MET

COMET

MIC

COMIC

PIER

COPIER

ME

COME

65518

FFEE

COFFEE

65518

PIOUS

COPIOUS

VET

COVET

STING

COSTING

(Bool, T, T) => T

IF

COIF

(Bool, T, T) => T

UNTIES

COUNTIES

WARD

COWARD

UGH

COUGH

UP

COUP

DICES

CODICES

JONES

COJONES

Q

COQ

ARSE

COARSE

Technology

Naming Things and Finding Cothings