Typelevel Summit Lausanne 2019
2019-06-14
Lausanne, Switzerland
| title | author | length |
|---|---|---|
| Keynote: Some Mistakes We Made When Designing Implicits | Martin Odersky | 48m |
Traces how Scala's implicits grew from conversions to parameters, lists concrete usability failures (name-based resolution causes shadowing and forced odd… | ||
| Brave New World, tales of PureScript and Haskell in production | Felix Mulder | 29m |
A payments team moves from typelevel Scala to a stack that starts with PureScript -> Haskell migration, using Nix mono-repo, Terraform and AWS Lambda… | ||
| Actors Design Patterns and Arrowised FRP | Diego Alonso | 35m |
Object-oriented design patterns combine basic language features to solve coding problems in an extensible way. In functional Scala, we solve those coding… | ||
| Taking Resources to the Type Level | Vilem-Benjamin Liepelt | 36m |
Granule is a Haskell-like, linear by default language with parametric polymorphism, indexed types and graded modalities that let types track exact resource… | ||
| Lord of the rings: the Spire numerical towers | Denis Rosset | 32m |
Spire implements about 80 typeclasses, roughly 30 from algebra and cats‑kernel, and argues which parts follow mathematics and which are pragmatic design. It… | ||
| Formal verification of Scala programs with Stainless | Romain Ruetschi | 30m |
Demonstrates an engineering-ready verifier for a large subset of Scala that extracts to Inox + Z3/Princess, checks pre/postconditions and overflow/array… | ||
| Exploring Scala Tooling ecosystem | Jeferson David Ossa | 29m |
Compares concrete tooling: Metals: LSP client with type‑at‑point, worksheet and IDE integrations, Bloop 1.3: keeps a single hot compiler, deduplicates… | ||
| TwoFace values: a bridge between terms and types | Oron Port | 33m |
Scala 2.13 literal types plus the singleton-ops library let types and terms convert both ways: literal types, TwoFace values, compile-time checks, runtime… | ||
| GADTs in Dotty | Aleksander Boruch-Gruszecki | 31m |
Dotty implements GADTs that actually refine types on pattern match, preventing runtime casts: an expr evaluator returns the precise type after matching… | ||
| Want to Diversify the Scala Community? Here is How You Can Help! | Yifan Xing | 32m |
Evidence that implicit bias and micro-inequities depress retention is backed by studies: a 362-executive experiment shows majority members gain performance… | ||
| nothing matches | ||