Typelevel Summit 2020
2020-03-12
-- online --
who it's for
Scala developers, functional programmers, backend engineers, library authors and maintainers, tooling and plugin developers, data engineers, engineering managers
topics
sequent calculus prover in Scala; typeclass-driven derivation; Cats error handling patterns; Validated accumulated errors; Metals Neovim integration; migration to cats-effect IO; compositional tracing with MDC; Monix Catnap cooperative sleeping; Magnolia-derived typeclass instances; Magnolify Avro and BigQuery converters; EitherT and Cats MTL usage; remote Scala team hiring practices
| title | author | length |
|---|---|---|
| You Didn't Know It, but You Really Want to Learn Sequent Calculus | Adam Rosien | 47m |
Shows an implemented sequent-calculus prover in Scala that reifies types to formulas via a ToFormula type class, uses Cats Show for readable output, and… | ||
| Functional Error Handling with Cats | Mark Canlas | 39m |
Option/Try/Either/IO all act as monads so composed parsing stops at the first failure — first-error wins — while Validated (an ApplicativeError, not a Monad)… | ||
| implicit def bias = stereotypes |+| prejudices | Jeferson David Ossa | 46m |
Argues implicit bias is measurable, predictable, and mutable using psychological tools and social interventions: uses the Implicit Association Test to show… | ||
| A Zero to Hero Vim + Metals setup for Scala | Chris Kipp | 14m |
Quick runnable setup that installs Metals automatically via COC.nvim extension, configures mappings, imports build interaction and works with bloop and sbt… | ||
| 1000+ Compile-time Errors Later and Running Smoothly in Prod | Kevin Meredith | 09m |
Claim is that pure FP pays: a critical HTTP service moves from upgraded http4s 0.16 → 0.20, survives CI and deploys to prod after 1000+ compile and… | ||
| Keep your sanity with compositional tracing | Jakub Kozlowski | 48m |
Shows how to get MDC and distributed tracing to survive Scala async by actually wrapping the ExecutionContext and lifting thread‑local get/set into IO with a… | ||
| Magnolify all the Things | Neville Li, Claire McGinty | 41m |
Magnolify is a Magnolia-based library that auto-derives type class instances used in large Scala data pipelines: Magnolia-derived Arbitrary for ScalaCheck… | ||
| Sleeping well in the lion's den with Monix Catnap | Piotr Gawryś | 45m |
Library that implements cooperative sleeping for Monix Tasks and integrates with the Monix Scheduler to avoid blocking threads. Demonstrates a small runtime… | ||
| IO monad & Error management: From Exceptions to Cats MTL | Guillaume Bogard | 44m |
Advocates replacing business exceptions with domain ADTs and keeping throwables for fatal technical failures, then encoding business failure as an Either… | ||
| How to build a kick-ass remote Scala team | Laurent Parenteau | 55m |
Argues remote hiring multiplies the talent pool (New York is ~0.9% of global engineers), cuts turnover and sick days, and boosts productivity; recommends… | ||
| nothing matches | ||