Typelevel Summit NYC 2017
2017-03-23
New York City, United States
| title | author | length |
|---|---|---|
| LiquidHaskell: Liquid Types for Haskell | Niki Vazou | 58m |
Code deficiencies and bugs constitute an unavoidable part of software systems. In safety-critical systems, like aircrafts or medical equipment, even a single… | ||
| Introduction to Recursion Schemes | Ratan Sebastian | 29m |
Argues that explicit recursion yields duplicated traversal logic and instead implements generic traversals by encoding data as a pattern functor plus a… | ||
| A Tail of TwoTails: The Second Act | Owein Reese | 20m |
TwoTails is a Scala compiler plugin that implements mutual tail recursion without trampolines by transforming mutually recursive methods into a single… | ||
| Scalable data pipelines with shapeless and cats | Marcus Henry, Jr. | 35m |
Shows how to build compile-time assembled data pipelines using Cats and Shapeless: pipelines become sealed ADTs with HLists for static lists, Coproducts for… | ||
| Frameless: A More Well-Typed Interface for Spark | Long Cao | 16m |
Frameless adds a more well-typed veneer over Spark Datasets, using shapeless and cats to provide TypedDataset APIs that prove column names at compile time… | ||
| Easy and Efficient Data Validation with Cats | Daniela Sfregola | 34m |
Compares Option and Either (Scala 2.11/2.12) to Cats’ Validated and shows using ValidatedNel to run validations in parallel and return every failure instead of… | ||
| Finding the Free Way | Dave Cleaver | 19m |
Team adoption of Free Monads yields concrete results: algebra-first design, a Play action wrapper so controller methods return Free and get interpreted… | ||
| A Type Inferencer for ML in 200 Lines of Scala | Ionut G Stan | 23m |
Shows a working implementation of Wand's algorithm for a tiny Standard ML subset implemented in 200 lines of Scala, with the compiler split into type… | ||
| Extensible Effects: A Leaner Cake for Purely Functional Code | Edmund Noble | 33m |
Compares free-monad algebras to tagless‑final and shows concrete rewrites: a map-backed KV storage and an SVG renderer/compiler move from free + WriterT (lots… | ||
| Let the Scala compiler work for you | Adelbert Chang | 24m |
Live coding builds a small Compute typeclass with type member that infers instances inductively for List, returns different refined result types per input, and… | ||
| Adopting Scala: The Next Steps | Sofia Cole | 22m |
Six months of learning Scala gets to production competence, then a year of deliberate study narrows focus to immutability, no exceptions — return validated… | ||
| nothing matches | ||