Lambda World Seattle 2018
2018-09-17..2018-09-18
Seattle, United States
who it's for
functional programmers, language designers, compiler engineers, Haskell developers, Scala developers, Kotlin developers, data engineers using Spark, live coding musicians
topics
PySpark integration via Apache Arrow; Py4J-based Python UDFs; typed functional programming in Kotlin with Arrow; optics and tagless-final in Kotlin; Unison content-addressed codebase; recursion-schemes and catamorphisms in Haskell; compressed binary trie IntMap implementation; probabilistic programming with F# computation expressions; TidalCycles patterns as functions with SuperCollider; browser live-coding with dependency graph caching
| title | author | length |
|---|---|---|
| Opening Keynote | Edward Kmett | 48m |
Maps concrete parsing and edit problems onto algebraic structures between semigroups and groups, claiming inverse semigroup laws give useful normal forms… | ||
| Bringing the Jewels of the Python World to Scala with Spark | Holden Karau | 31m |
Scala code calls Python NLP (spaCy/NLTK) inside Spark by flipping PySpark’s usual flow: JVM starts Python via Py4J and pipes, registers Python UDFs and ships… | ||
| Architecting Typed FP Applications & Libraries in Kotlin with Arrow | Raúl Raja Martínez | 40m |
Library implements a polymorphic GitHub Gist fetcher built atop Arrow and Kotlin, returning immutable models and supporting multiple effect runtimes (Rx2… | ||
| What FP can learn from Smalltalk | Aditya Siram | 44m |
Pharo and Squeak show concrete tooling: a Pharo image inspector that evaluates expressions into live inspectors, a data studio that builds DataStudio… | ||
| Abstract your representation and fix your functors | Susan Potter | 31m |
Uses Haskell and the recursion-schemes library plus type families and Fix/Functor tricks to replace ad hoc recursion with composable F-algebras. Implements a… | ||
| A developer's guide to probabilistic programming | Evelina Gabasova | 36m |
Uses F# computation expressions and CSV type providers to turn probabilistic models into first-class code, builds a toy inference engine that does complete… | ||
| Introduction to the Unison programming language | Rúnar Bjarnason | 41m |
Unison presents a language where every definition is a content-addressed hash so code is durable, transferable and avoids naming and dependency hell, and the… | ||
| The Radix Trees How IntMap Works | Tikhon Jelvis | 43m |
Explains how IntMap implements a compressed binary trie with three constructors: Leaf(key,value), Branch(prefix,mask,left,right) and Empty, where lookups test… | ||
| Musical patterns as functions | Alexandra Cárdenas | 01h 02m |
Live coding practice uses TidalCycles to treat musical timeline as a repeating spiral and patterns as functions, letting short text patterns generate layered… | ||
| Rethinking compilers with live coding | Tomas Petricek | 44m |
A browser-based live-coding system called The Gamma compiles an F#-like scripting language to JavaScript via Fable and avoids re-running expensive operations… | ||
| nothing matches | ||