Justin Le - Enhancing your Haskell with Dependently Typed Programming - λC 2017
Description:
Dependently-typed Haskell is all about pushing the limits of how much power your types have to verify that your code is correct, direct you in writing code, enhance your productivity, and encode meaning in type signatures. In this session, we will explore its practical benefits by applying these principles to building verified neural networks. We look at neural networks with and without dependent types, show how to add dependently typed benefits incrementally, and clearly show the benefits that we can directly apply to many different applications. This session is geared less toward the theoretical idea of dependent types and more toward hitting the ground running with immediate benefits in existing code bases.
Slides:
http://talks.jle.im/lambdaconf-2017/s...