Typelevel Summit Philadelphia 2019
2019-04-01
Philadelphia, United States
[Typelevel Summit Philadelphia 2016, Typelevel Summit Philadelphia 2019]
who it's for
Scala developers, library authors, concurrency engineers, backend engineers, test engineers, proof assistant users, scientific computing engineers
topics
shared session types; manifest deadlock freedom; ADT reification for streams; structural recursion interpreter; StateT test harness; Ref and Deferred concurrency; monad transformer HTTP DSL; type-level monoids; higher inductive types; Resource bracket and ApplicativeError; portable typed N-dimensional arrays; type-driven error handling
| title | author | length |
|---|---|---|
| Shared Session Types for Safe, Practical Concurrency | Stephanie Balzer | 54m |
Introduces a type system that layers linear and shared session types with up/down modalities to enforce an acquire-release discipline and an equi-synchronizing… | ||
| Systematic Software with Scala | Adam Rosien | 34m |
Claims about "ten or so" repeatable Scala strategies get concrete: ten-ish strategies are listed and five are demonstrated by building a tiny stream library… | ||
| Journey to an FP Test Harness | Justin du Coeur, Mark Waks | 36m |
Case study traces converting Play API tests from Future-heavy, mutable traits into a pure-FP harness built with Cats IO and state transformers. Code moves from… | ||
| The Monoiad: an epic poem on monoids | Greg Pfeil | 34m |
Scala and Haskell code and a companion repo (Cheshire, plus a sister library doll) demonstrate encoding monoids at the type and categorical level, using SBT… | ||
| Higher Inductive Types in Homotopy Type Theory | Kristina Sojakova | 40m |
Defines higher inductive types as data constructors that also supply paths and higher paths, uses recursion/induction principles to treat spheres, integers… | ||
| Telling the Truth with Types | Christopher Davenport | 44m |
Scala code uses Cats, cats-effect, http4s, kind-projector, partial unification, shapeless and fs2 to lift reasoning into types so behavior is provable at… | ||
| Composable concurrency with Ref + Deferred | Fabio Labella | 36m |
fs2 builds concurrency from two primitives: Ref.modify as an atomic CAS-based state transition that returns a result (so you can queue an effect to run after… | ||
| Extending your HTTP library with monad transformers | Ross Baker | 32m |
Shows how stacking transformers (OptionT, EitherT, Kleisli) turns an F[_] into a real HTTP DSL that compiles and runs: EitherT with Kleisli gives typed… | ||
| Portable, type-fancy multidimensional arrays | Ryan Williams | 33m |
Implements the Zarr spec in portable Scala to store chunked multidimensional arrays (used for single-cell RNA with up to ~2 million cells × ~30,000 genes → ~60… | ||
| nothing matches | ||