Explore a 42-minute conference talk from Strange Loop Conference on "Function Passing Style: Typed, Distributed Functional Programming" presented by Heather Miller. Dive into a new paradigm of asynchronous and distributed programming that combines recent advances in type systems research with new Scala language features. Learn how to pass safe functions to distributed, stationary, immutable data in stateless containers, and discover how lazy combinators can eliminate intermediate data structures. Understand the benefits of moving computation to data in big-data applications, and gain insights into distributable lambdas and types. The talk covers topics such as actor systems, silos, spores, fault tolerance, and performance intuition, providing a comprehensive overview of this innovative approach to distributed functional programming.
Function Passing Style - Typed, Distributed Functional Programming
Strange Loop Conference via YouTube
Overview
Syllabus
Introduction
My PhD work
Goal of this work
Research project
Fundamental idea
Actor systems
Function passing stuff
A good paper
Its timeless
What makes a distributed system
A better approach
Keep communication explicit
Two whoops
siloref
silo
spore
spore header
spores and closures
function literals
Scala Improvement Document
Under the Covers
New SiloRef
Apply Method
Silos
Fault Tolerance
Reconstructing
Summary
Solution
Spark
Abstraction
Decomposition
Intuition for performance
Side effects
Questions
Taught by
Strange Loop Conference
