The Escape From Flatland

The Escape From Flatland !⚗ Building the Languages of the Future, Today #$

Language is an instrument of human reason, and not merely a medium for the expression of thought – George Boole

Daring ideas are like chess pieces moved forward. They may be beaten, but they may start a winning game. – Goethe

Brooklyn Zelenka @expede

Brooklyn Zelenka @expede • CTO at Fission (https://fission.codes) • Far edge apps (“post-serverless”) • Goal: make back-ends and DevOps obsolete

Brooklyn Zelenka @expede • CTO at Fission (https://fission.codes) • Far edge apps (“post-serverless”) • Goal: make back-ends and DevOps obsolete • PLT, VMs, DSys

Brooklyn Zelenka @expede • CTO at Fission (https://fission.codes) • Far edge apps (“post-serverless”) • Goal: make back-ends and DevOps obsolete • PLT, VMs, DSys • Original author of Witchcraft, Algae, Exceptional, etc

Brooklyn Zelenka @expede • CTO at Fission (https://fission.codes) • Far edge apps (“post-serverless”) • Goal: make back-ends and DevOps obsolete • PLT, VMs, DSys • Original author of Witchcraft, Algae, Exceptional, etc • Standards: UCAN (editor), EIPs, FVM, Multiformats, others

Brooklyn Zelenka @expede • CTO at Fission (https://fission.codes) • Far edge apps (“post-serverless”) • Goal: make back-ends and DevOps obsolete • PLT, VMs, DSys • Original author of Witchcraft, Algae, Exceptional, etc • Standards: UCAN (editor), EIPs, FVM, Multiformats, others • Founded VanFP, VanBEAM, DSys Reading Group (join us!)

Brooklyn Zelenka @expede • CTO at Fission (https://fission.codes) • Far edge apps (“post-serverless”) • Goal: make back-ends and DevOps obsolete • PLT, VMs, DSys • Original author of Witchcraft, Algae, Exceptional, etc • Standards: UCAN (editor), EIPs, FVM, Multiformats, others • Founded VanFP, VanBEAM, DSys Reading Group (join us!) https://lu.ma/distributed-systems

Meta & Two Keynotes, Both Alike in Dignity %

Meta & Two Keynotes, Both Alike in Dignity % Part I: Empex MTN ’ Part II: CodeBEAM EU (

Meta & Growth Mindset

Meta & Growth Mindset We ❤ Elixir

Meta & Growth Mindset We ❤ Elixir It’s important to think critically about our tools

Meta & Growth Mindset We ❤ Elixir It’s important to think critically about our tools We need to hold Elixir to the highest standard

Meta & Growth Mindset We ❤ Elixir It’s important to think critically about our tools We need to hold Elixir to the highest standard Let’s ask uncomfortable questions

Meta & Growth Mindset We ❤ Elixir It’s important to think critically about our tools We need to hold Elixir to the highest standard Let’s ask uncomfortable questions Growth requires dissatisfaction & inspiration

The Children of Elixir Manifesto ☎→⚗→X

Manifesto ☎→⚗→ My Obsession

Manifesto ☎→⚗→ My Obsession The BEAM does so much right +

Manifesto ☎→⚗→ My Obsession The BEAM does so much right + In many ways, we’re actually ahead of the industry

Manifesto ☎→⚗→ My Obsession The BEAM does so much right + In many ways, we’re actually ahead of the industry (mainly using ideas from the late 80s ,)

Manifesto ☎→⚗→ My Obsession The BEAM does so much right + In many ways, we’re actually ahead of the industry (mainly using ideas from the late 80s ,) …but our lead won’t last…

Manifesto ☎→⚗→ My Obsession The BEAM does so much right + In many ways, we’re actually ahead of the industry (mainly using ideas from the late 80s ,) …but our lead won’t last… Where do we go from here?

Manifesto ☎→⚗→ Our Code is Too “Flat”

Manifesto ☎→⚗→ Our Code is Too “Flat” Code in 2022 is needlessly difficult & complex!

Manifesto ☎→⚗→ Our Code is Too “Flat” Code in 2022 is needlessly difficult & complex! If software is going to continue eating the world, it needs to be faster, more flexible, clearer, correct, and teachable

Manifesto ☎→⚗→ Our Code is Too “Flat” Code in 2022 is needlessly difficult & complex! If software is going to continue eating the world, it needs to be faster, more flexible, clearer, correct, and teachable How do we build more structure from our existing parts? How do we add dimension?

Manifesto ☎→⚗→ The Pit of Success

Manifesto ☎→⚗→ The Pit of Success In stark contrast to a summit, a peak, or a journey across a desert to find victory through many trials and surprises, we want [devs] to simply fall into winning practices by using our platform and frameworks. To the extent that we make it easy to get into trouble we fail. – Rico Mariani, Microsoft Research MindSwap 2003

Manifesto ☎→⚗→ Tools For Thought

Manifesto ☎→⚗→ Tools For Thought • We have better mental tools than our ancestors • Abstraction appears 50k-100k years ago • Arabic numerals > roman numerals • Metric conversions > Imperial • 24-hours & 360-degrees have nice divisiors

Manifesto ☎→⚗→ Random Walk Image by Pradyumna Yadav

Manifesto ☎→⚗→ Random Walk - Image by Pradyumna Yadav

Manifesto ☎→⚗→ Random Walk . / Image by Pradyumna Yadav

Manifesto ☎→⚗→ The World Is Changing

Manifesto ☎→⚗→ The World Is Changing 23 01 Invention Custom Off-the-Shelf Utility

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! ☎→⚗→Gj CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! ☎→⚗→Gj → 4 CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! ☎→⚗→Gj → 4 → CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! ☎→⚗→Gj → 4 → →5 CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! → ☎→⚗→Gj → 4 → →5 CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! → $ → ☎→⚗→Gj → 4 → →5 CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ A Cambrian Explosion of Approaches! 6 → → $ → ☎→⚗→Gj → 4 → →5 CC BY-SA 3.0: mariowiki.com

Manifesto ☎→⚗→ Sources of Inspiration

Manifesto ☎→⚗→ Sources of Inspiration 7 Things I’ve seen work in production

Manifesto ☎→⚗→ Sources of Inspiration 7 Things I’ve seen work in production 8 Ideas from the 70s & 80s

Manifesto ☎→⚗→ Sources of Inspiration 7 Things I’ve seen work in production 8 Ideas from the 70s & 80s 9 Functional Pearls

Manifesto ☎→⚗→ Sources of Inspiration 7 Things I’ve seen work in production 8 Ideas from the 70s & 80s 9 Functional Pearls : Programming language research

Manifesto ☎→⚗→ Sources of Inspiration 7 Things I’ve seen work in production 8 Ideas from the 70s & 80s 9 Functional Pearls : Programming language research ; Distributed databases

Manifesto ☎→⚗→ Sources of Inspiration 7 Things I’ve seen work in production 8 Ideas from the 70s & 80s 9 Functional Pearls : Programming language research ; Distributed databases < Other ecosystems (e.g. Scheme, OCaml, Haxl, Racket)

Manifesto ☎→⚗→ Sources of Inspiration 7 Things I’ve seen work in production 8 Ideas from the 70s & 80s 9 Functional Pearls : Programming language research ; Distributed databases < Other ecosystems (e.g. Scheme, OCaml, Haxl, Racket) = Criminally underused Elixir features

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Code as Data Managed Effects Active Metadata

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Expressivity Code as Data Modular Languages Denotational Design Managed Effects Active Metadata

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Expressivity Code as Data Modular Languages Denotational Design Managed Effects Active Metadata Derivative DSLs

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Expressivity Code as Data Modular Languages Denotational Design Runners Managed Effects Implicit Concurrency Model Testing Active Metadata Derivative DSLs

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Expressivity Code as Data Modular Languages Derivative DSLs Denotational Design Runners Managed Effects Implicit Concurrency Model Testing Active Metadata Structural Optimistic

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Expressivity Code as Data Modular Languages Derivative DSLs Denotational Design Runners Managed Effects Structural Implicit Concurrency Model Testing Provenance Active Metadata Proof Carrying Code Optimistic

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Expressivity Code as Data Modular Languages Derivative DSLs Denotational Design Runners Managed Effects Structural Implicit Concurrency Model Testing Optimistic Provenance Active Metadata Proof Carrying Code Time Travel

Manifesto ☎→⚗→ Three Stupidly Powerful Concepts eDSL Expressivity Code as Data Modular Languages Derivative DSLs Denotational Design Runners Managed Effects Implicit Concurrency Model Testing

Structural Optimistic Provenance Active Metadata Proof Carrying Code Time Travel

Modular Semantics Millions of Tiny Languages

Modular Semantics Millions of Tiny Languages s e g a u g n a L

Millions of Tiny Languages ⚛

Millions of Tiny Languages ⚛ We really don’t want to build a programming language from scratch[…], let’s inherit infrastructure from some other language – Paul Hudak, Building Domain Specific Embedded Languages

Millions of Tiny Languages ⚛ We really don’t want to build a programming language from scratch[…], let’s inherit infrastructure from some other language – Paul Hudak, Building Domain Specific Embedded Languages e m o “S r e oth u g n a l ? ” e g a

Millions of Tiny Languages ⚛ All the Way Down

Millions of Tiny Languages ⚛ All the Way Down Binary Physics Mathematics

Millions of Tiny Languages ⚛ All the Way Down Kernel syscalls x 8 6 / A R M / R I S C-V Binary Physics Mathematics

Millions of Tiny Languages ⚛ All the Way Down Elixir AST BEAM bytecode Kernel syscalls x 8 6 / A R M / R I S C-V Binary Physics Mathematics

Millions of Tiny Languages ⚛ All the Way Down Application Domain Librar y / Framework Elixir Language Elixir AST BEAM bytecode Kernel syscalls x 8 6 / A R M / R I S C-V Binary Physics Mathematics

Millions of Tiny Languages ⚛ All the Way Down Natural Language GUI Metaphor Application Domain Librar y / Framework Elixir Language Elixir AST BEAM bytecode Kernel syscalls x 8 6 / A R M / R I S C-V Binary Physics Mathematics

Millions of Tiny Languages ⚛ Big Three Models

Millions of Tiny Languages ⚛ Big Three Models •→• ↓ ↓ ■→▴ A @

Millions of Tiny Languages ⚛ Big Three Models •→• ↓ ↓ ■→▴ A @ Dynamic Operational Mechanical

Millions of Tiny Languages ⚛ Big Three Models Universal Denotational Mathematical •→• ↓ ↓ ■→▴ A @ Dynamic Operational Mechanical

Millions of Tiny Languages ⚛ Big Three Models Universal Denotational Mathematical •→• ↓ ↓ ■→▴ A Symbolist Semiotic Natural Language @ Dynamic Operational Mechanical

Millions of Tiny Languages ⚛ Big Three Models A Symbolist Semiotic Natural Language On its ef iz es lB al Universal Denotational Mathematical •→• ↓ ↓ ■→▴ @ Dynamic Operational Mechanical

Manifesto ☎→⚗→ “Expressive” C⚔E>

Millions of Tiny Languages ⚛ Tower of (Expressive) Power

Millions of Tiny Languages ⚛ Practical Bounds

Millions of Tiny Languages ⚛ Practical Bounds Can a language be too expressive?

Millions of Tiny Languages ⚛ Practical Bounds Can a language be too expressive? Useful Programs

Millions of Tiny Languages ⚛ Practical Bounds Can a language be too expressive? Useful Programs Buggy Programs

Millions of Tiny Languages ⚛ Practical Bounds Can a language be too expressive? Useful Programs Yours Buggy Programs

Millions of Tiny Languages ⚛ Welcome to the Danger Zone ⚠

Millions of Tiny Languages ⚛ What’s So Bad About Control? GH

Millions of Tiny Languages ⚛ What’s So Bad About Control? GH Line 1 Line 2 Line 3 Line 4 Line 5 — GOTO Line 6

Millions of Tiny Languages ⚛ What’s So Bad About Control? GH Turing completeness considered harmful Line 1 Line 2 Line 3 Line 4 Line 5 — GOTO Line 6 5

Millions of Tiny Languages ⚛ Aside: “Accidentally” Turing Complete https://harrisonwl.github.io/assets/courses/malware/spring2017/papers/mov-is-turing-complete.pdf https://github.com/ealter/vim_turing_machine https://github.com/Microsoft/TypeScript/issues/14833 https://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf https://arxiv.org/pdf/1904.09828.pdf https://softwareengineering.stackexchange.com/a/136179

Millions of Tiny Languages ⚛ Aside: “Accidentally” Turing Complete • x86 MOV (just by itself) • TypeScript’s Type System • Vim Normal Mode • Magic the Gathering • BGP • Pokemon Yellow • Peano arithmetic • Unicode (conjectured) • Musical Notation • Sendmail’s Config https://harrisonwl.github.io/assets/courses/malware/spring2017/papers/mov-is-turing-complete.pdf https://github.com/ealter/vim_turing_machine https://github.com/Microsoft/TypeScript/issues/14833 https://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf https://arxiv.org/pdf/1904.09828.pdf https://softwareengineering.stackexchange.com/a/136179

Millions of Tiny Languages ⚛ The Lesson I

Millions of Tiny Languages ⚛ The Lesson I The bottom line is that the more powerful a language (i.e. the more that is possible within the language), the harder it is to understand systems constructed in it – Ben Mosley & Peter Marks, Out of the Tarpit

Millions of Tiny Languages ⚛ Three Focused Vocabularies

Millions of Tiny Languages ⚛ Compositional Vocabularies

Millions of Tiny Languages ⚛ Compositional Vocabularies J K L

Millions of Tiny Languages ⚛ Compositional Vocabularies J K Components: 4 L

Millions of Tiny Languages ⚛ Compositional Vocabularies J K Components: 4 Results: All of computer graphics L

Millions of Tiny Languages ⚛ Interleaved Terms

✨ An AST of Your Own ✨ Building Up & Tearing Down NO

Building Up & Tearing Down NO Shallow Pipes https://hexdocs.pm/ecto/Ecto.Changeset.html#module-validations-and-constraints

Building Up & Tearing Down NO Shallow Pipes • Just use the built-in AST • What it can represent is limited • Single, canonical implementations • e.g. most libraries https://hexdocs.pm/ecto/Ecto.Changeset.html#module-validations-and-constraints

Building Up & Tearing Down NO Shallow Pipes https://github.com/witchcrafters/algae/blob/main/lib/algae/tree/binary_search.ex

Building Up & Tearing Down NO Whatever You Want It To Be Natural Language GUI Metaphor Application Domain Librar y / Framework Elixir Language Elixir AST BEAM bytecode Kernel syscalls x 8 6 / A R M / R I S C-V Binary Physics Mathematics

Building Up & Tearing Down NO Whatever You Want It To Be Natural Language GUI Metaphor Application Domain There is nothing sacred about Elixir’s AST; it’s just well suited for its ecological niche Librar y / Framework Elixir Language Elixir AST BEAM bytecode Kernel syscalls x 8 6 / A R M / R I S C-V Binary Physics Mathematics

Building Up & Tearing Down NO Invocation & Rewriting

Build a game plan

Building Up & Tearing Down NO Invocation & Rewriting

Build a game plan 2. Transform (optional)

Building Up & Tearing Down NO Invocation & Rewriting

Build a game plan 2. Transform (optional) 3. Tear down

Building Up & Tearing Down NO Connectives

Building Up & Tearing Down NO GenEffect

Building Up & Tearing Down NO Interpreter

Building Up & Tearing Down NO Interpreter Why not use a protocol? Canonicity!

Domain & Denotation Standard Vocabularies P

Standard Vocabularies P What Is Common?

Standard Vocabularies P What Is Common? M ! t n e m e v o

Standard Vocabularies P One Level Down

Standard Vocabularies P What’s Important About Laws?

Standard Vocabularies P What’s Important About Laws? Consistent in all contexts

Standard Vocabularies P Denotative Redux

Standard Vocabularies P Denotative Redux We are only drawing a most important distinction — between discovering something and inventing something. But mathematicians make the most important discoveries. – Alan Turing, via Wittgenstein’s Lectures on the Foundations of Mathematics

Standard Vocabularies P

Safety First Purify Your Effects 3⛑R

Purify Your Effects 3⛑R

Purify Your Effects 3⛑R Have no truck with the grubby compromises of imperative programming — Simon Peyton Jones

Purify Your Effects 3⛑R Tools Down

Purify Your Effects 3⛑R Tools Down Elixir is surprisingly imperative, yet gives you all the tools of equational reasoning …so let’s use them!

Purify Your Effects 3⛑R Description vs Invocation

Purify Your Effects 3⛑R Description vs Invocation Impure functions produce side effects Pure functions manipulate data Side effects → managed effects

Purify Your Effects 3⛑R Description vs Invocation Impure functions produce side effects Pure functions manipulate data Side effects → managed effects function

Purify Your Effects 3⛑R Description vs Invocation Impure functions produce side effects Pure functions manipulate data Side effects → managed effects input function

Purify Your Effects 3⛑R Description vs Invocation Impure functions produce side effects Pure functions manipulate data Side effects → managed effects input function output function

Purify Your Effects 3⛑R Description vs Invocation Impure functions produce side effects Pure functions manipulate data Side effects → managed effects effect input effect function output function

Purify Your Effects 3⛑R Description vs Invocation Impure functions produce side effects Pure functions manipulate data Side effects → managed effects effect input function output effect function

Purify Your Effects 3⛑R 4-Layer Architecture

Purify Your Effects 3⛑R 4-Layer Architecture Imperative Managed Effects Pure Functions Data

Purify Your Effects 3⛑R 4-Layer Architecture 5 Action Imperative Managed Effects Pure Functions Data SInformation

Purify Your Effects 3⛑R 4-Layer Architecture 5 Action Unstable T Imperative Managed Effects Pure Functions Data SInformation Stable U

Purify Your Effects 3⛑R Purified Actions

Well Behaved Models Testing Minus the Teeth V

Testing Minus the Teeth V Faking Without Mocks

Testing Minus the Teeth V Faking Without Mocks •Inspect the pure data! •Have tests write to a list as they run •Fake databases with maps •Fake sending email with logs

Control Dominator Take the Wheel Implicit Parallelism W

Implicit Parallelism W Humans are Terrible at Concurrency X

Implicit Parallelism W Humans are Terrible at Concurrency X The main way of dealing with concurrency has been reduced to sequential reasoning […] it requires to cope with many possible, unpredictable behaviors of process, and the communication media Everything is NOT reducible to sequential thinking — Sergio Rajsbaum & Michel Raynal, 60 Years of Mastering Concurrency Through Sequential Thinking

Implicit Parallelism W Coordination Costs

Implicit Parallelism W Throughput Coordination Costs Parallelization

Implicit Parallelism W Ideal (Linear) Throughput Coordination Costs Parallelization

Implicit Parallelism W Coordination Costs Ideal (Linear) Throughput Amdahl’s Law Parallelization

Implicit Parallelism W Coordination Costs Ideal (Linear) Throughput Amdahl’s Law Universal Scaling Law Parallelization

Implicit Parallelism W Coordination Costs Ideal (Linear) Throughput Amdahl’s Law Incoherence, Data Contention Universal Scaling Law Parallelization

Implicit Parallelism W Confluence / Church-Rosser

Implicit Parallelism W Confluence / Church-Rosser Commutes!

Implicit Parallelism W Dependency Analysis

Implicit Parallelism W Dependency Analysis msg recipient upcase send DB.insert date

Implicit Parallelism W Actor Problem: Data Locality Coordination

Implicit Parallelism W Actor Problem: Data Locality Coordination Z Y [

Implicit Parallelism W Actor Problem: Data Locality Coordination \ Z \ Y \ [

Implicit Parallelism W Actor Problem: Data Locality Coordination \ Z] \ Y] \ []

Implicit Parallelism W Actor Problem: Data Locality Coordination \ Z] \ Y] \ [] ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉

Implicit Parallelism W Actor Problem: Data Locality Coordination \ Z] ✉ ✉ ✉ ✉ _ \ Y] \ [] ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉

Implicit Parallelism W Actor Problem: Data Locality Coordination \ Z] ✉ ✉ ✉ ✉ _ \ Y ☠] \ [] ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉

Implicit Parallelism W Actor Problem: Data Locality Coordination \ Z] ✉ ✉ ✉ ✉ _ a \ Y ☠] \ [] ✉ ✉ ✉ ✉ ✉ ✉ ✉ ✉

Purify Your Effects 3⛑R Optimistic Concurrency: STM https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c b d https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c b _ d _ https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c b _ ⚙ d _ ⚙ https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ ⚙ https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f ⚙ f https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g ⚙ f g https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g c b d ⚙ f g https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g c c h b d d h ⚙ f g https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g c c b d d h h ⚙ ⚙ f g https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g c c b d d h h ⚙ ⚙ _ _ f g https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g c c b d d h h ⚙ ⚙ _O _ f g https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g c c b d d h h ⚙ ⚙ _O _ c d f g https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g f g c c b d d h h ⚙ _O _ c d ⚙ ⚙ ⚙ https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g f g c c b d d h h ⚙ _O _ c d ⚙ ⚙ f f ⚙ https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM c ⚙ b d _ _ ⚠ ⚠ ⚠ ⚠ f g f g c c b d d h h ⚙ _O _ c d ⚙ ⚙ f g f g ⚙ https://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf

Purify Your Effects 3⛑R Optimistic Concurrency: STM l k i j :

Purify Your Effects 3⛑R Optimistic Concurrency: STM

Effectful Proof, Provenance, & Power Metadata in Motion m

Effectful Proof, Provenance, & Power Metadata in Motion nm

Metadata in Motion mn

Metadata in Motion mn It’s only data provenance if it’s derived from the Provence region of France. Otherwise it’s just sparkling metadata. – Adapted from @onfiv

Metadata in Motion mn Proof Carrying Code

Metadata in Motion mn Proof Carrying Code mergesort is way easier now

Metadata in Motion mn Carrying Capabilities https://kataskeue.com/gdp.pdf https://arxiv.org/pdf/1907.07154.pdf

Metadata in Motion mn Provenance

Metadata in Motion mn Provenance++

Tools for The Intrepid ⚒

Wrapping Up Tools for The Intrepid ⚒

Tools for The Intrepid ⚒

Tools for The Intrepid ⚒ A programming language influences the way that its users think about programming; matching a language to a methodology increases the likelihood that the methodology will be used – Barbara Liskov et al, Abstraction Mechanisms in CLU