Download - 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
the origins of scala.world jon pretty's thirst for vengeance
April 2014
the origins of scala.world jon pretty's thirst for vengeance
April 2014
the origins of scala.world jon pretty's thirst for vengeance
April 2014 September 2015
the origins of scala.world jon pretty's thirst for vengeance
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