Shapeless is a remarkable framework. It gives us the power to represent astonishingly rich constraints and generalize code over very broad structural classes, but it isn't magic! The tools with which shapeless is crafted are present in your version of scalac just as much as they are in Miles Sabin's, and learning to take advantage of them unlocks a rich palette of expression otherwise untapped in the language. In this talk, we will recreate some of the major elements of shapeless, learning how to harness a fully armed and operational type system, all while avoiding any hint of macro programming! Particular focus will be given to understanding the general patterns and ideas involved, and not just the end result.

# vimeo.com/165837504 Uploaded 1,212 Plays 0 Comments

flatMap(Oslo) 2016

Arktekk AS PRO

flatMap(Oslo) is a functional programming conference with focus on Scala and the Java Virtual Machine

Browse This Channel

Shout Box

Heads up: the shoutbox will be retiring soon. It’s tired of working, and can’t wait to relax. You can still send a message to the channel owner, though!

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels.