Typelevel Summit Philadelphia 2016
2016-03-02..2016-03-03
Philadelphia, United States
[Typelevel Summit Philadelphia 2016, Typelevel Summit Philadelphia 2019]
who it's for
scala developers, library authors, functional programmers, backend engineers, compiler engineers, engineering managers
topics
Cats Eval evaluation strategies; Matryoshka recursion schemes; Finch Circe Doobie integration; distribution as a Free monad; dependently-typed Haskell encodings; kind-projector partial type application; simulacrum macro code generation; direct-style monad comprehensions; Typelevel Scala migration patterns; Scala Exercises learning platform
| title | author | length |
|---|---|---|
| Becoming a cat(s) person | Adelbert Chang | 34m |
Adds a new bi-prod data type to Cats, implements ByFunctor, ByFoldable and ByTraverse instances, and wires law tests using ScalaCheck/discipline so instances… | ||
| End to End and On The Level | Dave Gurnell | 32m |
Builds a working to-do MVC service using Finch + Circe + Doobie and a React frontend, with JSON derived via shapeless and the Doobie transactor returning a… | ||
| Probabilistic Programming: What It Is and How It Works | Noel Welsh | 29m |
Builds a simple Scala model that explains seeing cats by a hidden enticement with probabilities milkshake 0.6 fish 0.1 nothing 0.3, shows exact enumeration for… | ||
| Introducing Typelevel Scala into an OO environment | Marcus Henry | 35m |
Process for migrating a Java/C++ shop to Typelevel Scala, with concrete patterns and libraries: adopt immutability as default and stop returning mutable… | ||
| Efficient Nanopass Compilers using Cats and Matryoshka | Greg Pfeil | 34m |
Claims a new recursion-scheme library, Matryoshka, lets many tiny, safe AST transformations be written independently but fused into a few efficient passes… | ||
| Keynote: Dependently-Typed Haskell | Stephanie Weirich | 59m |
Argues that Haskell already supports a useful form of dependent typing using GHC features and demonstrates it by encoding red‑black trees with checked… | ||
| Evaluation in Cats: the Good, the Bad, and the Lazy | Erik Osheim | 15m |
Cats’ Eval provides a concrete way to encode evaluation strategies into types, offering now/always/later semantics that map to eager, repeated, and… | ||
| Easy, intuitive, direct-style syntax for Monad-comprehensions! | Chris Vogt, Chris Hodapp | 18m |
Claims a working library that gives direct-style monad comprehensions via an extension method (e.g. dot.value / .flat syntax), implemented for vanilla Scala… | ||
| Scala Exercises | Raúl Raja Martínez | 19m |
Scala Exercises is a web-based open source platform (by 47 Degrees) that already records 63,000 unique sessions with 40% returning and about 180 PRs and 50… | ||
| From Simulacrum to Typeclassic | Michael Pilquist | 40m |
Simulacrum is a macro annotation code generator that auto-produces implicit summoners, enrichment ops and companion mixins and already appears in Cats… | ||
| nothing matches | ||