Scala World 2015
2015-09-20..2015-09-22
Lake District, United Kingdom
[Scala World 2015, Scala World 2017, Scala World 2019]
| title | author | length |
|---|---|---|
| The Need for Async | Konrad 'ktoso' Malawski | 51m |
Explains why async reduces tail latency by avoiding blocking on shared thread pools, traces causes from kernel socket selector behavior and the C10K problem… | ||
| Functional Patterns in Domain Modeling | Debasish Ghosh | 52m |
Argues for building domain APIs from verbs-first algebras of types, functions and laws using Scala’s static type system; composes behaviors by reusing… | ||
| Move Over Free Monads: Make Way for Free Applicatives! | John A De Goes | 46m |
Argues that free applicatives trade some monadic power for a static, inspectable program tree that lets tooling generate things you otherwise can’t: built a… | ||
| Scala.js Workshop | Sébastien Doeraene | 01h 31m |
At Scala Days Amsterdam, we surveyed the “theoretical” foundations of Scala.js that allow to interoperate smoothly with JavaScript code. In this workshop, we… | ||
| Précepte | Julien Tournay, Pascal Voitot | 45m |
As FP practitioners, we like to isolate nasty unsafe effects from our beautifully pure code. One day, delivery has to happen and our functional application… | ||
| Scala and the JVM as a Big Data Platform | Dean Wampler | 46m |
Apache Spark is implemented in Scala and it’s user-facing Scala API is very similar to Scala’s own collections API. The power and concision of this API are… | ||
| A Deep Dive into Scalac | Chris Birchall | 47m |
Ever since I heard the rumour that compilation involved 27 phases, I've kept my distance from scalac, telling myself that people smarter than me were taking… | ||
| An Unexceptional Scalaz Workshop | Chris Marshall | 01h 35m |
Java’s experiment with checked Exceptions ended with ignominy, acrimony and antimony. As the human race evolved more esoteric higher-brain functions… | ||
| Hands-on Scala.Meta | Eugene Burmako | 01h 37m |
Scala.meta is a next-generation metaprogramming framework that is heavily based on our experiences with designing and supporting scala.reflect. With… | ||
| A Dance with Tools | Iulian Dragos | 39m |
The Scala ecosystem is growing ever richer in expressive libraries, but Scala development tools have not kept pace. In the past three Scala conferences there… | ||
| Formal Logic Undressed | Paul Snively | 01h 34m |
Workshop loads Coq and PeaCoq and encodes Knights-and-Knaves puzzles as propositions, then builds step‑by‑step proofs with tactics like destruct, intros and… | ||
| Constraints Liberate, Liberties Constrain | Rúnar Bjarnason | 52m |
Argues that tighter interfaces and earlier symbolic representations preserve compositionality: printing via raw dot‑matrix codes fails, whereas keeping a… | ||
| When Types are Not Enough | Lars Hupel | 51m |
Compares three guarantees—tests (examples), types (signatures) and proofs (for all inputs)—and shows concrete tooling: uses Isabelle proof assistant to… | ||
| A Snorkelling Excersion into Bugfixing | Simon Ochsenreither | 45m |
Live-coding fixes in scalac show concrete changes: add a parser warning for view bounds gated by -Xfuture flag and a negative test that turns deprecation… | ||
| Principles for Modular, Functional, Approachable Libraries | Erik Osheim | 01h 33m |
Cats and Algebra aim to lower barriers to functional Scala by rethinking encodings, benchmarks and docs; Cats ships ~nine months after start with 45… | ||
| Type-Driven Development in Idris | Edwin Brady | 47m |
Idris provides first‑class dependent types and interactive tools (REPL, case‑split, expression search) that drive development: the language types compute… | ||
| Hands-on Dotty | Dmitry Petrashko | 01h 39m |
Dotty is a complete rewrite of the Scala compiler that ships a new pipeline built from more than 40 mini-phases and lazy InfoTransformers that version… | ||
| Lawful Asynchronous Programming | Daniel Spiewak | 01h 05m |
Deep dive into scalaz-stream shows the current algebra hinges on an await node as free monad that makes effects omnipresent and causes real bugs: unpredictable… | ||
| Kittens: Shapeless Typeclass Derivation for Cats | Miles Sabin | 57m |
Claims automatic derivation of Cats typeclasses (Functor, Foldable and friends) for ADTs with no handwritten instances by combining kittens with shapeless… | ||
| Simplifying Scala Collections | Bill Venners | 47m |
Prototype Collections family that captures an equality type class and produces case-insensitive sets and whitespace-insensitive sets without wrapper types, so… | ||
| Practical Binary with Scodec | Michael Pilquist | 52m |
Scodec uses Shapeless to derive binary encoders and decoders from Scala types, generating derived codecs for case classes and sealed traits via HLists… | ||
| Hands-on Typelevel Scala | George Leontiev | 51m |
Typelevel Scala’s fork TLC is an incubator compiler that prototypes features and aims to remain backwards compatible with Typesafe Scala. Shows an alternate… | ||
| Reactive Streams / Akka Streams | Mathias Doenitz, Johannes Rudolph | 01h 31m |
The most recent additions to the Akka toolkit, akka-stream and akka-http, offer an exciting new way to define application logic with a focus on data… | ||
| Typelevel Programming 101: The Subspace of Scala | Joe Barnes | 45m |
Scala code encodes booleans, Peano natural numbers, and vectors whose lengths are tracked and enforced at compile time, using implicits, structural type… | ||
| Minimizing the Slippery Surface of Failure | Jon Pretty | 59m |
Shows how Scala dependent typing and implicits produce a CLI library prototype (rapture CLI) that encodes parameter structure in types so lookups are provably… | ||
| Things and Cothings | Paul Phillips | 32m |
A rapid, comic inventory of English words prefixed with "co" built as a picture quiz slide deck that deliberately treats category theory jargon as wordplay… | ||
| nothing matches | ||