Typelevel Summit Oslo 2016
2016-05-04
Oslo, Norway
who it's for
scala developers, functional programmers, library authors, backend engineers, compiler contributors, data engineers, tooling and QA engineers
topics
free monad interpreters; applicative batching and deduplication; scala macro compatibility; compile-time refined types; cats and shapeless parsers; akka and monix backpressure; cross-platform test harness (Catalyst); financial calculation DSLs; csv schema discovery pipeline; Dotty type-parameter inference
| title | author | length |
|---|---|---|
| Keynote: How to bake "How to Bake Pi" | Dr Eugenia Cheng | 58m |
Argues that abstraction turns different problems into the same structure and demonstrates it with concrete experiments: drawing a braid diagram for a Bach… | ||
| A Year living Freely | Chris Myers | 34m |
Company uses Free monad + interpreter pattern in Scala (Cats) to separate effects, run DSLs via interpreters, and test with canned interpreters; about 40… | ||
| What is macro-compat | Dale Wijnand | 14m |
Macro-compat lets code written against the newer Scala macro APIs (2.11/2.12 macro bundles, untyped trees, freshName, symbolOf) compile on Scala 2.10 by… | ||
| Fetch: Simple & Efficient data access | Alejandro Gómez | 17m |
Fetch is a Scala library that builds a dependency tree of data requests and automatically performs batching and deduplication across sources while caching… | ||
| Akka & Monix: Controlling Power Plants | Alexandru Nedelcu | 37m |
E.On monitoring/control software models asset behavior as pure state machines that return a list of effect-descriptions, not perform side effects; actors only… | ||
| Decorate your types with refined | Frank Thomas | 30m |
Library refined adds precise constraints to existing Scala types and demonstrates both compile-time macro validation for literals and applyRef runtime Either… | ||
| Discovering Types (from Strings) with Cats and Shapeless | Jonathan Merritt | 18m |
Builds a schema discovery pipeline that takes one CSV column of strings and guesses concrete types using Cats and Shapeless rather than macros It implements… | ||
| Building functional programs with bananas, catalysts, shacl's and shapes | Alistair Johnson | 34m |
Explains a small sbt-layer called Catalyst that glues cross-platform Scala targets (JVM, Scala.js, soon LLVM), with a cross-compiling test harness that… | ||
| Growing a DSL for financial calculations | Jan Ouwens | 28m |
Rabobank mortgage calculations move from opaque Java BigDecimal code into a small internal Scala DSL with full compile‑time checks, custom Amount and… | ||
| Dotty and types: the story so far | Guillaume Martres | 30m |
Dotty implements a compact, practical type-parameter inference engine (~300 lines) that delays instantiation until needed, chooses lower or upper bounds based… | ||
| nothing matches | ||