Scala World 2017
2017-09-16..2017-09-19
Lake District, United Kingdom
[Scala World 2015, Scala World 2017, Scala World 2019]
| title | author | length |
|---|---|---|
| Monoidal Parsing | Edward Kmett | 42m |
Claim: small language tweaks let an editor parse chunkwise and update names and errors quickly. Built a Haskell prototype and VSCode language-server wiring… | ||
| DOT: Scala Types from Theory to Practice | Nada Amin | 42m |
Presents Dependent Object Types as the core calculus used in Dotty, proves soundness by modeling path‑dependent type members, unions/intersections and a store… | ||
| Scalafix Workshop | Gabriele Petronella | 01h 29m |
Scalafix performs automated, semantic-aware rewrites and linters by combining Scalameta trees with a semanticdb index, producing token-level patches that… | ||
| Describing Data...with free applicative functors (and more) | Kris Nuttycombe | 01h 21m |
A Scala library called xenomorph describes data as values and uses free applicative structures plus GADTs, Monocle prisms, Argonaut decoders/encoders and… | ||
| The Unison Language and its Scala-based Runtime | Paul Chiusano | 46m |
Unison is a functional language that ships ASTs between nodes and performs runtime code deployment by partially evaluating an interpreter implemented in Scala… | ||
| Fast Immutable Interval Sets | Rudiger Klaehn | 51m |
Two immutable interval-set implementations: a binary prefix tree for values packable to 64-bit longs and a sorted-array merger for any ordered type, both… | ||
| Adventures in Efficiency and Performance | Dmitry Petrashko | 42m |
Claims concrete enough to act on: libraries like parallel collections and a dot linker/optimizer exist; insertion sort beats quicksort on tiny arrays… | ||
| Closing Remarks | 18m | |
Thanks to sponsors and volunteers, 25 talks, about 40–50 rooms booked, minibuses and drivers shuttling guests, and AV team recordings going online. Organizers… | ||
| Mastering Typeclass Induction | Aaron Levin | 43m |
Scala code uses implicit resolution to do full type-level list as nested tuples induction: base case = unit, induction step = implicit that combines named head… | ||
| Encoding Async Graphs with Dependent Types | Jon Pretty | 01h 15m |
A small Scala library called impromptu encodes async task DAGs in types by using singleton intersection types to represent each node s dependency set and an… | ||
| The New Collections Library for Scala 2.13 and Dotty | Stefan Zeiger | 39m |
A redesigned collections library targets Scala 2.13 and Dotty with concrete changes: Traversable is removed and replaced by IterableOnce and IterableOps plus… | ||
| Exploring Decision Trees with Matryoshka | Zainab Ali | 51m |
Automatic decision trees predict Titanic survival using Scala and Matryoshka by turning a Tree into a higher-kinded type, applying Fix and a Functor, then… | ||
| The Eyjafjallajökull Lecture | Viktor Klang | 43m |
Ten-year Scala retrospective mixes war stories (a 2010 Eyjafjallajökull-stranded route home that takes 24 hours across seven trains and ferries) with concrete… | ||
| Some Trends in Open Source & the State of the Scala Center | Heather Miller | 44m |
Argues open source is shared digital infrastructure and gives hard numbers: corporate reliance jumps 38% to 78% (2010→2015) and 66% now pick OSS first; many… | ||
| How to Build a Functional API | Julien Truffaut | 36m |
Migrates a large economics Excel model to Scala by parsing named ranges with Apache POI and turning every partial accessor into a total one that returns an… | ||
| Data, and when not to use it | Edmund Noble | 57m |
Argues that many intermediate recursive data structures should be replaced by interfaces (Church encoding / final tagless) to avoid repeated allocations and… | ||
| Spark for Scala Developers | Brian M Clapper | 01h 36m |
Loads public UK CSV crime dumps into Databricks notebooks, infers schema, cleans column names, writes to parquet files and runs analyses with Spark DataFrame… | ||
| nothing matches | ||