[Continuations generalize] the asynchronous value concept. If we plug in `R = Void` then we just get an [asynchronous] value, but if we use a non-`Void` `R` value[,] we will get a type that kind of mixes together aspects of synchronous computation and asynchronous computation

Slides for Scalaworld 2019. Contribute to cohomolo-gy/Type-Arithmetic-and-the-Yoneda-Perspective development by creating an account on GitHub.

hello! here are my slides from my talk at @brooklyn_js - thanks again for your support, and i'd be happy to work with you/your company on more cute, creative tech projects

Curtis just spent the last two weeks updating his app Slopes to support Dynamic Type. You might have heard of UIFontMetrics, or you might not have. But you probably didn’t sweat the pixels to make sure you top and bottom margins were baseline-height appropriate ;). He’ll share how he went about adapting to various sizes within dynamic type, and tricks to better mimic the behavior of built-in UI classes (like TableViews).